19_a_dick_1952
Let's go back at once.”
arc(r_0019_0001__Let, r_0019_0002___apos_s, arg1).
arc(r_0019_0001__Let, r_0019_0003__go, prd).
arc(r_0019_0001__Let, z_000_19_a_dick_1952_1, arg0).
arc(r_0019_0003__go, r_0019_0004__back, clr10).
arc(r_0019_0003__go, r_0019_0005__at_once, nim13).
arc(r_0019_0003__go, x_000_19_a_dick_1952_7, arg0).
fof(formula,axiom,
? [R_19_1_LET,Z_19_A_DICK_1952_1,R_19_2__APOS_S,R_19_3_GO,X_19_A_DICK_1952_7,R_19_4_BACK,R_19_5_AT_ONCE] :
( _apos_s(R_19_2__APOS_S)
& back(R_19_4_BACK)
& at_once(R_19_5_AT_ONCE)
& let(R_19_1_LET,Z_19_A_DICK_1952_1,R_19_2__APOS_S,R_19_3_GO)
& go(R_19_3_GO,X_19_A_DICK_1952_7)
& clr10(R_19_3_GO,R_19_4_BACK)
& nim13(R_19_3_GO,R_19_5_AT_ONCE) ) ).
( (IP-IMP (VB;_Cn.i_ Let;{let})
(NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
(IP-INF-PRD (VB;_Ip_ go;{go[back]})
(ADVP-CLR (RP back;{back}))
(ADVP-NIM (ADV at_once;{at_once})))
(PUNC .)
(PURQ <rdquo>))
(ID 19_a_dick_1952))