SZS status Theorem for i/f/set_relation/finite__strict__linear__order__has__maximal
