(= (Position (Reference-Point Gimbal-2-Base) (Reference-Point Planar-Mace)) (* (- (Buslength Bus-Assy)) (Basis.Vec (Reference-Frame Planar-Mace) 1))) (= (Orientation (Reference-Frame Gimbal-2-Base) (Reference-Frame Planar-Mace)) (Simple-Rotation 3 180))
(<- (Gimbal-2-Torque ?X) (Dot (Basis.Vec (Reference-Frame Gimbal-2-Base) 1) (Applied-Torque Gimbal-2-Base Gimbal-2-Platform))) (= (Reference-Point Gimbal-2-Platform) (Reference-Point Gimbal-2-Base)) (= (Orientation (Reference-Frame Gimbal-2-Platform) (Reference-Frame Gimbal-2-Base)) (Simple-Rotation 3 Gimbal-2-Angle))