( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (ADJP (ADJ many;{many}))
                              (ADJP (ADJ beautiful;{beautiful}))
                              (NS flowers;{flower}))
                      (PUNC ,)
                      (PURQ <rdquo>)
                      (PRN (IP-MAT (NP-SBJ;{GIANT} (PRO he;{he}))
                                   (VBD;_Tr_ said;{say}))))
                (PUNC ;)
                (PULQ <ldquo>)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS children;{child}))
                             (BEP;_Ln_ are;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADVP (ADVS most;{most}))
                                           (ADJ beautiful;{beautiful}))
                                     (NS flowers;{flower})
                                     (PP (P-ROLE of;{of})
                                         (NP (Q;_nphd_ all;{all})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 78_a_wilde_2_1888))

arc(r_0078_0003__have,r_0078_0002__I,arg0).
arc(r_0078_0003__have,r_0078_0006__flowers,arg1).
arc(r_0078_0003__have,r_0078_0010__said,prn).
arc(r_0078_0006__flowers,r_0078_0004__many,attrib).
arc(r_0078_0006__flowers,r_0078_0005__beautiful,attrib).
arc(r_0078_0010__said,r_0078_0009__he,arg0).
arc(r_0078_0013__but,r_0078_0003__have,conj1).
arc(r_0078_0013__but,r_0078_0016__are,conj2).
arc(r_0078_0016__are,r_0078_0014__the_r_0078_0015__children,arg0).
arc(r_0078_0016__are,r_0078_0017__the_r_0078_0020__flowers,prd).
arc(r_0078_0017__the_r_0078_0020__flowers,r_0078_0019__beautiful,attrib).
arc(r_0078_0017__the_r_0078_0020__flowers,z_0078_5013,r_0078_0021__of).
arc(r_0078_0019__beautiful,r_0078_0018__most,qual).
arc(r_0078_0022__all__quant,r_0078_0017__the_r_0078_0020__flowers,scope).
arc(r_0078_0022__all__quant,z_0078_5013,restriction).

fof(formula,axiom,
    ? [R_0078_0002__I,R_0078_0004__MANY,R_0078_0005__BEAUTIFUL,R_0078_0006__FLOWERS,R_0078_0009__HE,R_0078_0010__SAID,R_0078_0003__HAVE,R_0078_0014__THE_R_0078_0015__CHILDREN,R_0078_0018__MOST,R_0078_0019__BEAUTIFUL,Z_0078_5013,R_0078_0017__THE_R_0078_0020__FLOWERS,R_0078_0016__ARE,R_0078_0013__BUT] :
      ( r_0078_0002__I(R_0078_0002__I)
      & r_0078_0004__many(R_0078_0004__MANY)
      & r_0078_0005__beautiful(R_0078_0005__BEAUTIFUL)
      & r_0078_0009__he(R_0078_0009__HE)
      & r_0078_0014__the_r_0078_0015__children(R_0078_0014__THE_R_0078_0015__CHILDREN)
      & r_0078_0018__most(R_0078_0018__MOST)
      & z_0078_5013(Z_0078_5013)
      & ( z_0078_5013(Z_0078_5013)
       => r_0078_0016__are(R_0078_0016__ARE) )
      & r_0078_0013__but(R_0078_0013__BUT)
      & has_conj2(R_0078_0013__BUT,R_0078_0016__ARE)
      & r_0078_0016__are(R_0078_0016__ARE)
      & has_prd(R_0078_0016__ARE,R_0078_0017__THE_R_0078_0020__FLOWERS)
      & r_0078_0017__the_r_0078_0020__flowers(R_0078_0017__THE_R_0078_0020__FLOWERS)
      & has_r_0078_0021__of(R_0078_0017__THE_R_0078_0020__FLOWERS,Z_0078_5013)
      & has_attrib(R_0078_0017__THE_R_0078_0020__FLOWERS,R_0078_0019__BEAUTIFUL)
      & r_0078_0019__beautiful(R_0078_0019__BEAUTIFUL)
      & has_qual(R_0078_0019__BEAUTIFUL,R_0078_0018__MOST)
      & has_arg0(R_0078_0016__ARE,R_0078_0014__THE_R_0078_0015__CHILDREN)
      & has_conj1(R_0078_0013__BUT,R_0078_0003__HAVE)
      & r_0078_0003__have(R_0078_0003__HAVE)
      & has_prn(R_0078_0003__HAVE,R_0078_0010__SAID)
      & r_0078_0010__said(R_0078_0010__SAID)
      & has_arg0(R_0078_0010__SAID,R_0078_0009__HE)
      & has_arg1(R_0078_0003__HAVE,R_0078_0006__FLOWERS)
      & r_0078_0006__flowers(R_0078_0006__FLOWERS)
      & has_attrib(R_0078_0006__FLOWERS,R_0078_0005__BEAUTIFUL)
      & has_attrib(R_0078_0006__FLOWERS,R_0078_0004__MANY)
      & has_arg0(R_0078_0003__HAVE,R_0078_0002__I) ) ).