arc(r_0078_0003__have, r_0078_0002__I, arg0).
arc(r_0078_0003__have, r_0078_0006__flowers, arg1).
arc(r_0078_0006__flowers, r_0078_0004__many, attrib12).
arc(r_0078_0006__flowers, r_0078_0005__beautiful, attrib15).
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, attrib49).
arc(r_0078_0017__the_r_0078_0020__flowers, z_000_78_a_wilde_2_1888_60, r_0078_0021__of).
arc(r_0078_0019__beautiful, r_0078_0018__most, qual50).
arc(r_0078_0022__all_quant, r_0078_0017__the_r_0078_0020__flowers, scope).
arc(r_0078_0022__all_quant, z_000_78_a_wilde_2_1888_60, restriction).

fof(formula,axiom,
    ? [R_0078_0002__I,R_0078_0004__MANY,R_0078_0005__BEAUTIFUL,R_0078_0006__FLOWERS,R_0078_0003__HAVE,R_0078_0014__THE_R_0078_0015__CHILDREN,R_0078_0018__MOST,R_0078_0019__BEAUTIFUL,Z_000_78_A_WILDE_2_1888_60,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_0014__the_r_0078_0015__children(R_0078_0014__THE_R_0078_0015__CHILDREN)
      & r_0078_0018__most(R_0078_0018__MOST)
      & z_000_78_a_wilde_2_1888_60(Z_000_78_A_WILDE_2_1888_60)
      & ( z_000_78_a_wilde_2_1888_60(Z_000_78_A_WILDE_2_1888_60)
       => 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_000_78_A_WILDE_2_1888_60)
      & has_attrib49(R_0078_0017__THE_R_0078_0020__FLOWERS,R_0078_0019__BEAUTIFUL)
      & r_0078_0019__beautiful(R_0078_0019__BEAUTIFUL)
      & has_qual50(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_arg1(R_0078_0003__HAVE,R_0078_0006__FLOWERS)
      & r_0078_0006__flowers(R_0078_0006__FLOWERS)
      & has_attrib15(R_0078_0006__FLOWERS,R_0078_0005__BEAUTIFUL)
      & has_attrib12(R_0078_0006__FLOWERS,R_0078_0004__MANY)
      & has_arg0(R_0078_0003__HAVE,R_0078_0002__I) ) ).

( (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))