The productions in this monolingual grammar generate a piece of the translation's tree and align it to a piece of the fixed input tree.
arbitrary non-isomorphic structures are possible between the two trees.