We extend the rewrite semantics (see Definition 2) to trees that include symbols foreign to a MBOT.
we (virtually) extend the input and output alphabets to contain all used symbols (in particular also the states of another MBOT).