% SZS status Theorem for ASN__S
% SZS output start Proof for ASN__S
  file('i/f/transc/ASN__SIN',aHLu_BOOLu_CASES)).
  file('i/f/transc/ASN__SIN',ch4s_transcs_ASNu_u_SIN)).
  file('i/f/transc/ASN__SIN',ah4s_transcs_ASN)).
  file('i/f/transc/ASN__SIN',aHLu_TRUTH)).
  file('i/f/transc/ASN__SIN',aHLu_FALSITY)).
% SZS output end Proof for ASN__S
