% SZS status Theorem for COMPONE
% SZS output start Proof for COMPONE
  file('i/f/pred_set/COMPONENT',ah4s_predu_u_sets_INu_u_INSERT)).
  file('i/f/pred_set/COMPONENT',ch4s_predu_u_sets_COMPONENT)).
% SZS output end Proof for COMPONE
