Assertion: ordered tree | /r/HasProperty | encoded by finite sequences
Facets:
value: naturally
type: MANNER
Source sentences:
text: Ordered trees can be naturally encoded by finite sequences of natural numbers.[i]