290_a_dick_1952
Tance put the paper in his pocket and they went on.
arc(r_0290_0002__put, r_0290_0001__Tance, arg0).
arc(r_0290_0002__put, r_0290_0003__the_r_0290_0004__paper, arg1).
arc(r_0290_0002__put, r_0290_0007__pocket, r_0290_0005__in_clr17).
arc(r_0290_0007__pocket, r_0290_0001__Tance, gen).
arc(r_0290_0008__and, r_0290_0002__put, conj1).
arc(r_0290_0008__and, r_0290_0010__went, conj2).
arc(r_0290_0010__went, r_0290_0009__they, arg0).
arc(r_0290_0010__went, r_0290_0011__on, clr32).
fof(formula,axiom,
? [R_0290_0001__TANCE,R_0290_0003__THE_R_0290_0004__PAPER,R_0290_0007__POCKET,R_0290_0002__PUT,R_0290_0009__THEY,R_0290_0011__ON,R_0290_0010__WENT,R_0290_0008__AND] :
( r_0290_0001__Tance(R_0290_0001__TANCE)
& r_0290_0003__the_r_0290_0004__paper(R_0290_0003__THE_R_0290_0004__PAPER)
& r_0290_0009__they(R_0290_0009__THEY)
& r_0290_0011__on(R_0290_0011__ON)
& r_0290_0008__and(R_0290_0008__AND)
& has_conj2(R_0290_0008__AND,R_0290_0010__WENT)
& r_0290_0010__went(R_0290_0010__WENT)
& has_clr32(R_0290_0010__WENT,R_0290_0011__ON)
& has_arg0(R_0290_0010__WENT,R_0290_0009__THEY)
& has_conj1(R_0290_0008__AND,R_0290_0002__PUT)
& r_0290_0002__put(R_0290_0002__PUT)
& has_r_0290_0005__in_clr17(R_0290_0002__PUT,R_0290_0007__POCKET)
& r_0290_0007__pocket(R_0290_0007__POCKET)
& has_gen(R_0290_0007__POCKET,R_0290_0001__TANCE)
& has_arg1(R_0290_0002__PUT,R_0290_0003__THE_R_0290_0004__PAPER)
& has_arg0(R_0290_0002__PUT,R_0290_0001__TANCE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
(VBD;_Tn.pr_ put;{put[in]})
(NP-OB1 (D the;{the})
(N paper;{paper}))
(PP-CLR (P-ROLE in;{in})
(NP (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
(N pocket;{pocket}))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
(VBD;_Ip_ went;{go[on]})
(ADVP-CLR (RP on;{on})))))
(PUNC .))
(ID 290_a_dick_1952))