Assertion: logic | /r/CapableOf | allow additional operations
Facets:
value: on justifications
type: CAUSE
Source sentences:
text: More elaborate logics considered below also allow additional operations on justifications.