TSPC 580_a_dick

580_a_dick_1952
Nasha stood in the control room, watching the planet fall away behind them.

( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_I_ stood;{stand})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N control;{control})
                      (N room;{room})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tni_ watching;{watch})
                           (NP-DOB1 (D the;{the})
                                    (N planet;{planet}))
                           (IP-INF-OB1 (VB;_Ip_ fall;{fall[away]})
                                       (ADVP-CLR (RP away;{away}))
                                       (PP-NIM (P-ROLE behind;{behind})
                                               (NP;{TRESPASSERS} (PRO them;{they}))))))
          (PUNC .))
  (ID 580_a_dick_1952))

arc(r_0580_0002__stood,r_0580_0001__Nasha,arg0).
arc(r_0580_0002__stood,r_0580_0004__the_r_0580_0005__control_r_0580_0006__room,r_0580_0003__in__nim).
arc(r_0580_0008__watching,r_0580_0001__Nasha,arg0).
arc(r_0580_0008__watching,r_0580_0011__fall_r_0580_0012__away,arg1).
arc(r_0580_0011__fall_r_0580_0012__away,r_0580_0009__the_r_0580_0010__planet,arg0).
arc(r_0580_0011__fall_r_0580_0012__away,r_0580_0014__them,r_0580_0013__behind__nim).
arc(z_0580_5001,r_0580_0002__stood,scope).
arc(z_0580_5001,r_0580_0008__watching,restriction).

fof(formula,axiom,
    ? [R_0580_0001__NASHA,R_0580_0004__THE_R_0580_0005__CONTROL_R_0580_0006__ROOM,R_0580_0002__STOOD,R_0580_0009__THE_R_0580_0010__PLANET,R_0580_0014__THEM,R_0580_0011__FALL_R_0580_0012__AWAY,R_0580_0008__WATCHING,Z_0580_5001] :
      ( r_0580_0001__Nasha(R_0580_0001__NASHA)
      & r_0580_0004__the_r_0580_0005__control_r_0580_0006__room(R_0580_0004__THE_R_0580_0005__CONTROL_R_0580_0006__ROOM)
      & r_0580_0009__the_r_0580_0010__planet(R_0580_0009__THE_R_0580_0010__PLANET)
      & r_0580_0014__them(R_0580_0014__THEM)
      & z_0580_5001(Z_0580_5001)
      & has_conj1(Z_0580_5001,R_0580_0008__WATCHING)
      & r_0580_0008__watching(R_0580_0008__WATCHING)
      & has_arg1(R_0580_0008__WATCHING,R_0580_0011__FALL_R_0580_0012__AWAY)
      & r_0580_0011__fall_r_0580_0012__away(R_0580_0011__FALL_R_0580_0012__AWAY)
      & has_r_0580_0013__behind__nim(R_0580_0011__FALL_R_0580_0012__AWAY,R_0580_0014__THEM)
      & has_arg0(R_0580_0011__FALL_R_0580_0012__AWAY,R_0580_0009__THE_R_0580_0010__PLANET)
      & has_arg0(R_0580_0008__WATCHING,R_0580_0001__NASHA)
      & has_conj2(Z_0580_5001,R_0580_0002__STOOD)
      & r_0580_0002__stood(R_0580_0002__STOOD)
      & has_r_0580_0003__in__nim(R_0580_0002__STOOD,R_0580_0004__THE_R_0580_0005__CONTROL_R_0580_0006__ROOM)
      & has_arg0(R_0580_0002__STOOD,R_0580_0001__NASHA) ) ).