Assertion: given property | /r/HasProperty | correct
Facets:
Source sentences:
text: The verification layer consists of directives to a verification tool (for instance to assert that a given property is correct or to assume that a certain set of properties is correct when verifying another set of properties).