The thesis of this book boils down to this:
(1) "Ordered sequences of images and text consist of a series of assertions about a conceptual world."[...]
(1.1) "In order to make sense of the assertions given, there must be a grammar around which a visual language is formed."
(1.1.1) "The grammar of this language can be adequately described by first order logic (F.O.L.)."
Descriptive language consists of assertions of the form, "It is the case such that p is true", or: