Assertion: node | /r/HasProperty | reachable
Facets:
value: from r
type: LOCATION
value: of preimage
type: OTHER
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]
text: In the original definition by P. Aczel, every node is reachable from r (thus, instead of preimage , the word image applies).[d]