LMBOT and MBOT with finite synchronization are strictly more expressive than STSG and compute classes that are not closed under composition.
the rank of a pre-translation equals the number of output trees stored in it.