Assertion: algebra's form | /r/HasProperty | if p then p
Facets:
Source sentences:
text: The generic or abstract form of this tautology is "if P then P", or in the language of Boolean algebra, "P → P".