Assertion: default | /r/HasProperty | categorical
Facets:
value: respectively
type: DEGREE
Source sentences:
text: A default is categorical or prerequisite-free if it has no prerequisite (or, equivalently, its prerequisite is tautological).
text: A default theory is called categorical, normal, supernormal, or seminormal if all defaults it contains are categorical, normal, supernormal, or seminormal, respectively.