TSPC 233_a_ted_talk

233_a_ted_talk_11
And the minute they left the room, she was on her feet, moving to the music.

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-NIM (D the;{the})
                  (N minute;{minute})
                  (IP-REL (NP-NIM *T*)
                          (NP-SBJ;{MOTHER+DOCTOR} (PRO they;{they}))
                          (VBD;__ left;{leave})
                          (NP-OB1 (D the;{the})
                                  (N room;{room}))))
          (PUNC ,)
          (NP-SBJ;{GILLIAN} (PRO she;{she}))
          (BED;_Ipr_ was;{be[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (NP-GEN;{GILLIAN} (PRO;_genm_ her;{her}))
                      (NS feet;{foot})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;__ moving;{move})
                            (PP-NIM (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (N music;{music})))))
          (PUNC .))
  (ID 233_a_ted_talk_11))

arc(r_0233_0005__left,r_0233_0002__the_r_0233_0003__minute,inv_nim).
arc(r_0233_0005__left,r_0233_0004__they,arg0).
arc(r_0233_0005__left,r_0233_0006__the_r_0233_0007__room,arg1).
arc(r_0233_0010__was_r_0233_0011__on,r_0233_0002__the_r_0233_0003__minute,nim).
arc(r_0233_0010__was_r_0233_0011__on,r_0233_0009__she,arg0).
arc(r_0233_0010__was_r_0233_0011__on,r_0233_0013__feet,arg1).
arc(r_0233_0013__feet,r_0233_0009__she,gen).
arc(r_0233_0015__moving,r_0233_0009__she,arg0).
arc(r_0233_0015__moving,r_0233_0017__the_r_0233_0018__music,r_0233_0016__to__nim).
arc(z_0233_5006,r_0233_0010__was_r_0233_0011__on,scope).
arc(z_0233_5006,r_0233_0015__moving,restriction).

fof(formula,axiom,
    ? [R_0233_0004__THEY,R_0233_0006__THE_R_0233_0007__ROOM,R_0233_0005__LEFT,R_0233_0002__THE_R_0233_0003__MINUTE,R_0233_0009__SHE,R_0233_0013__FEET,R_0233_0010__WAS_R_0233_0011__ON,R_0233_0017__THE_R_0233_0018__MUSIC,R_0233_0015__MOVING,Z_0233_5006] :
      ( r_0233_0004__they(R_0233_0004__THEY)
      & r_0233_0006__the_r_0233_0007__room(R_0233_0006__THE_R_0233_0007__ROOM)
      & r_0233_0009__she(R_0233_0009__SHE)
      & r_0233_0017__the_r_0233_0018__music(R_0233_0017__THE_R_0233_0018__MUSIC)
      & z_0233_5006(Z_0233_5006)
      & has_conj1(Z_0233_5006,R_0233_0015__MOVING)
      & r_0233_0015__moving(R_0233_0015__MOVING)
      & has_r_0233_0016__to__nim(R_0233_0015__MOVING,R_0233_0017__THE_R_0233_0018__MUSIC)
      & has_arg0(R_0233_0015__MOVING,R_0233_0009__SHE)
      & has_conj2(Z_0233_5006,R_0233_0010__WAS_R_0233_0011__ON)
      & r_0233_0010__was_r_0233_0011__on(R_0233_0010__WAS_R_0233_0011__ON)
      & has_arg1(R_0233_0010__WAS_R_0233_0011__ON,R_0233_0013__FEET)
      & r_0233_0013__feet(R_0233_0013__FEET)
      & has_gen(R_0233_0013__FEET,R_0233_0009__SHE)
      & has_arg0(R_0233_0010__WAS_R_0233_0011__ON,R_0233_0009__SHE)
      & has_nim(R_0233_0010__WAS_R_0233_0011__ON,R_0233_0002__THE_R_0233_0003__MINUTE)
      & r_0233_0002__the_r_0233_0003__minute(R_0233_0002__THE_R_0233_0003__MINUTE)
      & has_inv_nim(R_0233_0002__THE_R_0233_0003__MINUTE,R_0233_0005__LEFT)
      & r_0233_0005__left(R_0233_0005__LEFT)
      & has_arg1(R_0233_0005__LEFT,R_0233_0006__THE_R_0233_0007__ROOM)
      & has_arg0(R_0233_0005__LEFT,R_0233_0004__THEY) ) ).