241_a_dick_1952
“Well, let's go on, then.
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).
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) ) ).
( (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))