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

%3 r_0046_0003__slid slid r_0046_0001__The_r_0046_0002__Captain The Captain r_0046_0003__slid->r_0046_0001__The_r_0046_0002__Captain [arg0] r_0046_0004__back back r_0046_0003__slid->r_0046_0004__back [clr] r_0046_0005__the_r_0046_0006__port_r_0046_0007__window the port window r_0046_0003__slid->r_0046_0005__the_r_0046_0006__port_r_0046_0007__window [arg1] r_0046_0008__so_that so that r_0046_0008__so_that->r_0046_0003__slid [scope] r_0046_0016__was was r_0046_0008__so_that->r_0046_0016__was [restriction] r_0046_0009__the_r_0046_0010__surface the surface r_0046_0016__was->r_0046_0009__the_r_0046_0010__surface [arg0] r_0046_0017__visible visible r_0046_0016__was->r_0046_0017__visible [prd] r_0046_0012__the_r_0046_0013__planet the planet r_0046_0009__the_r_0046_0010__surface->r_0046_0012__the_r_0046_0013__planet of r_0046_0015__them them r_0046_0012__the_r_0046_0013__planet->r_0046_0015__them under
arc(r_0046_0003__slid, r_0046_0001__The_r_0046_0002__Captain, arg0).
arc(r_0046_0003__slid, r_0046_0004__back, clr9).
arc(r_0046_0003__slid, r_0046_0005__the_r_0046_0006__port_r_0046_0007__window, arg1).
arc(r_0046_0008__so_that, r_0046_0003__slid, 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).



%3 r_0046_0003__slid slid r_0046_0001__The_r_0046_0002__Captain The Captain r_0046_0003__slid->r_0046_0001__The_r_0046_0002__Captain [arg0] r_0046_0004__back back r_0046_0003__slid->r_0046_0004__back [clr] r_0046_0005__the_r_0046_0006__port_r_0046_0007__window the port window r_0046_0003__slid->r_0046_0005__the_r_0046_0006__port_r_0046_0007__window [arg1] r_0046_0008__so_that so that r_0046_0008__so_that->r_0046_0003__slid [conj2] r_0046_0016__was was r_0046_0008__so_that->r_0046_0016__was [conj1] r_0046_0009__the_r_0046_0010__surface the surface r_0046_0016__was->r_0046_0009__the_r_0046_0010__surface [arg0] r_0046_0017__visible visible r_0046_0016__was->r_0046_0017__visible [prd] r_0046_0012__the_r_0046_0013__planet the planet r_0046_0009__the_r_0046_0010__surface->r_0046_0012__the_r_0046_0013__planet of r_0046_0015__them them r_0046_0012__the_r_0046_0013__planet->r_0046_0015__them under
fof(formula,axiom,
    ? [R_46_8_SO_THAT,R_46_16_WAS,R_46_9_THE_SURFACE,R_46_12_THE_PLANET,R_46_15_THEM,R_46_17_VISIBLE,R_46_3_SLID,R_46_1_THE_CAPTAIN,R_46_5_THE_PORT_WINDOW,R_46_4_BACK] :
      ( them(R_46_15_THEM)
      & visible(R_46_17_VISIBLE)
      & the_Captain(R_46_1_THE_CAPTAIN)
      & the_port_window(R_46_5_THE_PORT_WINDOW)
      & back(R_46_4_BACK)
      & so_that(R_46_8_SO_THAT)
      & conj1(R_46_8_SO_THAT,R_46_16_WAS)
      & was(R_46_16_WAS,R_46_9_THE_SURFACE,R_46_17_VISIBLE)
      & the_surface(R_46_9_THE_SURFACE)
      & of(R_46_9_THE_SURFACE,R_46_12_THE_PLANET)
      & the_planet(R_46_12_THE_PLANET)
      & under(R_46_12_THE_PLANET,R_46_15_THEM)
      & conj2(R_46_8_SO_THAT,R_46_3_SLID)
      & slid(R_46_3_SLID,R_46_1_THE_CAPTAIN,R_46_5_THE_PORT_WINDOW)
      & clr9(R_46_3_SLID,R_46_4_BACK) ) ).



n46_a_dick_1952 n46_a_dick_1952_4 The n46_a_dick_1952_6 Captain n46_a_dick_1952_8 slid n46_a_dick_1952_11 back n46_a_dick_1952_14 the n46_a_dick_1952_16 port n46_a_dick_1952_18 window n46_a_dick_1952_21 so_that n46_a_dick_1952_25 the n46_a_dick_1952_27 surface n46_a_dick_1952_30 of n46_a_dick_1952_33 the n46_a_dick_1952_35 planet n46_a_dick_1952_38 under n46_a_dick_1952_41 them n46_a_dick_1952_43 was n46_a_dick_1952_46 visible n46_a_dick_1952_48 . n46_a_dick_1952_1 IP-MAT n46_a_dick_1952_2 NP-SBJ n46_a_dick_1952_1->n46_a_dick_1952_2 n46_a_dick_1952_7 VBD;_phr_Vn<=>p_ n46_a_dick_1952_1->n46_a_dick_1952_7 n46_a_dick_1952_9 ADVP-CLR n46_a_dick_1952_1->n46_a_dick_1952_9 n46_a_dick_1952_12 NP-OB1 n46_a_dick_1952_1->n46_a_dick_1952_12 n46_a_dick_1952_19 PP-SCON n46_a_dick_1952_1->n46_a_dick_1952_19 n46_a_dick_1952_47 PUNC n46_a_dick_1952_1->n46_a_dick_1952_47 n46_a_dick_1952_3 D n46_a_dick_1952_2->n46_a_dick_1952_3 n46_a_dick_1952_5 N n46_a_dick_1952_2->n46_a_dick_1952_5 n46_a_dick_1952_3->n46_a_dick_1952_4 n46_a_dick_1952_5->n46_a_dick_1952_6 n46_a_dick_1952_7->n46_a_dick_1952_8 n46_a_dick_1952_10 RP n46_a_dick_1952_9->n46_a_dick_1952_10 n46_a_dick_1952_10->n46_a_dick_1952_11 n46_a_dick_1952_13 D n46_a_dick_1952_12->n46_a_dick_1952_13 n46_a_dick_1952_15 N n46_a_dick_1952_12->n46_a_dick_1952_15 n46_a_dick_1952_17 N n46_a_dick_1952_12->n46_a_dick_1952_17 n46_a_dick_1952_13->n46_a_dick_1952_14 n46_a_dick_1952_15->n46_a_dick_1952_16 n46_a_dick_1952_17->n46_a_dick_1952_18 n46_a_dick_1952_20 P-CONN n46_a_dick_1952_19->n46_a_dick_1952_20 n46_a_dick_1952_22 IP-ADV n46_a_dick_1952_19->n46_a_dick_1952_22 n46_a_dick_1952_20->n46_a_dick_1952_21 n46_a_dick_1952_23 NP-SBJ n46_a_dick_1952_22->n46_a_dick_1952_23 n46_a_dick_1952_42 BED;_La_ n46_a_dick_1952_22->n46_a_dick_1952_42 n46_a_dick_1952_44 ADJP-PRD n46_a_dick_1952_22->n46_a_dick_1952_44 n46_a_dick_1952_24 D n46_a_dick_1952_23->n46_a_dick_1952_24 n46_a_dick_1952_26 N n46_a_dick_1952_23->n46_a_dick_1952_26 n46_a_dick_1952_28 PP n46_a_dick_1952_23->n46_a_dick_1952_28 n46_a_dick_1952_24->n46_a_dick_1952_25 n46_a_dick_1952_26->n46_a_dick_1952_27 n46_a_dick_1952_29 P-ROLE n46_a_dick_1952_28->n46_a_dick_1952_29 n46_a_dick_1952_31 NP n46_a_dick_1952_28->n46_a_dick_1952_31 n46_a_dick_1952_29->n46_a_dick_1952_30 n46_a_dick_1952_32 D n46_a_dick_1952_31->n46_a_dick_1952_32 n46_a_dick_1952_34 N n46_a_dick_1952_31->n46_a_dick_1952_34 n46_a_dick_1952_36 PP n46_a_dick_1952_31->n46_a_dick_1952_36 n46_a_dick_1952_32->n46_a_dick_1952_33 n46_a_dick_1952_34->n46_a_dick_1952_35 n46_a_dick_1952_37 P-ROLE n46_a_dick_1952_36->n46_a_dick_1952_37 n46_a_dick_1952_39 NP n46_a_dick_1952_36->n46_a_dick_1952_39 n46_a_dick_1952_37->n46_a_dick_1952_38 n46_a_dick_1952_40 PRO n46_a_dick_1952_39->n46_a_dick_1952_40 n46_a_dick_1952_40->n46_a_dick_1952_41 n46_a_dick_1952_42->n46_a_dick_1952_43 n46_a_dick_1952_45 ADJ n46_a_dick_1952_44->n46_a_dick_1952_45 n46_a_dick_1952_45->n46_a_dick_1952_46 n46_a_dick_1952_47->n46_a_dick_1952_48
( (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))