612_a_dick_1952
“Let's go back home.”
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).
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) ) ).
( (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))