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.
we need to consider all new sequences which can be created by the cross-product of the n-grams on the two tail nodes.