(=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))
Next IntentionalProcess: ExerciseProcess Up: IntentionalProcess Previous IntentionalProcess: DiagnosticProcess