Assertion: logic | /r/CapableOf | satisfy following condition
Facets:
value: presumably
type: OTHER
Source sentences:
text: Presumably, the logic should at least satisfy the following condition: