Η γλωσσολόγος Barbara Partee ισχυρίζεται με αρκετά πειστικό τρόπο ότι δημιούργησε τον όρο το 1971 “για το σύστημα που περιγράφεται στα έργα του Μόνταγκιου“ UG, EFL και “ιδιαίτερα στο PTQ”. Δείτε το δοκίμιό της "Reflections of a Formal Semanticist as of Feb 2005", σελ. 14, υποσημείωση 36.