A syntax model that uses categories defined in terms of logical operators to describe the structure of sentences.