Context                Previous, Next                Top


542_a_dick_1952
Let's go back to the ship and load up.

%3 r_0542_0001__Let Let r_0542_0002___apos_s 's r_0542_0001__Let->r_0542_0002___apos_s [arg1] r_0542_0008__and and r_0542_0001__Let->r_0542_0008__and [prd] z_000_542_a_dick_1952_1 r_0542_0001__Let->z_000_542_a_dick_1952_1 [arg0] r_0542_0003__go go r_0542_0008__and->r_0542_0003__go [conj1] r_0542_0009__load_r_0542_0010__up load up r_0542_0008__and->r_0542_0009__load_r_0542_0010__up [conj2] r_0542_0004__back back r_0542_0003__go->r_0542_0004__back [clr] x_000_542_a_dick_1952_7 __ r_0542_0003__go->x_000_542_a_dick_1952_7 [arg0] r_0542_0006__the_r_0542_0007__ship the ship r_0542_0004__back->r_0542_0006__the_r_0542_0007__ship to r_0542_0009__load_r_0542_0010__up->x_000_542_a_dick_1952_7 [arg0] 
arc(r_0542_0001__Let, r_0542_0002___apos_s, arg1).
arc(r_0542_0001__Let, r_0542_0008__and, prd).
arc(r_0542_0001__Let, z_000_542_a_dick_1952_1, arg0).
arc(r_0542_0003__go, r_0542_0004__back, clr12).
arc(r_0542_0003__go, x_000_542_a_dick_1952_7, arg0).
arc(r_0542_0004__back, r_0542_0006__the_r_0542_0007__ship, r_0542_0005__to).
arc(r_0542_0008__and, r_0542_0003__go, conj1).
arc(r_0542_0008__and, r_0542_0009__load_r_0542_0010__up, conj2).
arc(r_0542_0009__load_r_0542_0010__up, x_000_542_a_dick_1952_7, arg0).


%3 r_0542_0009__load_r_0542_0010__up load up x_000_542_a_dick_1952_7 __ r_0542_0009__load_r_0542_0010__up->x_000_542_a_dick_1952_7 [arg0] r_0542_0008__and and r_0542_0008__and->r_0542_0009__load_r_0542_0010__up [conj2] r_0542_0003__go go r_0542_0008__and->r_0542_0003__go [conj1] r_0542_0003__go->x_000_542_a_dick_1952_7 [arg0] r_0542_0004__back back r_0542_0003__go->r_0542_0004__back [clr] r_0542_0006__the_r_0542_0007__ship the ship r_0542_0004__back->r_0542_0006__the_r_0542_0007__ship to r_0542_0001__Let Let r_0542_0001__Let->r_0542_0008__and [prd] z_000_542_a_dick_1952_1 r_0542_0001__Let->z_000_542_a_dick_1952_1 [arg0] r_0542_0002___apos_s 's r_0542_0001__Let->r_0542_0002___apos_s [arg1] 
fof(formula,axiom,
    ? [R_542_1_LET,Z_542_A_DICK_1952_1,R_542_2__APOS_S,R_542_8_AND,R_542_3_GO,R_542_4_BACK,R_542_6_THE_SHIP,R_542_9_LOAD_UP,X_542_A_DICK_1952_7] :
      ( _apos_s(R_542_2__APOS_S)
      & the_ship(R_542_6_THE_SHIP)
      & let(R_542_1_LET,Z_542_A_DICK_1952_1,R_542_2__APOS_S,R_542_8_AND)
      & and(R_542_8_AND)
      & conj1(R_542_8_AND,R_542_3_GO)
      & go(R_542_3_GO,X_542_A_DICK_1952_7)
      & clr12(R_542_3_GO,R_542_4_BACK)
      & back(R_542_4_BACK)
      & to(R_542_4_BACK,R_542_6_THE_SHIP)
      & conj2(R_542_8_AND,R_542_9_LOAD_UP)
      & load_up(R_542_9_LOAD_UP,X_542_A_DICK_1952_7) ) ).


n542_a_dick_1952 n542_a_dick_1952__1_1_1 Let n542_a_dick_1952__1_2_1_1 's n542_a_dick_1952__1_3_1_1_1_1 go n542_a_dick_1952__1_3_1_1_2_1_1 back n542_a_dick_1952__1_3_1_1_2_2_1_1 to n542_a_dick_1952__1_3_1_1_2_2_2_1_1 the n542_a_dick_1952__1_3_1_1_2_2_2_2_1 ship n542_a_dick_1952__1_3_1_2_1_1 and n542_a_dick_1952__1_3_1_2_2_1_1 load n542_a_dick_1952__1_3_1_2_2_2_1 up n542_a_dick_1952__1_4_1 . n542_a_dick_1952__1 IP-IMP n542_a_dick_1952__1_1 VB;_Cn.i_ n542_a_dick_1952__1->n542_a_dick_1952__1_1 n542_a_dick_1952__1_2 NP-OB1 n542_a_dick_1952__1->n542_a_dick_1952__1_2 n542_a_dick_1952__1_3 IP-INF-PRD n542_a_dick_1952__1->n542_a_dick_1952__1_3 n542_a_dick_1952__1_4 PUNC n542_a_dick_1952__1->n542_a_dick_1952__1_4 n542_a_dick_1952__1_1->n542_a_dick_1952__1_1_1 n542_a_dick_1952__1_2_1 PRO n542_a_dick_1952__1_2->n542_a_dick_1952__1_2_1 n542_a_dick_1952__1_2_1->n542_a_dick_1952__1_2_1_1 n542_a_dick_1952__1_3_1 ILYR n542_a_dick_1952__1_3->n542_a_dick_1952__1_3_1 n542_a_dick_1952__1_3_1_1 ILYR n542_a_dick_1952__1_3_1->n542_a_dick_1952__1_3_1_1 n542_a_dick_1952__1_3_1_2 CONJP n542_a_dick_1952__1_3_1->n542_a_dick_1952__1_3_1_2 n542_a_dick_1952__1_3_1_1_1 VB;_Ip_ n542_a_dick_1952__1_3_1_1->n542_a_dick_1952__1_3_1_1_1 n542_a_dick_1952__1_3_1_1_2 ADVP-CLR n542_a_dick_1952__1_3_1_1->n542_a_dick_1952__1_3_1_1_2 n542_a_dick_1952__1_3_1_1_1->n542_a_dick_1952__1_3_1_1_1_1 n542_a_dick_1952__1_3_1_1_2_1 ADV n542_a_dick_1952__1_3_1_1_2->n542_a_dick_1952__1_3_1_1_2_1 n542_a_dick_1952__1_3_1_1_2_2 PP n542_a_dick_1952__1_3_1_1_2->n542_a_dick_1952__1_3_1_1_2_2 n542_a_dick_1952__1_3_1_1_2_1->n542_a_dick_1952__1_3_1_1_2_1_1 n542_a_dick_1952__1_3_1_1_2_2_1 P-ROLE n542_a_dick_1952__1_3_1_1_2_2->n542_a_dick_1952__1_3_1_1_2_2_1 n542_a_dick_1952__1_3_1_1_2_2_2 NP n542_a_dick_1952__1_3_1_1_2_2->n542_a_dick_1952__1_3_1_1_2_2_2 n542_a_dick_1952__1_3_1_1_2_2_1->n542_a_dick_1952__1_3_1_1_2_2_1_1 n542_a_dick_1952__1_3_1_1_2_2_2_1 D n542_a_dick_1952__1_3_1_1_2_2_2->n542_a_dick_1952__1_3_1_1_2_2_2_1 n542_a_dick_1952__1_3_1_1_2_2_2_2 N n542_a_dick_1952__1_3_1_1_2_2_2->n542_a_dick_1952__1_3_1_1_2_2_2_2 n542_a_dick_1952__1_3_1_1_2_2_2_1->n542_a_dick_1952__1_3_1_1_2_2_2_1_1 n542_a_dick_1952__1_3_1_1_2_2_2_2->n542_a_dick_1952__1_3_1_1_2_2_2_2_1 n542_a_dick_1952__1_3_1_2_1 CONJ n542_a_dick_1952__1_3_1_2->n542_a_dick_1952__1_3_1_2_1 n542_a_dick_1952__1_3_1_2_2 ILYR n542_a_dick_1952__1_3_1_2->n542_a_dick_1952__1_3_1_2_2 n542_a_dick_1952__1_3_1_2_1->n542_a_dick_1952__1_3_1_2_1_1 n542_a_dick_1952__1_3_1_2_2_1 VB;_phr_Vp_ n542_a_dick_1952__1_3_1_2_2->n542_a_dick_1952__1_3_1_2_2_1 n542_a_dick_1952__1_3_1_2_2_2 RP n542_a_dick_1952__1_3_1_2_2->n542_a_dick_1952__1_3_1_2_2_2 n542_a_dick_1952__1_3_1_2_2_1->n542_a_dick_1952__1_3_1_2_2_1_1 n542_a_dick_1952__1_3_1_2_2_2->n542_a_dick_1952__1_3_1_2_2_2_1 n542_a_dick_1952__1_4->n542_a_dick_1952__1_4_1 
( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE_NASHA_TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (ILYR (ILYR (VB;_Ip_ go;{go[back]})
                                  (ADVP-CLR (ADV back;{back})
                                            (PP (P-ROLE to;{to})
                                                (NP (D the;{the})
                                                    (N ship;{ship})))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_phr_Vp_ load;{load[up]})
                                         (RP up;{up})))))
          (PUNC .))
  (ID 542_a_dick_1952))