12_a_genieus
Well, he won't be back!’

%3 r_0012_0001__Well_r_0012_0004__wo Well wo r_0012_0006__be be r_0012_0001__Well_r_0012_0004__wo->r_0012_0006__be [scope] r_0012_0003__he he r_0012_0006__be->r_0012_0003__he [arg0] r_0012_0007__back back r_0012_0006__be->r_0012_0007__back [clr] r_0012_0005__n_apos_t n't r_0012_0005__n_apos_t->r_0012_0001__Well_r_0012_0004__wo [keep_scope]
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).



%3 r_0012_0001__Well_r_0012_0004__wo_r_0012_0006__be Well wo be r_0012_0003__he he r_0012_0001__Well_r_0012_0004__wo_r_0012_0006__be->r_0012_0003__he [arg0] r_0012_0007__back back r_0012_0001__Well_r_0012_0004__wo_r_0012_0006__be->r_0012_0007__back [clr] r_0012_0005__n_apos_t n't r_0012_0005__n_apos_t->r_0012_0001__Well_r_0012_0004__wo_r_0012_0006__be [keep_scope]
fof(formula,axiom,
    ~ ? [R_12_1_WELL_WO_BE,R_12_3_HE,R_12_7_BACK] :
        ( he(R_12_3_HE)
        & back(R_12_7_BACK)
        & well_wo_be(R_12_1_WELL_WO_BE,R_12_3_HE)
        & clr16(R_12_1_WELL_WO_BE,R_12_7_BACK) ) ).



n12_a_genieus n12_a_genieus_3 Well n12_a_genieus_5 , n12_a_genieus_8 he n12_a_genieus_10 wo n12_a_genieus_12 n't n12_a_genieus_15 be n12_a_genieus_18 back n12_a_genieus_20 ! n12_a_genieus_22 <rsquo> n12_a_genieus_1 IP-MAT n12_a_genieus_2 REACT n12_a_genieus_1->n12_a_genieus_2 n12_a_genieus_4 PUNC n12_a_genieus_1->n12_a_genieus_4 n12_a_genieus_6 NP-SBJ n12_a_genieus_1->n12_a_genieus_6 n12_a_genieus_9 MD;_cat_Vi_ n12_a_genieus_1->n12_a_genieus_9 n12_a_genieus_11 NEG n12_a_genieus_1->n12_a_genieus_11 n12_a_genieus_13 IP-PPL-CAT n12_a_genieus_1->n12_a_genieus_13 n12_a_genieus_19 PUNC n12_a_genieus_1->n12_a_genieus_19 n12_a_genieus_21 PURQ n12_a_genieus_1->n12_a_genieus_21 n12_a_genieus_2->n12_a_genieus_3 n12_a_genieus_4->n12_a_genieus_5 n12_a_genieus_7 PRO n12_a_genieus_6->n12_a_genieus_7 n12_a_genieus_7->n12_a_genieus_8 n12_a_genieus_9->n12_a_genieus_10 n12_a_genieus_11->n12_a_genieus_12 n12_a_genieus_14 BE;_Ip_ n12_a_genieus_13->n12_a_genieus_14 n12_a_genieus_16 ADVP-CLR n12_a_genieus_13->n12_a_genieus_16 n12_a_genieus_14->n12_a_genieus_15 n12_a_genieus_17 ADV n12_a_genieus_16->n12_a_genieus_17 n12_a_genieus_17->n12_a_genieus_18 n12_a_genieus_19->n12_a_genieus_20 n12_a_genieus_21->n12_a_genieus_22
( (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))