SZS status Theorem for i/f/relation/irrefl__trans__implies__antisym
