Assertion: default | /r/HasAspect | the form
Facets:
Source sentences:
text: In a normal default theory, all defaults are normal: each default has the form ϕ :