function word Deductions function word is subclass of word or phrase ⇐ (function word is subclass of word), (word is subclass of word or phrase), (is subclass of is a transitive relation)