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