c B(c B(a A( ) b) d) d. We couple derivations in two grammars in a way similar to how this is commonly done for synchronous grammars, namely by indexed symbols.
we apply the mechanism not only to derivational nonterminals but also to terminals.