Assertion: y | /r/HasProperty | → z
Facets:
Source sentences:
text: Y → Z, whenever g o