A type of grammar that categorizes words into types and associates them with various syntactic and semantic properties.