Assertion: tree's node | /r/HasProperty | reachable
Facets:
value: of preimage
type: OTHER
value: from r
type: LOCATION
Source sentences:
text: In the original definition by P. Aczel, every node is reachable from r (thus, instead of preimage , the word image applies).[d]