12_a_genieus
Well, he won't be back!’
arc(r_0012_0001__Well_r_0012_0004__wo, r_0012_0006__be, scope).
arc(r_0012_0005__n_apos_t, r_0012_0001__Well_r_0012_0004__wo, keep_scope).
arc(r_0012_0006__be, r_0012_0003__he, arg0).
arc(r_0012_0006__be, r_0012_0007__back, clr16).
fof(formula,axiom,
~ ? [R_0012_0003__HE,R_0012_0007__BACK,R_0012_0001__WELL_R_0012_0004__WO_R_0012_0006__BE] :
( r_0012_0003__he(R_0012_0003__HE)
& r_0012_0007__back(R_0012_0007__BACK)
& r_0012_0001__Well_r_0012_0004__wo_r_0012_0006__be(R_0012_0001__WELL_R_0012_0004__WO_R_0012_0006__BE)
& has_clr16(R_0012_0001__WELL_R_0012_0004__WO_R_0012_0006__BE,R_0012_0007__BACK)
& has_arg0(R_0012_0001__WELL_R_0012_0004__WO_R_0012_0006__BE,R_0012_0003__HE) ) ).
( (IP-MAT (REACT Well)
(PUNC ,)
(NP-SBJ (PRO he;{he}))
(MD;_cat_Vi_ wo;{will})
(NEG n<apos>t;{not})
(IP-PPL-CAT (BE;_Ip_ be;{be[back]})
(ADVP-CLR (ADV back;{back})))
(PUNC !)
(PURQ <rsquo>))
(ID 12_a_genieus))