Synchronous tree-adjoining grammars | Synapse