Assertion: model's property | /r/HasProperty | violated
Facets:
Source sentences:
text: A witness is a path where the property is satisfied, whereas a counterexample is a path in the execution of the model where the property is violated.