Assertion: covenant's condition | /r/HasProperty | valid
Facets:
Source sentences:
text: Are such “unnecessary” conditions valid?