% SZS status Theorem for OWL__INTER__T
% SZS output start Proof for OWL__INTER__T
  file('i/f/enumeral/OWL__INTER__THM',ah4s_enumerals_OLu_u_INTERu_u_IMP)).
  file('i/f/enumeral/OWL__INTER__THM',ah4s_enumerals_OWL0)).
  file('i/f/enumeral/OWL__INTER__THM',ch4s_enumerals_OWLu_u_INTERu_u_THM)).
% SZS output end Proof for OWL__INTER__T
