Assertion list for term "inner convex sieve".

Results from Ascent++: 1
teapot HasAinner convex sieve 0.54