Assertion: tree's node | /r/HasProperty | merged at construction
Facets:
Source sentences:
text: Note that if hash values of keys are used as priorities and structurally equal nodes are merged already at construction, then each merged node will be a unique representation of a set of keys.