Assertion: logical truth | /r/HasProperty | contrasted to fact
Facets:
Source sentences:
text: A logical truth (also called an analytic truth or a necessary truth) is a statement which is true in all possible worlds or under all possible interpretations, as contrasted to a fact (also called a synthetic claim or a contingency) which is only true in this world as it has historically unfolded.