( (IP-MAT (PULQ <ldquo>)
          (ADJP-PRD (ADVP (WADV How;{how}))
                    (ADJ happy;{happy}))
          (NP-SBJ;{CHILDREN} (PRO we;{we}))
          (BEP;_La_ are;{be})
          (ADVP-NIM (ADV here;{here}))
          (PUNC !)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{CHILDREN} (PRO they;{they}))
                       (VBD;_Tr_ cried;{cry})
                       (PP-NIM (P-ROLE to;{to})
                               (NP (PNX each_other;{each_other})))))
          (PUNC .))
  (ID 6_a_wilde_2_1888))

arc(r_0006_0003__happy,r_0006_0002__How,qual).
arc(r_0006_0005__are,r_0006_0003__happy,prd).
arc(r_0006_0005__are,r_0006_0004__we,arg0).
arc(r_0006_0005__are,r_0006_0006__here,nim).
arc(r_0006_0005__are,r_0006_0010__cried,prn).
arc(r_0006_0010__cried,r_0006_0004__we,arg0).
arc(r_0006_0010__cried,r_0006_0012__each_other,r_0006_0011__to__nim).

fof(formula,axiom,
    ? [R_0006_0002__HOW,R_0006_0003__HAPPY,R_0006_0004__WE,R_0006_0006__HERE,R_0006_0012__EACH_OTHER,R_0006_0010__CRIED,R_0006_0005__ARE] :
      ( r_0006_0002__How(R_0006_0002__HOW)
      & r_0006_0004__we(R_0006_0004__WE)
      & r_0006_0006__here(R_0006_0006__HERE)
      & r_0006_0012__each_other(R_0006_0012__EACH_OTHER)
      & r_0006_0005__are(R_0006_0005__ARE)
      & has_prn(R_0006_0005__ARE,R_0006_0010__CRIED)
      & r_0006_0010__cried(R_0006_0010__CRIED)
      & has_r_0006_0011__to__nim(R_0006_0010__CRIED,R_0006_0012__EACH_OTHER)
      & has_arg0(R_0006_0010__CRIED,R_0006_0004__WE)
      & has_nim(R_0006_0005__ARE,R_0006_0006__HERE)
      & has_arg0(R_0006_0005__ARE,R_0006_0004__WE)
      & has_prd(R_0006_0005__ARE,R_0006_0003__HAPPY)
      & r_0006_0003__happy(R_0006_0003__HAPPY)
      & has_qual(R_0006_0003__HAPPY,R_0006_0002__HOW) ) ).