Գրեք սա: The logic of categorial grammars