Assertion list for term "rotate around vertical axis".

Results from Ascent++: 1
airplane CapableOfrotate around vertical axis 0.25