This component of the program is also designed to be reversible, that is, it can produce the corresponding sentence when given a logical formula, but yet another peculiarity of the language complicates the solution: Turkish word order is (almost) free, which basically means that the sentence constituents can be shuffled around without changing the meaning.
a single semantic formula usually corresponds to several different sentences, even without taking synonymity of words into account.