Assertion list for term "revolve around max".

Results from Ascent++: 1
plot CapableOfrevolve around max 0.27