Context                Previous, Next                Top


241_a_dick_1952
“Well, let's go on, then.

%3 r_0241_0002__Well_r_0241_0004__let Well let r_0241_0005___apos_s 's r_0241_0002__Well_r_0241_0004__let->r_0241_0005___apos_s [arg1] r_0241_0006__go go r_0241_0002__Well_r_0241_0004__let->r_0241_0006__go [prd] z_000_241_a_dick_1952_1 r_0241_0002__Well_r_0241_0004__let->z_000_241_a_dick_1952_1 [arg0] r_0241_0007__on on r_0241_0006__go->r_0241_0007__on [clr] r_0241_0009__then then r_0241_0006__go->r_0241_0009__then [nim] x_000_241_a_dick_1952_13 __ r_0241_0006__go->x_000_241_a_dick_1952_13 [arg0] 
arc(r_0241_0002__Well_r_0241_0004__let, r_0241_0005___apos_s, arg1).
arc(r_0241_0002__Well_r_0241_0004__let, r_0241_0006__go, prd).
arc(r_0241_0002__Well_r_0241_0004__let, z_000_241_a_dick_1952_1, arg0).
arc(r_0241_0006__go, r_0241_0007__on, clr16).
arc(r_0241_0006__go, r_0241_0009__then, nim21).
arc(r_0241_0006__go, x_000_241_a_dick_1952_13, arg0).


%3 r_0241_0002__Well_r_0241_0004__let Well let r_0241_0005___apos_s 's r_0241_0002__Well_r_0241_0004__let->r_0241_0005___apos_s [arg1] r_0241_0006__go go r_0241_0002__Well_r_0241_0004__let->r_0241_0006__go [prd] z_000_241_a_dick_1952_1 r_0241_0002__Well_r_0241_0004__let->z_000_241_a_dick_1952_1 [arg0] r_0241_0007__on on r_0241_0006__go->r_0241_0007__on [clr] r_0241_0009__then then r_0241_0006__go->r_0241_0009__then [nim] x_000_241_a_dick_1952_13 __ r_0241_0006__go->x_000_241_a_dick_1952_13 [arg0] 
fof(formula,axiom,
    ? [R_241_2_WELL_LET,Z_241_A_DICK_1952_1,R_241_5__APOS_S,R_241_6_GO,X_241_A_DICK_1952_13,R_241_7_ON,R_241_9_THEN] :
      ( _apos_s(R_241_5__APOS_S)
      & on(R_241_7_ON)
      & then(R_241_9_THEN)
      & well_let(R_241_2_WELL_LET,Z_241_A_DICK_1952_1,R_241_5__APOS_S,R_241_6_GO)
      & go(R_241_6_GO,X_241_A_DICK_1952_13)
      & clr16(R_241_6_GO,R_241_7_ON)
      & nim21(R_241_6_GO,R_241_9_THEN) ) ).


n241_a_dick_1952 n241_a_dick_1952_3 <ldquo> n241_a_dick_1952_5 Well n241_a_dick_1952_7 , n241_a_dick_1952_9 let n241_a_dick_1952_12 's n241_a_dick_1952_15 go n241_a_dick_1952_18 on n241_a_dick_1952_20 , n241_a_dick_1952_23 then n241_a_dick_1952_25 . n241_a_dick_1952_1 IP-IMP n241_a_dick_1952_2 PULQ n241_a_dick_1952_1->n241_a_dick_1952_2 n241_a_dick_1952_4 INTJ n241_a_dick_1952_1->n241_a_dick_1952_4 n241_a_dick_1952_6 PUNC n241_a_dick_1952_1->n241_a_dick_1952_6 n241_a_dick_1952_8 VB;_Cn.i_ n241_a_dick_1952_1->n241_a_dick_1952_8 n241_a_dick_1952_10 NP-OB1 n241_a_dick_1952_1->n241_a_dick_1952_10 n241_a_dick_1952_13 IP-INF-PRD n241_a_dick_1952_1->n241_a_dick_1952_13 n241_a_dick_1952_24 PUNC n241_a_dick_1952_1->n241_a_dick_1952_24 n241_a_dick_1952_2->n241_a_dick_1952_3 n241_a_dick_1952_4->n241_a_dick_1952_5 n241_a_dick_1952_6->n241_a_dick_1952_7 n241_a_dick_1952_8->n241_a_dick_1952_9 n241_a_dick_1952_11 PRO n241_a_dick_1952_10->n241_a_dick_1952_11 n241_a_dick_1952_11->n241_a_dick_1952_12 n241_a_dick_1952_14 VB;_Ip_ n241_a_dick_1952_13->n241_a_dick_1952_14 n241_a_dick_1952_16 ADVP-CLR n241_a_dick_1952_13->n241_a_dick_1952_16 n241_a_dick_1952_19 PUNC n241_a_dick_1952_13->n241_a_dick_1952_19 n241_a_dick_1952_21 ADVP-NIM n241_a_dick_1952_13->n241_a_dick_1952_21 n241_a_dick_1952_14->n241_a_dick_1952_15 n241_a_dick_1952_17 RP n241_a_dick_1952_16->n241_a_dick_1952_17 n241_a_dick_1952_17->n241_a_dick_1952_18 n241_a_dick_1952_19->n241_a_dick_1952_20 n241_a_dick_1952_22 ADV n241_a_dick_1952_21->n241_a_dick_1952_22 n241_a_dick_1952_22->n241_a_dick_1952_23 n241_a_dick_1952_24->n241_a_dick_1952_25 
( (IP-IMP (PULQ <ldquo>)
          (INTJ Well)
          (PUNC ,)
          (VB;_Cn.i_ let;{let})
          (NP-OB1;{DORLE_NASHA_TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ go;{go[on]})
                      (ADVP-CLR (RP on;{on}))
                      (PUNC ,)
                      (ADVP-NIM (ADV then;{then})))
          (PUNC .))
  (ID 241_a_dick_1952))