Categorial grammar and formal semantics door