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_0556_0003___APOS_S,R_0556_0007__THE_R_0556_0008__SHIP,R_0556_0005__BACK,X_000_556_A_DICK_1952_9,R_0556_0004__GET,Z_000_556_A_DICK_1952_1,R_0556_0002__LET] :
      ( r_0556_0003___apos_s(R_0556_0003___APOS_S)
      & r_0556_0007__the_r_0556_0008__ship(R_0556_0007__THE_R_0556_0008__SHIP)
      & x_000_556_a_dick_1952_9(X_000_556_A_DICK_1952_9)
      & z_000_556_a_dick_1952_1(Z_000_556_A_DICK_1952_1)
      & r_0556_0002__Let(R_0556_0002__LET)
      & has_arg0(R_0556_0002__LET,Z_000_556_A_DICK_1952_1)
      & has_prd(R_0556_0002__LET,R_0556_0004__GET)
      & r_0556_0004__get(R_0556_0004__GET)
      & has_arg0(R_0556_0004__GET,X_000_556_A_DICK_1952_9)
      & has_clr12(R_0556_0004__GET,R_0556_0005__BACK)
      & r_0556_0005__back(R_0556_0005__BACK)
      & has_r_0556_0006__to(R_0556_0005__BACK,R_0556_0007__THE_R_0556_0008__SHIP)
      & has_arg1(R_0556_0002__LET,R_0556_0003___APOS_S) ) ).


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))