Assertion: p y | /r/HasProperty | → p x
Facets:
Source sentences:
text: P Y → P X {