Assertion: tree's branch | /r/HasProperty | infinite
Facets:
Source sentences:
text: In this model, the tree established via superclass links between non-terminal objects is infinite and has an infinite branch (a single infinite branch of "helix" objects – see the diagram).
text: Assuming the axiom of dependent choice a tree is well-founded if and only if it has no infinite branch.