TSPC 46_a_dick

46_a_dick_1952
The Captain slid back the port window so that the surface of the planet under them was visible.

( (IP-MAT (NP-SBJ;{CAPTAIN} (D The;{the})
                            (N Captain;{captain}))
          (VBD;_phr_Vn<=>p_ slid;{slide[back]})
          (ADVP-CLR (RP back;{back}))
          (NP-OB1 (D the;{the})
                  (N port;{port})
                  (N window;{window}))
          (PP-SCON (P-CONN so_that;{so_that})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N surface;{surface})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (N planet;{planet})
                                           (PP (P-ROLE under;{under})
                                               (NP;{TRESPASSERS} (PRO them;{they}))))))
                           (BED;_La_ was;{be})
                           (ADJP-PRD (ADJ visible;{visible}))))
          (PUNC .))
  (ID 46_a_dick_1952))

arc(r_0046_0003__slid_r_0046_0004__back,r_0046_0001__The_r_0046_0002__Captain,arg0).
arc(r_0046_0003__slid_r_0046_0004__back,r_0046_0005__the_r_0046_0006__port_r_0046_0007__window,arg1).
arc(r_0046_0008__so_that,r_0046_0003__slid_r_0046_0004__back,scope).
arc(r_0046_0008__so_that,r_0046_0016__was,restriction).
arc(r_0046_0009__the_r_0046_0010__surface,r_0046_0012__the_r_0046_0013__planet,r_0046_0011__of).
arc(r_0046_0012__the_r_0046_0013__planet,r_0046_0015__them,r_0046_0014__under).
arc(r_0046_0016__was,r_0046_0009__the_r_0046_0010__surface,arg0).
arc(r_0046_0016__was,r_0046_0017__visible,prd).

fof(formula,axiom,
    ? [R_0046_0001__THE_R_0046_0002__CAPTAIN,R_0046_0005__THE_R_0046_0006__PORT_R_0046_0007__WINDOW,R_0046_0003__SLID_R_0046_0004__BACK,R_0046_0015__THEM,R_0046_0012__THE_R_0046_0013__PLANET,R_0046_0009__THE_R_0046_0010__SURFACE,R_0046_0017__VISIBLE,R_0046_0016__WAS,R_0046_0008__SO_THAT] :
      ( r_0046_0001__The_r_0046_0002__Captain(R_0046_0001__THE_R_0046_0002__CAPTAIN)
      & r_0046_0005__the_r_0046_0006__port_r_0046_0007__window(R_0046_0005__THE_R_0046_0006__PORT_R_0046_0007__WINDOW)
      & r_0046_0015__them(R_0046_0015__THEM)
      & r_0046_0017__visible(R_0046_0017__VISIBLE)
      & r_0046_0008__so_that(R_0046_0008__SO_THAT)
      & has_conj1(R_0046_0008__SO_THAT,R_0046_0016__WAS)
      & r_0046_0016__was(R_0046_0016__WAS)
      & has_prd(R_0046_0016__WAS,R_0046_0017__VISIBLE)
      & has_arg0(R_0046_0016__WAS,R_0046_0009__THE_R_0046_0010__SURFACE)
      & r_0046_0009__the_r_0046_0010__surface(R_0046_0009__THE_R_0046_0010__SURFACE)
      & has_r_0046_0011__of(R_0046_0009__THE_R_0046_0010__SURFACE,R_0046_0012__THE_R_0046_0013__PLANET)
      & r_0046_0012__the_r_0046_0013__planet(R_0046_0012__THE_R_0046_0013__PLANET)
      & has_r_0046_0014__under(R_0046_0012__THE_R_0046_0013__PLANET,R_0046_0015__THEM)
      & has_conj2(R_0046_0008__SO_THAT,R_0046_0003__SLID_R_0046_0004__BACK)
      & r_0046_0003__slid_r_0046_0004__back(R_0046_0003__SLID_R_0046_0004__BACK)
      & has_arg1(R_0046_0003__SLID_R_0046_0004__BACK,R_0046_0005__THE_R_0046_0006__PORT_R_0046_0007__WINDOW)
      & has_arg0(R_0046_0003__SLID_R_0046_0004__BACK,R_0046_0001__THE_R_0046_0002__CAPTAIN) ) ).