Method for creating a disjunctive edge graph from subtrees during unification | AMiner