Assertion: logic's operator | /r/CapableOf | add three conditions
Facets:
Source sentences:
text: Models for justification logics that include this operator add three conditions.