Assertion: different tree | /r/HasProperty | lists of values
Facets:
value: simply
type: MANNER
Source sentences:
text: Note that this definition is in terms of values, and is appropriate in functional languages (it assumes referential transparency); different trees have no connections, as they are simply lists of values.