Note that this is an exact method which follows from the property (Lepage, 1998): This leaves us with a quadratic computation time which is still intractable in our case.
this allows to capture 1:n relations such as dépasseront↔will exceed, where the future tense of the French word is adequately rendered by the modal will in English.