Untitled Document

&ant/cq

Syntax:

(assert &ant h &ant i cq j)

Semantics:

[[r]] is the rule that if structured individuals [[h]] and [[i]] are true, then so is [[j]].

Sample Context:

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

(describe (assert forall $v1

             &ant (build member *v1 class student)

             &ant (build member *v1 class person)

             cq   (build member *v1 class mammal)))