τ includes a partial translation.
each τ is required to be a connected sub-graph of some synchronous-tree h. τ is composed of a subset of the rules from any h that generates x on the source side, such that there is a connected path between any two rules in τ .