Assertion: sequence's number | /r/CapableOf | equal the number of zeros plus one
Facets:
Source sentences:
text: The number of ones equals the number of zeros plus one, since the state containing only zeros cannot occur.