Assertion: resulting stream | /r/HasProperty | given number
Facets:
Source sentences:
text: If two streams of the same order merge, the resulting stream is given a number that is one higher.