79_a_loosechange
‘And where is all this?’ I said, indicating the area around the little map with its slowly evaporating borders and town.
arc(utterance_79_a_loosechange_4, r_0079_0005__all_quant, part1).
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, utterance_79_a_loosechange_4, arg1).
arc(r_0079_0010__said, r_0079_0009__I, arg0).
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(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_0079_0021__SLOWLY,R_0079_0020__ITS,R_0079_0023__BORDERS,R_0079_0025__TOWN,R_0079_0024__AND,R_0079_0022__EVAPORATING,UTTERANCE_79_A_LOOSECHANGE_4,R_0079_0009__I,R_0079_0010__SAID,R_0079_0017__LITTLE,R_0079_0016__THE_R_0079_0018__MAP,R_0079_0013__THE_R_0079_0014__AREA,R_0079_0012__INDICATING,Z_000_79_A_LOOSECHANGE_30] :
( r_0079_0009__I(R_0079_0009__I)
& r_0079_0017__little(R_0079_0017__LITTLE)
& r_0079_0020__its(R_0079_0020__ITS)
& r_0079_0021__slowly(R_0079_0021__SLOWLY)
& r_0079_0023__borders(R_0079_0023__BORDERS)
& r_0079_0025__town(R_0079_0025__TOWN)
& z_000_79_a_loosechange_30(Z_000_79_A_LOOSECHANGE_30)
& has_conj1(Z_000_79_A_LOOSECHANGE_30,R_0079_0012__INDICATING)
& r_0079_0012__indicating(R_0079_0012__INDICATING)
& has_arg1(R_0079_0012__INDICATING,R_0079_0013__THE_R_0079_0014__AREA)
& r_0079_0013__the_r_0079_0014__area(R_0079_0013__THE_R_0079_0014__AREA)
& has_r_0079_0019__with(R_0079_0013__THE_R_0079_0014__AREA,R_0079_0024__AND)
& r_0079_0024__and(R_0079_0024__AND)
& has_conj2(R_0079_0024__AND,R_0079_0025__TOWN)
& has_conj1(R_0079_0024__AND,R_0079_0023__BORDERS)
& has_gen(R_0079_0024__AND,R_0079_0020__ITS)
& has_r_0079_0015__around(R_0079_0013__THE_R_0079_0014__AREA,R_0079_0016__THE_R_0079_0018__MAP)
& r_0079_0016__the_r_0079_0018__map(R_0079_0016__THE_R_0079_0018__MAP)
& has_attrib45(R_0079_0016__THE_R_0079_0018__MAP,R_0079_0017__LITTLE)
& has_arg0(R_0079_0012__INDICATING,R_0079_0009__I)
& has_conj2(Z_000_79_A_LOOSECHANGE_30,R_0079_0010__SAID)
& r_0079_0010__said(R_0079_0010__SAID)
& has_arg0(R_0079_0010__SAID,R_0079_0009__I)
& has_arg1(R_0079_0010__SAID,UTTERANCE_79_A_LOOSECHANGE_4)
& utterance_79_a_loosechange_4(UTTERANCE_79_A_LOOSECHANGE_4)
& ! [R_0079_0006__THIS] :
( r_0079_0006__this(R_0079_0006__THIS)
=> ? [R_0079_0003__WHERE,R_0079_0002__AND_R_0079_0004__IS] :
( r_0079_0003__where(R_0079_0003__WHERE)
& r_0079_0002__And_r_0079_0004__is(R_0079_0002__AND_R_0079_0004__IS)
& has_arg0(R_0079_0002__AND_R_0079_0004__IS,R_0079_0006__THIS)
& has_clr9(R_0079_0002__AND_R_0079_0004__IS,R_0079_0003__WHERE) ) )
& r_0079_0022__evaporating(R_0079_0022__EVAPORATING)
& has_arg0(R_0079_0022__EVAPORATING,R_0079_0024__AND)
& has_nim58(R_0079_0022__EVAPORATING,R_0079_0021__SLOWLY) ) ).
( (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))