39_a_loosechange
But when I emerged from the cubicle the girl and her handful of change were gone.
arc(r_0039_0001__But_r_0039_0015__were, r_0039_0010__and, arg0).
arc(r_0039_0001__But_r_0039_0015__were, r_0039_0016__gone, prd).
arc(r_0039_0002__when, r_0039_0001__But_r_0039_0015__were, scope).
arc(r_0039_0002__when, r_0039_0004__emerged, restriction).
arc(r_0039_0004__emerged, r_0039_0003__I, arg0).
arc(r_0039_0004__emerged, r_0039_0006__the_r_0039_0007__cubicle, r_0039_0005__from_clr16).
arc(r_0039_0010__and, r_0039_0008__the_r_0039_0009__girl, conj1).
arc(r_0039_0010__and, r_0039_0012__handful, conj2).
arc(r_0039_0012__handful, r_0039_0008__the_r_0039_0009__girl, gen).
arc(r_0039_0012__handful, r_0039_0014__change, r_0039_0013__of).
fof(formula,axiom,
! [R_39_4_EMERGED,R_39_3_I,R_39_6_THE_CUBICLE] :
( ( i(R_39_3_I)
& the_cubicle(R_39_6_THE_CUBICLE)
& emerged(R_39_4_EMERGED,R_39_3_I)
& from_clr16(R_39_4_EMERGED,R_39_6_THE_CUBICLE) )
=> ? [R_39_1_BUT_WERE,R_39_10_AND,R_39_12_HANDFUL,R_39_8_THE_GIRL,R_39_14_CHANGE,R_39_16_GONE] :
( the_girl(R_39_8_THE_GIRL)
& change(R_39_14_CHANGE)
& gone(R_39_16_GONE)
& but_were(R_39_1_BUT_WERE,R_39_10_AND,R_39_16_GONE)
& and(R_39_10_AND)
& conj1(R_39_10_AND,R_39_8_THE_GIRL)
& conj2(R_39_10_AND,R_39_12_HANDFUL)
& handful(R_39_12_HANDFUL)
& gen(R_39_12_HANDFUL,R_39_8_THE_GIRL)
& of(R_39_12_HANDFUL,R_39_14_CHANGE) ) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_Ipr_ emerged;{emerge[from]})
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(N cubicle;{cubicle})))))
(NP-SBJ (NLYR (NLYR;{LAYLOR} (D the;{the})
(N girl;{girl}))
(CONJP (CONJ and;{and})
(NLYR (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
(N handful;{handful})
(PP (P-ROLE of;{of})
(NP (N change;{change})))))))
(BED;_La_ were;{be})
(ADJP-PRD (ADJ gone;{gone}))
(PUNC .))
(ID 39_a_loosechange))