The paths have been designed according to two specific user-defined situations: (1) translation from L1 to L2; and (2) text production in L2. We exploit a formal semantic encoding of collocations based on Lexical Functions (LFs). LFs allow us to establish an equivalence relationship between ...