Assertion: following predicate | /r/HasProperty | tautology
Facets:
Source sentences:
text: Moreover, a statement S implements such a specification statement if and only if the following predicate is a tautology: