arc(utterance_19_a_wilde_2_1888_4, r_0019_0005__were, part1).
arc(r_0019_0003__happy, r_0019_0002__How, qual7).
arc(r_0019_0005__were, r_0019_0003__happy, prd).
arc(r_0019_0005__were, r_0019_0006__there, nim17).
arc(r_0019_0005__were, r_0019_0009__they, arg0).
arc(r_0019_0010__said, utterance_19_a_wilde_2_1888_4, arg1).
arc(r_0019_0010__said, r_0019_0009__they, arg0).
arc(r_0019_0010__said, r_0019_0012__each_other, arg2).

fof(formula,axiom,
    ? [R_0019_0002__HOW,R_0019_0003__HAPPY,R_0019_0006__THERE,R_0019_0009__THEY,R_0019_0005__WERE,UTTERANCE_19_A_WILDE_2_1888_4,R_0019_0012__EACH_OTHER,R_0019_0010__SAID] :
      ( r_0019_0002__How(R_0019_0002__HOW)
      & r_0019_0006__there(R_0019_0006__THERE)
      & r_0019_0009__they(R_0019_0009__THEY)
      & r_0019_0012__each_other(R_0019_0012__EACH_OTHER)
      & r_0019_0010__said(R_0019_0010__SAID)
      & has_arg2(R_0019_0010__SAID,R_0019_0012__EACH_OTHER)
      & has_arg0(R_0019_0010__SAID,R_0019_0009__THEY)
      & has_arg1(R_0019_0010__SAID,UTTERANCE_19_A_WILDE_2_1888_4)
      & utterance_19_a_wilde_2_1888_4(UTTERANCE_19_A_WILDE_2_1888_4)
      & has_part1(UTTERANCE_19_A_WILDE_2_1888_4,R_0019_0005__WERE)
      & r_0019_0005__were(R_0019_0005__WERE)
      & has_arg0(R_0019_0005__WERE,R_0019_0009__THEY)
      & has_nim17(R_0019_0005__WERE,R_0019_0006__THERE)
      & has_prd(R_0019_0005__WERE,R_0019_0003__HAPPY)
      & r_0019_0003__happy(R_0019_0003__HAPPY)
      & has_qual7(R_0019_0003__HAPPY,R_0019_0002__HOW) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (ADJP-PRD (ADVP (WADV How;{how}))
                                           (ADJ happy;{happy}))
                                 (NP-SBJ;{CHILDREN} (PRO we;{we}))
                                 (BED;_La_ were;{be})
                                 (ADVP-NIM (ADV there;{there}))
                                 (PUNC !)))
          (PURQ <rdquo>)
          (NP-SBJ;{CHILDREN} (PRO they;{they}))
          (VBD;_Dpr.r_ said;{say[to]})
          (PP-OB2 (P-ROLE to;{to})
                  (NP (PNX each_other;{each_other})))
          (PUNC .))
  (ID 19_a_wilde_2_1888))