SZS status Theorem for i/f/marker/move__right__disj_c0
