subgoal_of(S)

The goal 'subgoal_of(S)' is equivalent to the sequence of goals:-

       ancestors(L), in(S,L)

where  the predicate 'in' successively matches its first argument with each
of the elements of its second argument.
