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_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 
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_3 <ldquo> n556_a_dick_1952_5 Let n556_a_dick_1952_8 's n556_a_dick_1952_11 get n556_a_dick_1952_14 back n556_a_dick_1952_17 to n556_a_dick_1952_20 the n556_a_dick_1952_22 ship n556_a_dick_1952_24 . n556_a_dick_1952_1 IP-IMP n556_a_dick_1952_2 PULQ n556_a_dick_1952_1->n556_a_dick_1952_2 n556_a_dick_1952_4 VB;_Cn.i_ n556_a_dick_1952_1->n556_a_dick_1952_4 n556_a_dick_1952_6 NP-OB1 n556_a_dick_1952_1->n556_a_dick_1952_6 n556_a_dick_1952_9 IP-INF-PRD n556_a_dick_1952_1->n556_a_dick_1952_9 n556_a_dick_1952_23 PUNC n556_a_dick_1952_1->n556_a_dick_1952_23 n556_a_dick_1952_2->n556_a_dick_1952_3 n556_a_dick_1952_4->n556_a_dick_1952_5 n556_a_dick_1952_7 PRO n556_a_dick_1952_6->n556_a_dick_1952_7 n556_a_dick_1952_7->n556_a_dick_1952_8 n556_a_dick_1952_10 VB;_Ip_ n556_a_dick_1952_9->n556_a_dick_1952_10 n556_a_dick_1952_12 ADVP-CLR n556_a_dick_1952_9->n556_a_dick_1952_12 n556_a_dick_1952_10->n556_a_dick_1952_11 n556_a_dick_1952_13 ADV n556_a_dick_1952_12->n556_a_dick_1952_13 n556_a_dick_1952_15 PP n556_a_dick_1952_12->n556_a_dick_1952_15 n556_a_dick_1952_13->n556_a_dick_1952_14 n556_a_dick_1952_16 P-ROLE n556_a_dick_1952_15->n556_a_dick_1952_16 n556_a_dick_1952_18 NP n556_a_dick_1952_15->n556_a_dick_1952_18 n556_a_dick_1952_16->n556_a_dick_1952_17 n556_a_dick_1952_19 D n556_a_dick_1952_18->n556_a_dick_1952_19 n556_a_dick_1952_21 N n556_a_dick_1952_18->n556_a_dick_1952_21 n556_a_dick_1952_19->n556_a_dick_1952_20 n556_a_dick_1952_21->n556_a_dick_1952_22 n556_a_dick_1952_23->n556_a_dick_1952_24 
( (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))