SZS status Theorem for i/f/bool/IMP__ANTISYM__AX
