Assertion: wheel's circumference | /r/HasProperty | the highest number
Facets:
value: in the sieving range
type: LOCATION
Source sentences:
text: 1 ≥ x {\displaystyle np_{i+1}\geq x} (i.e. wheel generation can stop when the last wheel passes or has a sufficient circumference to include the highest number in the sieving range).