SZS status Theorem for i/f/set_relation/partial__order__linear__order
