% SZS status Theorem for SOME__R
% SZS output start Proof for SOME__R
  file('i/f/quotient_option/SOME__RSP',ch4s_quotientu_u_options_SOMEu_u_RSP)).
  file('i/f/quotient_option/SOME__RSP',ah4s_quotientu_u_options_OPTIONu_u_RELu_u_defu_c3)).
% SZS output end Proof for SOME__R
