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_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] 
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_3 Let n542_a_dick_1952_6 's n542_a_dick_1952_11 go n542_a_dick_1952_14 back n542_a_dick_1952_17 to n542_a_dick_1952_20 the n542_a_dick_1952_22 ship n542_a_dick_1952_25 and n542_a_dick_1952_28 load n542_a_dick_1952_30 up n542_a_dick_1952_32 . n542_a_dick_1952_1 IP-IMP n542_a_dick_1952_2 VB;_Cn.i_ n542_a_dick_1952_1->n542_a_dick_1952_2 n542_a_dick_1952_4 NP-OB1 n542_a_dick_1952_1->n542_a_dick_1952_4 n542_a_dick_1952_7 IP-INF-PRD n542_a_dick_1952_1->n542_a_dick_1952_7 n542_a_dick_1952_31 PUNC n542_a_dick_1952_1->n542_a_dick_1952_31 n542_a_dick_1952_2->n542_a_dick_1952_3 n542_a_dick_1952_5 PRO n542_a_dick_1952_4->n542_a_dick_1952_5 n542_a_dick_1952_5->n542_a_dick_1952_6 n542_a_dick_1952_8 ILYR n542_a_dick_1952_7->n542_a_dick_1952_8 n542_a_dick_1952_9 ILYR n542_a_dick_1952_8->n542_a_dick_1952_9 n542_a_dick_1952_23 CONJP n542_a_dick_1952_8->n542_a_dick_1952_23 n542_a_dick_1952_10 VB;_Ip_ n542_a_dick_1952_9->n542_a_dick_1952_10 n542_a_dick_1952_12 ADVP-CLR n542_a_dick_1952_9->n542_a_dick_1952_12 n542_a_dick_1952_10->n542_a_dick_1952_11 n542_a_dick_1952_13 ADV n542_a_dick_1952_12->n542_a_dick_1952_13 n542_a_dick_1952_15 PP n542_a_dick_1952_12->n542_a_dick_1952_15 n542_a_dick_1952_13->n542_a_dick_1952_14 n542_a_dick_1952_16 P-ROLE n542_a_dick_1952_15->n542_a_dick_1952_16 n542_a_dick_1952_18 NP n542_a_dick_1952_15->n542_a_dick_1952_18 n542_a_dick_1952_16->n542_a_dick_1952_17 n542_a_dick_1952_19 D n542_a_dick_1952_18->n542_a_dick_1952_19 n542_a_dick_1952_21 N n542_a_dick_1952_18->n542_a_dick_1952_21 n542_a_dick_1952_19->n542_a_dick_1952_20 n542_a_dick_1952_21->n542_a_dick_1952_22 n542_a_dick_1952_24 CONJ n542_a_dick_1952_23->n542_a_dick_1952_24 n542_a_dick_1952_26 ILYR n542_a_dick_1952_23->n542_a_dick_1952_26 n542_a_dick_1952_24->n542_a_dick_1952_25 n542_a_dick_1952_27 VB;_phr_Vp_ n542_a_dick_1952_26->n542_a_dick_1952_27 n542_a_dick_1952_29 RP n542_a_dick_1952_26->n542_a_dick_1952_29 n542_a_dick_1952_27->n542_a_dick_1952_28 n542_a_dick_1952_29->n542_a_dick_1952_30 n542_a_dick_1952_31->n542_a_dick_1952_32 
( (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))