Assertion: exclusion logic | /r/HasProperty | obtained
Facets:
Source sentences:
text: Inclusion logic and exclusion logic are obtained by adding only inclusion atoms or exclusion atoms to first-order logic, respectively.