lojycipra

valsi

lojycipra

type

lujvo

creator

noralujv

time entered

Fri Mar 14 23:30:27 2003  

English

Definition #1

 

definition

x₁ is a test with property tested [for] x₂ with tested x₃ with logic x₄.

gloss words

• logical proof

created by

noralujv

vote information

0

time

Fri Mar 14 23:30:27 2003

Examples

---