Assertion: tree's node | /r/HasProperty | zero
Facets:
Source sentences:
text: n nodes is all zeros and the largest is n-1 ones followed by m-1 zero on its right.