Assertion list for term "revolve at high speed".

Results from Ascent++: 1
cd CapableOfrevolve at high speed 0.25