Assertion: logic | /r/HasProperty | a justification counterpart
Facets:
Source sentences:
text: If this machinery is added to that for we get the logic , a justification counterpart of .