There are some well-known linguistic applications of Combinatory
Logic, due to Anna Szabolcsi, Mark Steedman, and Pauline Jacobson.
-They claim that natural language semantics is a combinatory system (that every
-natural language denotation is a combinator).
+They claim that natural language semantics is a combinatory system: that every
+natural language denotation is a combinator.
For instance, Szabolcsi argues that reflexive pronouns are argument
duplicators.
![reflexive](http://lambda.jimpryor.net/szabolcsi-reflexive.jpg)
Notice that the semantic value of *himself* is exactly `W`.
-The reflexive pronoun in direct object position combines first with the transitive verb (involving a simple and well-motivated combinator that we won't pause to discuss here). The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning.
+The reflexive pronoun in direct object position combines with the transitive verb. The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning.
Note that `W <~~> S(CI)`: