% SZS status Theorem for WF__EMPTY__R
% SZS output start Proof for WF__EMPTY__R
  file('i/f/relation/WF__EMPTY__REL',ah4s_relations_WFu_u_DEF)).
  file('i/f/relation/WF__EMPTY__REL',ch4s_relations_WFu_u_EMPTYu_u_REL)).
  file('i/f/relation/WF__EMPTY__REL',ah4s_relations_EMPTYu_u_RELu_u_DEF)).
  file('i/f/relation/WF__EMPTY__REL',aHLu_FALSITY)).
% SZS output end Proof for WF__EMPTY__R
