Subgoals that have the same binding patterns are treated the same.
(Subgoals; have; the same binding patterns) (Subgoals that have the same binding patterns; are treated; the same)
Subgoals Subgoals that have the same binding patterns
have are treated
the same binding patterns
the same