(= (Reference-Point Actuator-Base) (Reference-Point Planar-Mace)) (= (Reference-Frame Actuator-Base) (Reference-Frame Planar-Mace))
(<- (Wheel-Torque ?X)
(Dot (Basis.Vec (Reference-Frame Actuator-Base) 1)
(Applied-Torque Actuator-Base Torque-Wheel)))
(= (Reference-Point Torque-Wheel) (Reference-Point Actuator-Base))
(= (Orientation (Reference-Frame Torque-Wheel)
(Reference-Frame Actuator-Base))
(Simple-Rotation 3 Wheel-Angle))