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