Text this: Σχεδίαση επέκτασης συστήματος μετατροπής προτάσεων φυσικής γλώσσας σε κατηγορηματική λογική πρώτης τάξης και αντίστροφα