( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{CHILDREN} (PRO We;{we}))
                      (DOP do;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (VB;_I_ know;{know})
                      (PUNC ,)
                      (PURQ <rdquo>)
                      (PRN (IP-MAT (VBD;_Tr_ answered;{answer})
                                   (NP-SBJ;{CHILDREN} (D the;{the})
                                                      (NS children;{child})))))
                (PUNC ;)
                (PULQ <ldquo>)
                (CONJP (ILYR (NP-SBJ;{LITTLE_BOY} (PRO he;{he}))
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (VVN;_Ip_ gone;{go[away]})
                                         (ADVP-CLR (RP away;{away}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 69_a_wilde_2_1888))

arc(r_0069_0003__do_r_0069_0005__know,r_0069_0002__We,arg0).
arc(r_0069_0003__do_r_0069_0005__know,r_0069_0008__answered,prn).
arc(r_0069_0004__n_apos_t,r_0069_0003__do_r_0069_0005__know,keep_scope).
arc(r_0069_0008__answered,r_0069_0009__the_r_0069_0010__children,arg0).
arc(r_0069_0014__has,r_0069_0015__gone_r_0069_0016__away,scope).
arc(r_0069_0015__gone_r_0069_0016__away,r_0069_0013__he,arg0).
arc(z_0069_5001,r_0069_0004__n_apos_t,conj1).
arc(z_0069_5001,r_0069_0014__has,conj2).

fof(formula,axiom,
    ? [R_0069_0013__HE,R_0069_0014__HAS_R_0069_0015__GONE_R_0069_0016__AWAY,Z_0069_5001] :
      ( r_0069_0013__he(R_0069_0013__HE)
      & z_0069_5001(Z_0069_5001)
      & has_conj2(Z_0069_5001,R_0069_0014__HAS_R_0069_0015__GONE_R_0069_0016__AWAY)
      & r_0069_0014__has_r_0069_0015__gone_r_0069_0016__away(R_0069_0014__HAS_R_0069_0015__GONE_R_0069_0016__AWAY)
      & has_arg0(R_0069_0014__HAS_R_0069_0015__GONE_R_0069_0016__AWAY,R_0069_0013__HE)
      & has_conj1(Z_0069_5001,R_0069_0004__N_APOS_T)
      & ~ ? [R_0069_0002__WE,R_0069_0009__THE_R_0069_0010__CHILDREN,R_0069_0008__ANSWERED,R_0069_0003__DO_R_0069_0005__KNOW] :
            ( r_0069_0002__We(R_0069_0002__WE)
            & r_0069_0009__the_r_0069_0010__children(R_0069_0009__THE_R_0069_0010__CHILDREN)
            & r_0069_0003__do_r_0069_0005__know(R_0069_0003__DO_R_0069_0005__KNOW)
            & has_prn(R_0069_0003__DO_R_0069_0005__KNOW,R_0069_0008__ANSWERED)
            & r_0069_0008__answered(R_0069_0008__ANSWERED)
            & has_arg0(R_0069_0008__ANSWERED,R_0069_0009__THE_R_0069_0010__CHILDREN)
            & has_arg0(R_0069_0003__DO_R_0069_0005__KNOW,R_0069_0002__WE) ) ) ).