Assertion: classical logic | /r/HasProperty | sound
Facets:
Source sentences:
text: Plus, it is both sound and complete, which is an added bonus.