A formal system for natural language syntax modeling, rooted in categorial grammar. It focuses on operations and types to analyze…