Assertion list for term "rotate around vertical axle".

Results from Ascent++: 1
mirror CapableOfrotate around vertical axle 0.27