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_0002_0010__A_R_0002_0011__BAG,R_0002_0015__AROUND,R_0002_0012__THAT_R_0002_0013__WAS_R_0002_0014__LYING] :
( r_0002_0010__a_r_0002_0011__bag(R_0002_0010__A_R_0002_0011__BAG)
& r_0002_0015__around(R_0002_0015__AROUND)
& r_0002_0012__that_r_0002_0013__was_r_0002_0014__lying(R_0002_0012__THAT_R_0002_0013__WAS_R_0002_0014__LYING)
& has_clr43(R_0002_0012__THAT_R_0002_0013__WAS_R_0002_0014__LYING,R_0002_0015__AROUND)
& has_arg0(R_0002_0012__THAT_R_0002_0013__WAS_R_0002_0014__LYING,R_0002_0010__A_R_0002_0011__BAG)
& ! [Z_000_2_A_STORIES_DISCOURSE_1_2] :
( z_000_2_a_stories_discourse_1_2(Z_000_2_A_STORIES_DISCOURSE_1_2)
=> ? [R_0002_0003__THEM,R_0002_0002__PICKED_R_0002_0004__UP,R_0002_0008__THEM,R_0002_0007__PUT,R_0002_0006__AND] :
( r_0002_0003__them(R_0002_0003__THEM)
& r_0002_0008__them(R_0002_0008__THEM)
& r_0002_0006__and(R_0002_0006__AND)
& has_conj2(R_0002_0006__AND,R_0002_0007__PUT)
& r_0002_0007__put(R_0002_0007__PUT)
& has_arg0(R_0002_0007__PUT,Z_000_2_A_STORIES_DISCOURSE_1_2)
& has_r_0002_0009__in_clr28(R_0002_0007__PUT,R_0002_0010__A_R_0002_0011__BAG)
& has_arg1(R_0002_0007__PUT,R_0002_0008__THEM)
& has_conj1(R_0002_0006__AND,R_0002_0002__PICKED_R_0002_0004__UP)
& r_0002_0002__picked_r_0002_0004__up(R_0002_0002__PICKED_R_0002_0004__UP)
& has_arg0(R_0002_0002__PICKED_R_0002_0004__UP,Z_000_2_A_STORIES_DISCOURSE_1_2)
& has_arg1(R_0002_0002__PICKED_R_0002_0004__UP,R_0002_0003__THEM) ) ) ) ).
( (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))