% SZS status Theorem for ABS__PR
% SZS output start Proof for ABS__PR
  file('i/f/probability/ABS__PROB',ch4s_probabilitys_ABSu_u_PROB)).
  file('i/f/probability/ABS__PROB',ah4s_reals_ABSu_u_REFL)).
  file('i/f/probability/ABS__PROB',ah4s_probabilitys_PROBu_u_POSITIVE)).
% SZS output end Proof for ABS__PR
