% SZS status Theorem for OPTREL__MO
% SZS output start Proof for OPTREL__MO
  file('i/f/option/OPTREL__MONO',ah4s_options_OPTRELu_u_def)).
  file('i/f/option/OPTREL__MONO',ch4s_options_OPTRELu_u_MONO)).
  file('i/f/option/OPTREL__MONO',ah4s_options_NOTu_u_NONEu_u_SOME)).
  file('i/f/option/OPTREL__MONO',ah4s_options_SOMEu_u_11)).
% SZS output end Proof for OPTREL__MO
