Assertion: tree | /r/HasProperty | finite or finitely branching
Facets:
Source sentences:
text: A tree is said to be locally finite or finitely branching if each of its sibling sets is finite.