(= (Reference-Point Gimbal-1-Platform) (Reference-Point Gimbal-1-Base)) (= (Orientation (Reference-Frame Gimbal-1-Platform) (Reference-Frame Gimbal-1-Base)) (Simple-Rotation 3 Gimbal-1-Angle))