(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))
(=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))
(=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))
Next Learning: Identifying Up: Learning