Assertion: predicate's variable | /r/HasProperty | involved in statement
Facets:
Source sentences:
text: More formally, let us use variable x to denote abusively the tuple of variables involved in statement S.