Assertion: predicate's variable | /r/HasProperty | modified by the statement
Facets:
Source sentences:
text: is the global variable modified by the statement, P is a predicate representing the precondition,