The third assumption (and the condition of step 3 concerning coherency in gure 7) means that even a human cannot make a unique interpretation if the word correspondence between t 1 and t 2 is ambiguous.
the third assumption seems too strong.