Assertion: tree | /r/HasProperty | a forest f
Facets:
value: with a fresh node
type: OTHER
Source sentences:
text: In computing, a common way to define well-founded trees is via recursive ordered pairs (F, x): a tree is a forest F together with a fresh node