Assertion: exclusion logic | /r/CapableOf | extend first-order logic
Facets:
value: with inclusion atoms
type: OTHER
Source sentences:
text: Inclusion/exclusion logic extends first-order logic with inclusion atoms t 1