(be stone (1 2))
(be stone (2 2))
(be mike (@C)
   (^ @ (apply = (cdr (-> @C)))) )

(test NIL (solve '((mike (stone 1 2)))))
(test # T
   (solve '((mike (stone 2 2))))
   (solve '((mike (stone 'a 'a)))) )


(msg 'ok)
(bye)