Assertion: consequence | /r/HasProperty | claim
Facets:
Source sentences:
text: If you think of \(X\) as a set of claims, then the first condition tells you that the consequences of a set of claims includes the claims themselves.