Context                Previous, Next                Top


556_a_dick_1952
“Let's get back to the ship.

%3 r_0556_0002__Let Let r_0556_0003___apos_s 's r_0556_0002__Let->r_0556_0003___apos_s [arg1] r_0556_0004__get get r_0556_0002__Let->r_0556_0004__get [prd] z_000_556_a_dick_1952_1 r_0556_0002__Let->z_000_556_a_dick_1952_1 [arg0] r_0556_0005__back back r_0556_0004__get->r_0556_0005__back [clr] x_000_556_a_dick_1952_9 __ r_0556_0004__get->x_000_556_a_dick_1952_9 [arg0] r_0556_0007__the_r_0556_0008__ship the ship r_0556_0005__back->r_0556_0007__the_r_0556_0008__ship to 
arc(r_0556_0002__Let, r_0556_0003___apos_s, arg1).
arc(r_0556_0002__Let, r_0556_0004__get, prd).
arc(r_0556_0002__Let, z_000_556_a_dick_1952_1, arg0).
arc(r_0556_0004__get, r_0556_0005__back, clr12).
arc(r_0556_0004__get, x_000_556_a_dick_1952_9, arg0).
arc(r_0556_0005__back, r_0556_0007__the_r_0556_0008__ship, r_0556_0006__to).


%3 r_0556_0005__back back r_0556_0007__the_r_0556_0008__ship the ship r_0556_0005__back->r_0556_0007__the_r_0556_0008__ship to r_0556_0004__get get r_0556_0004__get->r_0556_0005__back [clr] x_000_556_a_dick_1952_9 __ r_0556_0004__get->x_000_556_a_dick_1952_9 [arg0] r_0556_0002__Let Let r_0556_0002__Let->r_0556_0004__get [prd] z_000_556_a_dick_1952_1 r_0556_0002__Let->z_000_556_a_dick_1952_1 [arg0] r_0556_0003___apos_s 's r_0556_0002__Let->r_0556_0003___apos_s [arg1] 
fof(formula,axiom,
    ? [R_556_2_LET,Z_556_A_DICK_1952_1,R_556_3__APOS_S,R_556_4_GET,X_556_A_DICK_1952_9,R_556_5_BACK,R_556_7_THE_SHIP] :
      ( _apos_s(R_556_3__APOS_S)
      & the_ship(R_556_7_THE_SHIP)
      & let(R_556_2_LET,Z_556_A_DICK_1952_1,R_556_3__APOS_S,R_556_4_GET)
      & get(R_556_4_GET,X_556_A_DICK_1952_9)
      & clr12(R_556_4_GET,R_556_5_BACK)
      & back(R_556_5_BACK)
      & to(R_556_5_BACK,R_556_7_THE_SHIP) ) ).


n556_a_dick_1952 n556_a_dick_1952__1_1_1 <ldquo> n556_a_dick_1952__1_2_1 Let n556_a_dick_1952__1_3_1_1 's n556_a_dick_1952__1_4_1_1 get n556_a_dick_1952__1_4_2_1_1 back n556_a_dick_1952__1_4_2_2_1_1 to n556_a_dick_1952__1_4_2_2_2_1_1 the n556_a_dick_1952__1_4_2_2_2_2_1 ship n556_a_dick_1952__1_5_1 . n556_a_dick_1952__1 IP-IMP n556_a_dick_1952__1_1 PULQ n556_a_dick_1952__1->n556_a_dick_1952__1_1 n556_a_dick_1952__1_2 VB;_Cn.i_ n556_a_dick_1952__1->n556_a_dick_1952__1_2 n556_a_dick_1952__1_3 NP-OB1 n556_a_dick_1952__1->n556_a_dick_1952__1_3 n556_a_dick_1952__1_4 IP-INF-PRD n556_a_dick_1952__1->n556_a_dick_1952__1_4 n556_a_dick_1952__1_5 PUNC n556_a_dick_1952__1->n556_a_dick_1952__1_5 n556_a_dick_1952__1_1->n556_a_dick_1952__1_1_1 n556_a_dick_1952__1_2->n556_a_dick_1952__1_2_1 n556_a_dick_1952__1_3_1 PRO n556_a_dick_1952__1_3->n556_a_dick_1952__1_3_1 n556_a_dick_1952__1_3_1->n556_a_dick_1952__1_3_1_1 n556_a_dick_1952__1_4_1 VB;_Ip_ n556_a_dick_1952__1_4->n556_a_dick_1952__1_4_1 n556_a_dick_1952__1_4_2 ADVP-CLR n556_a_dick_1952__1_4->n556_a_dick_1952__1_4_2 n556_a_dick_1952__1_4_1->n556_a_dick_1952__1_4_1_1 n556_a_dick_1952__1_4_2_1 ADV n556_a_dick_1952__1_4_2->n556_a_dick_1952__1_4_2_1 n556_a_dick_1952__1_4_2_2 PP n556_a_dick_1952__1_4_2->n556_a_dick_1952__1_4_2_2 n556_a_dick_1952__1_4_2_1->n556_a_dick_1952__1_4_2_1_1 n556_a_dick_1952__1_4_2_2_1 P-ROLE n556_a_dick_1952__1_4_2_2->n556_a_dick_1952__1_4_2_2_1 n556_a_dick_1952__1_4_2_2_2 NP n556_a_dick_1952__1_4_2_2->n556_a_dick_1952__1_4_2_2_2 n556_a_dick_1952__1_4_2_2_1->n556_a_dick_1952__1_4_2_2_1_1 n556_a_dick_1952__1_4_2_2_2_1 D n556_a_dick_1952__1_4_2_2_2->n556_a_dick_1952__1_4_2_2_2_1 n556_a_dick_1952__1_4_2_2_2_2 N n556_a_dick_1952__1_4_2_2_2->n556_a_dick_1952__1_4_2_2_2_2 n556_a_dick_1952__1_4_2_2_2_1->n556_a_dick_1952__1_4_2_2_2_1_1 n556_a_dick_1952__1_4_2_2_2_2->n556_a_dick_1952__1_4_2_2_2_2_1 n556_a_dick_1952__1_5->n556_a_dick_1952__1_5_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE_NASHA_TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ get;{get[back]})
                      (ADVP-CLR (ADV back;{back})
                                (PP (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (N ship;{ship})))))
          (PUNC .))
  (ID 556_a_dick_1952))