Assertion: tree's child | /r/HasAspect | at least 2 b h
Facets:
value: by the inductive hypothesis
type: OTHER
Source sentences:
text: By the inductive hypothesis each child has at least 2 b h ( v ′ )