Our LCFRS combination functions always concatenate the first elements of the input tuple in order, adding any terminals present in the portion of the input tree matched by the MBOT's l.h.s.
the combination functions maintain the property that the first element in the resulting tuple, t 0 , contains the yield of the subtree of the input tree where the corresponding MBOT rule applied.