Context                Previous, Next                Top


612_a_dick_1952
“Let's go back home.”

%3 r_0612_0002__Let Let r_0612_0003___apos_s 's r_0612_0002__Let->r_0612_0003___apos_s [arg1] r_0612_0004__go go r_0612_0002__Let->r_0612_0004__go [prd] z_000_612_a_dick_1952_1 r_0612_0002__Let->z_000_612_a_dick_1952_1 [arg0] r_0612_0006__home home r_0612_0004__go->r_0612_0006__home [clr] x_000_612_a_dick_1952_9 __ r_0612_0004__go->x_000_612_a_dick_1952_9 [arg0] r_0612_0005__back back r_0612_0006__home->r_0612_0005__back [qual] 
arc(r_0612_0002__Let, r_0612_0003___apos_s, arg1).
arc(r_0612_0002__Let, r_0612_0004__go, prd).
arc(r_0612_0002__Let, z_000_612_a_dick_1952_1, arg0).
arc(r_0612_0004__go, r_0612_0006__home, clr12).
arc(r_0612_0004__go, x_000_612_a_dick_1952_9, arg0).
arc(r_0612_0006__home, r_0612_0005__back, qual13).


%3 r_0612_0002__Let Let r_0612_0003___apos_s 's r_0612_0002__Let->r_0612_0003___apos_s [arg1] r_0612_0004__go go r_0612_0002__Let->r_0612_0004__go [prd] z_000_612_a_dick_1952_1 r_0612_0002__Let->z_000_612_a_dick_1952_1 [arg0] r_0612_0006__home home r_0612_0004__go->r_0612_0006__home [clr] x_000_612_a_dick_1952_9 __ r_0612_0004__go->x_000_612_a_dick_1952_9 [arg0] r_0612_0005__back back r_0612_0006__home->r_0612_0005__back [qual] 
fof(formula,axiom,
    ? [R_612_2_LET,Z_612_A_DICK_1952_1,R_612_3__APOS_S,R_612_4_GO,X_612_A_DICK_1952_9,R_612_6_HOME,R_612_5_BACK] :
      ( _apos_s(R_612_3__APOS_S)
      & back(R_612_5_BACK)
      & let(R_612_2_LET,Z_612_A_DICK_1952_1,R_612_3__APOS_S,R_612_4_GO)
      & go(R_612_4_GO,X_612_A_DICK_1952_9)
      & clr12(R_612_4_GO,R_612_6_HOME)
      & home(R_612_6_HOME)
      & qual13(R_612_6_HOME,R_612_5_BACK) ) ).


n612_a_dick_1952 n612_a_dick_1952_3 <ldquo> n612_a_dick_1952_5 Let n612_a_dick_1952_8 's n612_a_dick_1952_11 go n612_a_dick_1952_15 back n612_a_dick_1952_17 home n612_a_dick_1952_19 . n612_a_dick_1952_21 <rdquo> n612_a_dick_1952_1 IP-IMP n612_a_dick_1952_2 PULQ n612_a_dick_1952_1->n612_a_dick_1952_2 n612_a_dick_1952_4 VB;_Cn.i_ n612_a_dick_1952_1->n612_a_dick_1952_4 n612_a_dick_1952_6 NP-OB1 n612_a_dick_1952_1->n612_a_dick_1952_6 n612_a_dick_1952_9 IP-INF-PRD n612_a_dick_1952_1->n612_a_dick_1952_9 n612_a_dick_1952_18 PUNC n612_a_dick_1952_1->n612_a_dick_1952_18 n612_a_dick_1952_20 PURQ n612_a_dick_1952_1->n612_a_dick_1952_20 n612_a_dick_1952_2->n612_a_dick_1952_3 n612_a_dick_1952_4->n612_a_dick_1952_5 n612_a_dick_1952_7 PRO n612_a_dick_1952_6->n612_a_dick_1952_7 n612_a_dick_1952_7->n612_a_dick_1952_8 n612_a_dick_1952_10 VB;_Ip_ n612_a_dick_1952_9->n612_a_dick_1952_10 n612_a_dick_1952_12 ADVP-CLR n612_a_dick_1952_9->n612_a_dick_1952_12 n612_a_dick_1952_10->n612_a_dick_1952_11 n612_a_dick_1952_13 ADVP n612_a_dick_1952_12->n612_a_dick_1952_13 n612_a_dick_1952_16 ADV n612_a_dick_1952_12->n612_a_dick_1952_16 n612_a_dick_1952_14 RP n612_a_dick_1952_13->n612_a_dick_1952_14 n612_a_dick_1952_14->n612_a_dick_1952_15 n612_a_dick_1952_16->n612_a_dick_1952_17 n612_a_dick_1952_18->n612_a_dick_1952_19 n612_a_dick_1952_20->n612_a_dick_1952_21 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ go;{go[home]})
                      (ADVP-CLR (ADVP (RP back;{back}))
                                (ADV home;{home})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 612_a_dick_1952))