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.