Assertion list for term "positive power".

Results from Ascent++: 1
lens HasApositive power 0.33