This work aimed at developing a complete theory of grammar that would fully acknowledge the role of semantics right from the start, while simultaneously adopting constraint - based formalisms as popular in computer science natural language processing.