When the arity of the edge is 2, a rule has the general form aX 1 bX 2 c, where X 1 and X 2 are sequences from tail nodes.
translation lattices contain a significantly higher number of translation alternatives relative to Nbest lists.