TSPC 5_a_stories_11

5_a_stories_11_h38
She sent them out of the shop with the car keys and told them to get in 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))

arc(r_0005_0002__sent_r_0005_0004__out_of,r_0005_0001__She,arg0).
arc(r_0005_0002__sent_r_0005_0004__out_of,r_0005_0003__them,arg1).
arc(r_0005_0002__sent_r_0005_0004__out_of,r_0005_0005__the_r_0005_0006__shop,arg2).
arc(r_0005_0002__sent_r_0005_0004__out_of,r_0005_0008__the_r_0005_0009__car_r_0005_0010__keys,r_0005_0007__with__nim).
arc(r_0005_0011__and,r_0005_0002__sent_r_0005_0004__out_of,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_0003__them,arg2).
arc(r_0005_0012__told,r_0005_0015__get_r_0005_0016__in,arg1).
arc(r_0005_0015__get_r_0005_0016__in,r_0005_0003__them,arg0).
arc(r_0005_0015__get_r_0005_0016__in,r_0005_0017__the_r_0005_0018__car,arg1).

fof(formula,axiom,
    ? [R_0005_0001__SHE,R_0005_0003__THEM,R_0005_0005__THE_R_0005_0006__SHOP,R_0005_0008__THE_R_0005_0009__CAR_R_0005_0010__KEYS,R_0005_0002__SENT_R_0005_0004__OUT_OF,R_0005_0017__THE_R_0005_0018__CAR,R_0005_0015__GET_R_0005_0016__IN,R_0005_0012__TOLD,R_0005_0011__AND] :
      ( r_0005_0001__She(R_0005_0001__SHE)
      & r_0005_0003__them(R_0005_0003__THEM)
      & r_0005_0005__the_r_0005_0006__shop(R_0005_0005__THE_R_0005_0006__SHOP)
      & r_0005_0008__the_r_0005_0009__car_r_0005_0010__keys(R_0005_0008__THE_R_0005_0009__CAR_R_0005_0010__KEYS)
      & r_0005_0017__the_r_0005_0018__car(R_0005_0017__THE_R_0005_0018__CAR)
      & r_0005_0011__and(R_0005_0011__AND)
      & has_conj2(R_0005_0011__AND,R_0005_0012__TOLD)
      & r_0005_0012__told(R_0005_0012__TOLD)
      & has_arg1(R_0005_0012__TOLD,R_0005_0015__GET_R_0005_0016__IN)
      & r_0005_0015__get_r_0005_0016__in(R_0005_0015__GET_R_0005_0016__IN)
      & has_arg1(R_0005_0015__GET_R_0005_0016__IN,R_0005_0017__THE_R_0005_0018__CAR)
      & has_arg0(R_0005_0015__GET_R_0005_0016__IN,R_0005_0003__THEM)
      & has_arg2(R_0005_0012__TOLD,R_0005_0003__THEM)
      & has_arg0(R_0005_0012__TOLD,R_0005_0001__SHE)
      & has_conj1(R_0005_0011__AND,R_0005_0002__SENT_R_0005_0004__OUT_OF)
      & r_0005_0002__sent_r_0005_0004__out_of(R_0005_0002__SENT_R_0005_0004__OUT_OF)
      & has_r_0005_0007__with__nim(R_0005_0002__SENT_R_0005_0004__OUT_OF,R_0005_0008__THE_R_0005_0009__CAR_R_0005_0010__KEYS)
      & has_arg2(R_0005_0002__SENT_R_0005_0004__OUT_OF,R_0005_0005__THE_R_0005_0006__SHOP)
      & has_arg1(R_0005_0002__SENT_R_0005_0004__OUT_OF,R_0005_0003__THEM)
      & has_arg0(R_0005_0002__SENT_R_0005_0004__OUT_OF,R_0005_0001__SHE) ) ).