(assert &ant h &ant i cq j)

[[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)))