Untitled Document

ant/cq

Syntax:

(assert ant i cq j)

Semantics:

[[r]] is the rule that if structured individual [[i]] is true, then so is [[j]].

Sample Context:

For all v1, if v1 is a student, then v1 is a person.

(describe (assert forall $v1

             ant (build member *v1 class student)

             cq  (build member *v1 class person)))