Assertion: binary tree | /r/HasProperty | ceiling function
Facets:
Source sentences:
text: full binary tree, ceiling function).