(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
Next MentalProcess: Learning Up: MentalProcess Previous MentalProcess: Comparing