9.2 Definitional rules 247 This template has the following important options and placeholders: 1. < term 1> is the term being defined; 2. `of {a | an} < term 2>' is only required if < term 1> is an attribute term (as defined in Section 6.2 in Chapter 6); 3. < term 3> is the hypernym of < term 1>; 4. < qualifying clause> is used to state the characteristics that distinguish members of the set signified by <term 1> from members of the sets signified by other hyponyms of < term 3>; the options for a < qualifying clause> are listed in subtemplate S14 in Section 9.1.2.10. The following fact types should be present in the fact model (either explicitly stated, or derived as de- scribed in Section 6.3.3 in Chapter 6): 1. a categorization fact type of the form `<term 1> is a category of < term 3>': for example, F188 for R321; F191 for R322; 2. if `of {a | an} < term 2>' is used, a fact type of the form `<term 1> is of < term 2>': for example, F190 for R322; 3. the fact type that links < qualifying clause> to < term 3> (plus any fact types required for the qual-