(=> (Gimbal-1-Torque ?X ?Q) (= ?Q (Dot (Basis.Vec (Reference-Frame Gimbal-1-Base) 1) (Applied-Torque Gimbal-1-Base Gimbal-1-Platform))))