They consider Pustejovsky ''as a representationalist, antiformalist ally,'' but they never explain why they consider lexical semantics incompatible with formal semantics.
the body of a theory ''is a set of its statements, variously referred to as laws, propositions, regularities, theorems, or rules. ''