Assertion: logic | /r/HasProperty | fact
Facets:
Source sentences:
text: Logic in a practical sense includes both the formulae and the facts.