;;(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)
;;			))))