 The nine categories or sorts are parts of the syllogisms (IB-taaliq: 30. 18–19), according to Avempace and his observations on “subject” and “predicate” are linked to the sciences which are built on syllogisms. The philosophical sciences, dialectic and sophistry, have universal subjects and predicates. Poetry and rhetoric have individual subjects and universal predicates. Rhetoric employs one or more individual subjects as well as predicates in cases in which the syllogism resorts to an image or to  corroboration[12].