//-->
If and modus ponens : a study of the relations between grammar and logical form
Harman, Gilbert, (1979)
Conceptual Role Semantics
Greenberg, Mark, (2005)