Assertion: logical consequence | /r/HasProperty | entailment
Facets:
Source sentences:
text: Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.