(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
Kinds of Comparing :
Next MentalProcess: Counting Up: MentalProcess Previous MentalProcess: Selecting