SZS status Theorem for i/f/marker/move__left__disj_c2
