Title: Types and sorts
Subjects: Computational linguistics, Modality (Linguistics), Categorial grammar