(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
Next MentalProcess: Comparing Up: MentalProcess Previous MentalProcess: Predicting