;;(describe (assert forall ($x $y $z $a $b $c) ;; &ant((build &ant (build agent *x ;; act *a) ;; cq *z) ;; (build &ant (build agent *y ;; act *a) ;; cq *z) ;; (build object1 *z ;; rel (build mod ("unknown concept") ;; head ("similie/metaphor action")) ;; object2 *z) ;; ) ;; &cq( ;; (build forall ($b $c) ;; &ant((build ant (build agent *x ;; act *b) ;; cq *c) ;; (build ant (build agent *y ;; act *b) ;; cq *c)) ;; &cq((build ant (build agent *x ;; act *a) ;; cq *c) ;; (build ant (build agent *y ;; act *a) ;; cq *c) ;; ))))