Assertion: variable's value | /r/HasProperty | depend on the value of z
Facets:
value: consequently
type: TEMPORAL
Source sentences:
text: x and y are bound variables, associated with logical quantifiers; consequently the logical value of this expression depends on the value of z, but there is nothing called x or y on which it could depend.