Assertion list for term "positive offset".

Results from Ascent++: 1
wheel HasApositive offset 0.37