Assertion: logic | /r/CapableOf | seek a + b = c judgements
Facets:
Source sentences:
text: Logic seeks A + B = C judgements, and reason works with those judgements.