Assertion: default | /r/HasProperty | normal
Facets:
value: in a normal default theory
type: OTHER
value: respectively
type: DEGREE
Source sentences:
text: A default is normal if it has a single justification that is equivalent to its conclusion.
text: A default theory is called categorical, normal, supernormal, or seminormal if all defaults it contains are categorical, normal, supernormal, or seminormal, respectively.
text: In a normal default theory, all defaults are normal: each default has the form ϕ :