On the one hand, two constituents are combined by the algorithm's inference rules only if they cover disjoint parts of the input semantics.
the semantic indices present in both the input formula and the lexically retrieved RTG trees are used to prevent the generation of intermediate structures that are not compatible with the input semantics.