2_a_stories_discourse_1
Everyone picked them up, and put them in a bag that was lying around.
arc(r_0002_0001__Everyone_quant, r_0002_0006__and, scope).
arc(r_0002_0001__Everyone_quant, z_000_2_a_stories_discourse_1_2, restriction).
arc(r_0002_0002__picked_r_0002_0004__up, r_0002_0003__them, arg1).
arc(r_0002_0002__picked_r_0002_0004__up, z_000_2_a_stories_discourse_1_2, arg0).
arc(r_0002_0006__and, r_0002_0002__picked_r_0002_0004__up, conj1).
arc(r_0002_0006__and, r_0002_0007__put, conj2).
arc(r_0002_0007__put, r_0002_0008__them, arg1).
arc(r_0002_0007__put, r_0002_0010__a_r_0002_0011__bag, r_0002_0009__in_clr28).
arc(r_0002_0007__put, z_000_2_a_stories_discourse_1_2, arg0).
arc(r_0002_0012__that_r_0002_0013__was, r_0002_0014__lying, scope).
arc(r_0002_0014__lying, r_0002_0010__a_r_0002_0011__bag, arg0).
arc(r_0002_0014__lying, r_0002_0015__around, clr43).
fof(formula,axiom,
? [R_2_12_THAT_WAS_LYING,R_2_10_A_BAG,R_2_15_AROUND] :
( a_bag(R_2_10_A_BAG)
& around(R_2_15_AROUND)
& ! [Z_2_A_STORIES_DISCOURSE_1_2] :
( true
=> ? [R_2_6_AND,R_2_2_PICKED_UP,R_2_3_THEM,R_2_7_PUT,R_2_8_THEM] :
( them(R_2_3_THEM)
& them(R_2_8_THEM)
& and(R_2_6_AND)
& conj1(R_2_6_AND,R_2_2_PICKED_UP)
& picked_up(R_2_2_PICKED_UP,Z_2_A_STORIES_DISCOURSE_1_2,R_2_3_THEM)
& conj2(R_2_6_AND,R_2_7_PUT)
& put(R_2_7_PUT,Z_2_A_STORIES_DISCOURSE_1_2,R_2_8_THEM)
& in_clr28(R_2_7_PUT,R_2_10_A_BAG) ) )
& that_was_lying(R_2_12_THAT_WAS_LYING,R_2_10_A_BAG)
& clr43(R_2_12_THAT_WAS_LYING,R_2_15_AROUND) ) ).
( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
(ILYR (ILYR (VBD;_phr_Vn<=>p_ picked;{pick[up]})
(NP-OB1;{JUNK} (PRO them;{them}))
(RP up;{up}))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tn.pr_ put;{put[in]})
(NP-OB1;{JUNK} (PRO them;{them}))
(PP-CLR (P-ROLE in;{in})
(NP;{BAG} (D a;{a})
(N bag;{bag})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_Ip_ lying;{lie[around]})
(ADVP-CLR (ADV around;{around})))))))))
(PUNC .))
(ID 2_a_stories_discourse_1))