arc(r_0079_0002__And_r_0079_0004__is, r_0079_0003__where, clr9).
arc(r_0079_0002__And_r_0079_0004__is, r_0079_0006__this, arg0).
arc(r_0079_0005__all_quant, r_0079_0002__And_r_0079_0004__is, scope).
arc(r_0079_0005__all_quant, r_0079_0006__this, restriction).
arc(r_0079_0010__said, r_0079_0009__I, arg0).
arc(r_0079_0010__said, utterance_79_a_loosechange_4, arg1).
arc(r_0079_0012__indicating, r_0079_0009__I, arg0).
arc(r_0079_0012__indicating, r_0079_0013__the_r_0079_0014__area, arg1).
arc(r_0079_0013__the_r_0079_0014__area, r_0079_0016__the_r_0079_0018__map, r_0079_0015__around).
arc(r_0079_0013__the_r_0079_0014__area, r_0079_0024__and, r_0079_0019__with).
arc(r_0079_0016__the_r_0079_0018__map, r_0079_0017__little, attrib45).
arc(r_0079_0022__evaporating, r_0079_0021__slowly, nim58).
arc(r_0079_0022__evaporating, r_0079_0024__and, arg0).
arc(r_0079_0024__and, r_0079_0020__its, gen).
arc(r_0079_0024__and, r_0079_0023__borders, conj1).
arc(r_0079_0024__and, r_0079_0025__town, conj2).
arc(utterance_79_a_loosechange_4, r_0079_0005__all_quant, part1).
arc(z_000_79_a_loosechange_30, r_0079_0010__said, scope).
arc(z_000_79_a_loosechange_30, r_0079_0012__indicating, restriction).

fof(formula,axiom,
    ? [R_79_22_EVAPORATING,R_79_21_SLOWLY,Z_79_A_LOOSECHANGE_30,R_79_12_INDICATING,R_79_13_THE_AREA,R_79_16_THE_MAP,R_79_17_LITTLE,R_79_24_AND,R_79_23_BORDERS,R_79_25_TOWN,R_79_20_ITS,R_79_10_SAID,R_79_9_I,UTTERANCE_79_A_LOOSECHANGE_4] :
      ( slowly(R_79_21_SLOWLY)
      & little(R_79_17_LITTLE)
      & borders(R_79_23_BORDERS)
      & town(R_79_25_TOWN)
      & its(R_79_20_ITS)
      & i(R_79_9_I)
      & evaporating(R_79_22_EVAPORATING,R_79_24_AND)
      & and(R_79_24_AND)
      & conj1(R_79_24_AND,R_79_23_BORDERS)
      & conj2(R_79_24_AND,R_79_25_TOWN)
      & gen(R_79_24_AND,R_79_20_ITS)
      & nim58(R_79_22_EVAPORATING,R_79_21_SLOWLY)
      & z_79_a_loosechange_30(Z_79_A_LOOSECHANGE_30)
      & conj1(Z_79_A_LOOSECHANGE_30,R_79_12_INDICATING)
      & indicating(R_79_12_INDICATING,R_79_9_I,R_79_13_THE_AREA)
      & the_area(R_79_13_THE_AREA)
      & around(R_79_13_THE_AREA,R_79_16_THE_MAP)
      & the_map(R_79_16_THE_MAP)
      & attrib45(R_79_16_THE_MAP,R_79_17_LITTLE)
      & with(R_79_13_THE_AREA,R_79_24_AND)
      & conj2(Z_79_A_LOOSECHANGE_30,R_79_10_SAID)
      & said(R_79_10_SAID,R_79_9_I,UTTERANCE_79_A_LOOSECHANGE_4)
      & ! [R_79_6_THIS] :
          ( this(R_79_6_THIS)
         => ? [R_79_2_AND_IS,R_79_3_WHERE] :
              ( where(R_79_3_WHERE)
              & and_is(R_79_2_AND_IS,R_79_6_THIS)
              & clr9(R_79_2_AND_IS,R_79_3_WHERE) ) )
      & part1(PART1)
      & utterance_79_a_loosechange_4(UTTERANCE_79_A_LOOSECHANGE_4) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (CONJ;_cl_ And;{and})
                                             (ADVP-CLR (WADV where;{where}))
                                             (BEP;_Ip_ is;{be})
                                             (NP-SBJ (Q;_nphd_ all;{all})
                                                     (D;_nphd_ this;{this})))
                                     (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ indicating;{indicate})
                            (NP-OB1 (D the;{the})
                                    (N area;{area})
                                    (PP (P-ROLE around;{around})
                                        (NP;{MAP} (D the;{the})
                                                  (ADJP (ADJ little;{little}))
                                                  (N map;{map})))
                                    (PP (P-ROLE with;{with})
                                        (NP (NP-GEN;{MAP} (PRO;_genm_ its;{its}))
                                            (IP-PPL (ADVP-NIM (ADV slowly;{slowly}))
                                                    (VAG;_I_ evaporating;{evaporate}))
                                            (NLYR (NLYR (NS borders;{border}))
                                                  (CONJP (CONJ and;{and})
                                                         (NLYR (N town;{town})))))))))
          (PUNC .))
  (ID 79_a_loosechange))