For each SAPT node that does not combine a predicate with a legal argument, a macro-predicate is formed by merging all predicates on the paths from the child predicates to their lowest common ancestor (LCA) in the MR parse.
a child MR becomes an argument of the macro-predicate if it is complete (i.e.