5_a_stories_11_h38
She sent them out of the shop with the car keys and told them to get in the car.
arc(r_0005_0002__sent, r_0005_0001__She, arg0).
arc(r_0005_0002__sent, r_0005_0003__them, arg1).
arc(r_0005_0002__sent, r_0005_0005__the_r_0005_0006__shop, r_0005_0004__out_of_clr15).
arc(r_0005_0002__sent, r_0005_0008__the_r_0005_0009__car_r_0005_0010__keys, r_0005_0007__with_nim23).
arc(r_0005_0011__and, r_0005_0002__sent, conj1).
arc(r_0005_0011__and, r_0005_0012__told, conj2).
arc(r_0005_0012__told, r_0005_0001__She, arg0).
arc(r_0005_0012__told, r_0005_0013__them, arg2).
arc(r_0005_0012__told, r_0005_0014__to_r_0005_0015__get, arg1).
arc(r_0005_0014__to_r_0005_0015__get, r_0005_0013__them, arg0).
arc(r_0005_0014__to_r_0005_0015__get, r_0005_0017__the_r_0005_0018__car, r_0005_0016__in_clr47).
fof(formula,axiom,
? [R_5_11_AND,R_5_2_SENT,R_5_3_THEM,R_5_5_THE_SHOP,R_5_8_THE_CAR_KEYS,R_5_12_TOLD,R_5_1_SHE,R_5_14_TO_GET,R_5_17_THE_CAR,R_5_13_THEM] :
( them(R_5_3_THEM)
& the_shop(R_5_5_THE_SHOP)
& the_car_keys(R_5_8_THE_CAR_KEYS)
& she(R_5_1_SHE)
& the_car(R_5_17_THE_CAR)
& them(R_5_13_THEM)
& and(R_5_11_AND)
& conj1(R_5_11_AND,R_5_2_SENT)
& sent(R_5_2_SENT,R_5_1_SHE,R_5_3_THEM)
& out_of_clr15(R_5_2_SENT,R_5_5_THE_SHOP)
& with_nim23(R_5_2_SENT,R_5_8_THE_CAR_KEYS)
& conj2(R_5_11_AND,R_5_12_TOLD)
& told(R_5_12_TOLD,R_5_1_SHE,R_5_14_TO_GET,R_5_13_THEM)
& to_get(R_5_14_TO_GET,R_5_13_THEM)
& in_clr47(R_5_14_TO_GET,R_5_17_THE_CAR) ) ).
( (IP-MAT (NP-SBJ;{MRS_S} (PRO She;{she}))
(ILYR (ILYR (VBD;_Tn.pr_ sent;{send[out_of]})
(NP-OB1;{STEPHEN_RUSSELL} (PRO them;{they}))
(PP-CLR (P-ROLE out_of;{out_of})
(NP (D the;{the})
(N shop;{shop})))
(PP-NIM (P-ROLE with;{with})
(NP (D the;{the})
(N car;{car})
(NS keys;{key}))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Dn.t_ told;{tell})
(NP-OB2;{STEPHEN_RUSSELL} (PRO them;{they}))
(IP-INF-OB1 (TO to;{to})
(VB;_Ipr_ get;{get[in]})
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N car;{car})))))))
(PUNC .))
(ID 5_a_stories_11_h38))