Assertion: tree's number | /r/HasProperty | least ⌈
Facets:
Source sentences:
text: Leaf nodes have no children, but are constrained so that the number of keys must be at least ⌈ b / 2 ⌉