Assertion: autoepistemic logic | /r/HasProperty | an extension e of a theory
Facets:
Source sentences:
text: In Moore’s autoepistemic logic, an extension E of a theory