TSPC 231_a_ted_talk

231_a_ted_talk_11
But as they went out of the room, he turned on the radio that was sitting on his desk.

( (IP-MAT (CONJ;_cl_ But;{but})
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{MOTHER+DOCTOR} (PRO they;{they}))
                           (VBD;_Ipr_ went;{go[out_of]})
                           (PP-CLR (P-ROLE out_of;{out_of})
                                   (NP (D the;{the})
                                       (N room;{room})))))
          (PUNC ,)
          (NP-SBJ;{DOCTOR} (PRO he;{he}))
          (VBD;_phr_Vn<=>p_ turned;{turn[on]})
          (RP on;{on})
          (NP-OB1 (D the;{the})
                  (N radio;{radio})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (BED;_cat_Vg_ was;{be})
                          (IP-PPL-CAT (VAG;_Ipr_ sitting;{sit[on]})
                                      (PP-NIM (P-ROLE on;{on})
                                              (NP (NP-GEN;{DOCTOR} (PRO;_genm_ his;{his}))
                                                  (N desk;{desk}))))))
          (PUNC .))
  (ID 231_a_ted_talk_11))

arc(r_0231_0002__as,r_0231_0004__went_r_0231_0005__out_of,restriction).
arc(r_0231_0002__as,r_0231_0010__turned_r_0231_0011__on,scope).
arc(r_0231_0004__went_r_0231_0005__out_of,r_0231_0003__they,arg0).
arc(r_0231_0004__went_r_0231_0005__out_of,r_0231_0006__the_r_0231_0007__room,arg1).
arc(r_0231_0010__turned_r_0231_0011__on,r_0231_0009__he,arg0).
arc(r_0231_0010__turned_r_0231_0011__on,r_0231_0012__the_r_0231_0013__radio,arg1).
arc(r_0231_0015__was,r_0231_0016__sitting,scope).
arc(r_0231_0016__sitting,r_0231_0012__the_r_0231_0013__radio,inv_arg0).
arc(r_0231_0016__sitting,r_0231_0019__desk,r_0231_0017__on__nim).
arc(r_0231_0019__desk,r_0231_0009__he,gen).

fof(formula,axiom,
    ? [R_0231_0003__THEY,R_0231_0006__THE_R_0231_0007__ROOM,R_0231_0004__WENT_R_0231_0005__OUT_OF,R_0231_0009__HE,R_0231_0019__DESK,R_0231_0015__WAS_R_0231_0016__SITTING,R_0231_0012__THE_R_0231_0013__RADIO,R_0231_0010__TURNED_R_0231_0011__ON,R_0231_0002__AS] :
      ( r_0231_0003__they(R_0231_0003__THEY)
      & r_0231_0006__the_r_0231_0007__room(R_0231_0006__THE_R_0231_0007__ROOM)
      & r_0231_0009__he(R_0231_0009__HE)
      & r_0231_0002__as(R_0231_0002__AS)
      & has_conj2(R_0231_0002__AS,R_0231_0010__TURNED_R_0231_0011__ON)
      & r_0231_0010__turned_r_0231_0011__on(R_0231_0010__TURNED_R_0231_0011__ON)
      & has_arg1(R_0231_0010__TURNED_R_0231_0011__ON,R_0231_0012__THE_R_0231_0013__RADIO)
      & r_0231_0012__the_r_0231_0013__radio(R_0231_0012__THE_R_0231_0013__RADIO)
      & has_inv_arg0(R_0231_0012__THE_R_0231_0013__RADIO,R_0231_0015__WAS_R_0231_0016__SITTING)
      & r_0231_0015__was_r_0231_0016__sitting(R_0231_0015__WAS_R_0231_0016__SITTING)
      & has_r_0231_0017__on__nim(R_0231_0015__WAS_R_0231_0016__SITTING,R_0231_0019__DESK)
      & r_0231_0019__desk(R_0231_0019__DESK)
      & has_gen(R_0231_0019__DESK,R_0231_0009__HE)
      & has_arg0(R_0231_0010__TURNED_R_0231_0011__ON,R_0231_0009__HE)
      & has_conj1(R_0231_0002__AS,R_0231_0004__WENT_R_0231_0005__OUT_OF)
      & r_0231_0004__went_r_0231_0005__out_of(R_0231_0004__WENT_R_0231_0005__OUT_OF)
      & has_arg1(R_0231_0004__WENT_R_0231_0005__OUT_OF,R_0231_0006__THE_R_0231_0007__ROOM)
      & has_arg0(R_0231_0004__WENT_R_0231_0005__OUT_OF,R_0231_0003__THEY) ) ).