Assertion: tree | /r/HasAspect | infinite branch
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.