% SZS status Theorem for WORD__G
% SZS output start Proof for WORD__G
  file('i/f/integer_word/WORD__GTi',ah4s_integers_intu_u_gt0)).
  file('i/f/integer_word/WORD__GTi',ah4s_wordss_WORDu_u_GREATER)).
  file('i/f/integer_word/WORD__GTi',ah4s_integeru_u_words_WORDu_u_LTi)).
  file('i/f/integer_word/WORD__GTi',ch4s_integeru_u_words_WORDu_u_GTi)).
% SZS output end Proof for WORD__G
