Assertion: symbol | /r/HasProperty | father
Facets:
Source sentences:
text: These three sentences use symbols (father, zeus, hermes, perseus and sibling) and some abstract variables (X, Y and Z).