For instance, the semantic index s in the tree for runs is unified during substitution with the semantic index labelling the root node of the tree for John.
one difference however it that RTGEN will pack analyses together as long as the new ones are more specific cases.