arc(r_0009_0002__turned, r_0009_0001__I, arg0).
arc(r_0009_0002__turned, r_0009_0003__the_r_0009_0004__gas, arg1).
arc(r_0009_0002__turned, z_000_9_a_stories_10_k03_17, r_0009_0005__up_to_clr17).
arc(r_0009_0007__and, r_0009_0002__turned, conj1).
arc(r_0009_0007__and, r_0009_0010__spat, conj2).
arc(r_0009_0010__spat, r_0009_0008__the_r_0009_0009__fat, arg0).
arc(r_0009_0010__spat, r_0009_0013__the_r_0009_0014__place, r_0009_0011__all_r_0009_0012__over_clr37).
arc(z_000_9_a_stories_10_k03_17, r_0009_0006__high, attrib18).

fof(formula,axiom,
    ? [R_0009_0001__I,R_0009_0003__THE_R_0009_0004__GAS,R_0009_0006__HIGH,Z_000_9_A_STORIES_10_K03_17,R_0009_0002__TURNED,R_0009_0008__THE_R_0009_0009__FAT,R_0009_0013__THE_R_0009_0014__PLACE,R_0009_0010__SPAT,R_0009_0007__AND] :
      ( r_0009_0001__I(R_0009_0001__I)
      & r_0009_0003__the_r_0009_0004__gas(R_0009_0003__THE_R_0009_0004__GAS)
      & r_0009_0006__high(R_0009_0006__HIGH)
      & r_0009_0008__the_r_0009_0009__fat(R_0009_0008__THE_R_0009_0009__FAT)
      & r_0009_0013__the_r_0009_0014__place(R_0009_0013__THE_R_0009_0014__PLACE)
      & r_0009_0007__and(R_0009_0007__AND)
      & has_conj2(R_0009_0007__AND,R_0009_0010__SPAT)
      & r_0009_0010__spat(R_0009_0010__SPAT)
      & has_r_0009_0011__all_r_0009_0012__over_clr37(R_0009_0010__SPAT,R_0009_0013__THE_R_0009_0014__PLACE)
      & has_arg0(R_0009_0010__SPAT,R_0009_0008__THE_R_0009_0009__FAT)
      & has_conj1(R_0009_0007__AND,R_0009_0002__TURNED)
      & r_0009_0002__turned(R_0009_0002__TURNED)
      & has_r_0009_0005__up_to_clr17(R_0009_0002__TURNED,Z_000_9_A_STORIES_10_K03_17)
      & z_000_9_a_stories_10_k03_17(Z_000_9_A_STORIES_10_K03_17)
      & has_attrib18(Z_000_9_A_STORIES_10_K03_17,R_0009_0006__HIGH)
      & has_arg1(R_0009_0002__TURNED,R_0009_0003__THE_R_0009_0004__GAS)
      & has_arg0(R_0009_0002__TURNED,R_0009_0001__I) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn.pr_ turned;{turn[up_to]})
                      (NP-OB1;{GAS} (D the;{the})
                                    (N gas;{gas}))
                      (PP-CLR (P-ROLE up_to;{up_to})
                              (NP (ADJP (ADJ high;{high})))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{FAT} (D the;{the})
                                           (N fat;{fat}))
                             (VBD;_Ipr_ spat;{spit[over]})
                             (PP-CLR (ADV all;{all})
                                     (P-ROLE over;{over})
                                     (NP (D the;{the})
                                         (N place;{place}))))))
          (PUNC .))
  (ID 9_a_stories_10_k03))