Assertion: node's list | /r/HasProperty | t - f + 1
Facets:
Source sentences:
text: List ( t - f + 1 ) ; for ( i = f ; i <= t ; i