Assertion: tree's element | /r/HasProperty | the finger
Facets:
Source sentences:
text: Let f be any fixed element (the 'finger').