Assertion: logic's operator | /r/CapableOf | map justification
Facets:
Source sentences:
text: Recall this operator maps justifications to justifications, where the idea is that if \(t\) is a justification for \(X\), then \(!t\) should be a justification for \(t{:}X\).