Context                Previous, Next                Top


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_0016__was was r_0046_0017__visible visible r_0046_0016__was->r_0046_0017__visible [prd] 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_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 r_0046_0008__so_that so that r_0046_0008__so_that->r_0046_0016__was [conj1] r_0046_0003__slid slid r_0046_0008__so_that->r_0046_0003__slid [conj2] 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_0004__back back r_0046_0003__slid->r_0046_0004__back [clr] r_0046_0001__The_r_0046_0002__Captain The Captain r_0046_0003__slid->r_0046_0001__The_r_0046_0002__Captain [arg0] 
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__1_1_1_1 The n46_a_dick_1952__1_1_2_1 Captain n46_a_dick_1952__1_2_1 slid n46_a_dick_1952__1_3_1_1 back n46_a_dick_1952__1_4_1_1 the n46_a_dick_1952__1_4_2_1 port n46_a_dick_1952__1_4_3_1 window n46_a_dick_1952__1_5_1_1 so_that n46_a_dick_1952__1_5_2_1_1_1 the n46_a_dick_1952__1_5_2_1_2_1 surface n46_a_dick_1952__1_5_2_1_3_1_1 of n46_a_dick_1952__1_5_2_1_3_2_1_1 the n46_a_dick_1952__1_5_2_1_3_2_2_1 planet n46_a_dick_1952__1_5_2_1_3_2_3_1_1 under n46_a_dick_1952__1_5_2_1_3_2_3_2_1_1 them n46_a_dick_1952__1_5_2_2_1 was n46_a_dick_1952__1_5_2_3_1_1 visible n46_a_dick_1952__1_6_1 . n46_a_dick_1952__1 IP-MAT n46_a_dick_1952__1_1 NP-SBJ n46_a_dick_1952__1->n46_a_dick_1952__1_1 n46_a_dick_1952__1_2 VBD;_phr_Vn<=>p_ n46_a_dick_1952__1->n46_a_dick_1952__1_2 n46_a_dick_1952__1_3 ADVP-CLR n46_a_dick_1952__1->n46_a_dick_1952__1_3 n46_a_dick_1952__1_4 NP-OB1 n46_a_dick_1952__1->n46_a_dick_1952__1_4 n46_a_dick_1952__1_5 PP-SCON n46_a_dick_1952__1->n46_a_dick_1952__1_5 n46_a_dick_1952__1_6 PUNC n46_a_dick_1952__1->n46_a_dick_1952__1_6 n46_a_dick_1952__1_1_1 D n46_a_dick_1952__1_1->n46_a_dick_1952__1_1_1 n46_a_dick_1952__1_1_2 N n46_a_dick_1952__1_1->n46_a_dick_1952__1_1_2 n46_a_dick_1952__1_1_1->n46_a_dick_1952__1_1_1_1 n46_a_dick_1952__1_1_2->n46_a_dick_1952__1_1_2_1 n46_a_dick_1952__1_2->n46_a_dick_1952__1_2_1 n46_a_dick_1952__1_3_1 RP n46_a_dick_1952__1_3->n46_a_dick_1952__1_3_1 n46_a_dick_1952__1_3_1->n46_a_dick_1952__1_3_1_1 n46_a_dick_1952__1_4_1 D n46_a_dick_1952__1_4->n46_a_dick_1952__1_4_1 n46_a_dick_1952__1_4_2 N n46_a_dick_1952__1_4->n46_a_dick_1952__1_4_2 n46_a_dick_1952__1_4_3 N n46_a_dick_1952__1_4->n46_a_dick_1952__1_4_3 n46_a_dick_1952__1_4_1->n46_a_dick_1952__1_4_1_1 n46_a_dick_1952__1_4_2->n46_a_dick_1952__1_4_2_1 n46_a_dick_1952__1_4_3->n46_a_dick_1952__1_4_3_1 n46_a_dick_1952__1_5_1 P-CONN n46_a_dick_1952__1_5->n46_a_dick_1952__1_5_1 n46_a_dick_1952__1_5_2 IP-ADV n46_a_dick_1952__1_5->n46_a_dick_1952__1_5_2 n46_a_dick_1952__1_5_1->n46_a_dick_1952__1_5_1_1 n46_a_dick_1952__1_5_2_1 NP-SBJ n46_a_dick_1952__1_5_2->n46_a_dick_1952__1_5_2_1 n46_a_dick_1952__1_5_2_2 BED;_La_ n46_a_dick_1952__1_5_2->n46_a_dick_1952__1_5_2_2 n46_a_dick_1952__1_5_2_3 ADJP-PRD n46_a_dick_1952__1_5_2->n46_a_dick_1952__1_5_2_3 n46_a_dick_1952__1_5_2_1_1 D n46_a_dick_1952__1_5_2_1->n46_a_dick_1952__1_5_2_1_1 n46_a_dick_1952__1_5_2_1_2 N n46_a_dick_1952__1_5_2_1->n46_a_dick_1952__1_5_2_1_2 n46_a_dick_1952__1_5_2_1_3 PP n46_a_dick_1952__1_5_2_1->n46_a_dick_1952__1_5_2_1_3 n46_a_dick_1952__1_5_2_1_1->n46_a_dick_1952__1_5_2_1_1_1 n46_a_dick_1952__1_5_2_1_2->n46_a_dick_1952__1_5_2_1_2_1 n46_a_dick_1952__1_5_2_1_3_1 P-ROLE n46_a_dick_1952__1_5_2_1_3->n46_a_dick_1952__1_5_2_1_3_1 n46_a_dick_1952__1_5_2_1_3_2 NP n46_a_dick_1952__1_5_2_1_3->n46_a_dick_1952__1_5_2_1_3_2 n46_a_dick_1952__1_5_2_1_3_1->n46_a_dick_1952__1_5_2_1_3_1_1 n46_a_dick_1952__1_5_2_1_3_2_1 D n46_a_dick_1952__1_5_2_1_3_2->n46_a_dick_1952__1_5_2_1_3_2_1 n46_a_dick_1952__1_5_2_1_3_2_2 N n46_a_dick_1952__1_5_2_1_3_2->n46_a_dick_1952__1_5_2_1_3_2_2 n46_a_dick_1952__1_5_2_1_3_2_3 PP n46_a_dick_1952__1_5_2_1_3_2->n46_a_dick_1952__1_5_2_1_3_2_3 n46_a_dick_1952__1_5_2_1_3_2_1->n46_a_dick_1952__1_5_2_1_3_2_1_1 n46_a_dick_1952__1_5_2_1_3_2_2->n46_a_dick_1952__1_5_2_1_3_2_2_1 n46_a_dick_1952__1_5_2_1_3_2_3_1 P-ROLE n46_a_dick_1952__1_5_2_1_3_2_3->n46_a_dick_1952__1_5_2_1_3_2_3_1 n46_a_dick_1952__1_5_2_1_3_2_3_2 NP n46_a_dick_1952__1_5_2_1_3_2_3->n46_a_dick_1952__1_5_2_1_3_2_3_2 n46_a_dick_1952__1_5_2_1_3_2_3_1->n46_a_dick_1952__1_5_2_1_3_2_3_1_1 n46_a_dick_1952__1_5_2_1_3_2_3_2_1 PRO n46_a_dick_1952__1_5_2_1_3_2_3_2->n46_a_dick_1952__1_5_2_1_3_2_3_2_1 n46_a_dick_1952__1_5_2_1_3_2_3_2_1->n46_a_dick_1952__1_5_2_1_3_2_3_2_1_1 n46_a_dick_1952__1_5_2_2->n46_a_dick_1952__1_5_2_2_1 n46_a_dick_1952__1_5_2_3_1 ADJ n46_a_dick_1952__1_5_2_3->n46_a_dick_1952__1_5_2_3_1 n46_a_dick_1952__1_5_2_3_1->n46_a_dick_1952__1_5_2_3_1_1 n46_a_dick_1952__1_6->n46_a_dick_1952__1_6_1 
( (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))