Assertion: default | /r/HasProperty | seminormal
Facets:
value: respectively
type: DEGREE
Source sentences:
text: A default is seminormal if all its justifications entail 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.