Assertion: finite tree | /r/HasProperty | well-founded
Facets:
Source sentences:
text: In particular, every finite tree is well-founded.