Note that such pairs of syntactic and semantic subsequences will, in general, have different numbers of steps on each side and these numbers of steps are, in general, unbounded.
instead of defining atomic synchronized rules as in synchronous grammars (Wu 1997;Chiang 2005), we resort to parametrized models that exploit the internal structure of the paired subsequences.