In F • G • E the NTs (nodes) are the cross product of pairs of states from E, the NTs from G, and pairs of states in F .
synchronous parsing is the task of computing F • G • E. Since composition is associative, we can compute this quantity either as (F .