Throughout the book, type-logical grammar is motivated via English examples and those English examples are not English utterances drawn from books or newspapers but rather carefully constructed examples such as those commonly found in mainstream linguistics research.
the arguments made often have little relevance to mainstream computational linguistics.