% SZS status Theorem for ORD__BOU
% SZS output start Proof for ORD__BOU
  file('i/f/string/ORD__BOUND',ah4s_strings_ORDu_u_ONTO)).
  file('i/f/string/ORD__BOUND',ah4s_bools_EQu_u_CLAUSESu_c3)).
  file('i/f/string/ORD__BOUND',ch4s_strings_ORDu_u_BOUND)).
% SZS output end Proof for ORD__BOU
