subgoal (goal + sub-; below_under)
A lesser goal that forms part of a greater goal