SUBGOAL

Definition of SUBGOAL