C>O AND CROSS(C,MA(C,13)) AND CROSS(C,MA(C,34)) AND CROSS(C,MA(C,55));
CROSS(C,MA(C,13)) AND CROSS(C,MA(C,34)) AND CROSS(C,MA(C,55)) C>O;
