arc(r_0035_0003__gave, r_0035_0001__The_r_0035_0002__Autumn, arg0).
arc(r_0035_0003__gave, r_0035_0005__fruit, arg1).
arc(r_0035_0003__gave, r_0035_0008__garden, arg2).
arc(r_0035_0005__fruit, r_0035_0004__golden, attrib12).
arc(r_0035_0007__every_quant, r_0035_0003__gave, scope).
arc(r_0035_0007__every_quant, r_0035_0008__garden, restriction).
arc(r_0035_0010__but, r_0035_0007__every_quant, conj1).
arc(r_0035_0010__but, r_0035_0018__none_quant, conj2).
arc(r_0035_0015__garden, r_0035_0012__the_r_0035_0013__Giant_r_0035_0014___apos_s, gen).
arc(r_0035_0017__gave, r_0035_0001__The_r_0035_0002__Autumn, arg0).
arc(r_0035_0017__gave, r_0035_0015__garden, arg2).
arc(r_0035_0017__gave, z_000_35_a_wilde_2_1888_49, arg1).
arc(r_0035_0018__none_quant, r_0035_0017__gave, scope).
arc(r_0035_0018__none_quant, z_000_35_a_wilde_2_1888_49, restriction).

fof(formula,axiom,
    ? [R_0035_0010__BUT] :
      ( r_0035_0010__but(R_0035_0010__BUT)
      & ! [Z_000_35_A_WILDE_2_1888_49] :
          ( z_000_35_a_wilde_2_1888_49(Z_000_35_A_WILDE_2_1888_49)
         => ? [R_0035_0001__THE_R_0035_0002__AUTUMN,R_0035_0012__THE_R_0035_0013__GIANT_R_0035_0014___APOS_S,R_0035_0015__GARDEN,R_0035_0017__GAVE] :
              ( r_0035_0001__The_r_0035_0002__Autumn(R_0035_0001__THE_R_0035_0002__AUTUMN)
              & r_0035_0012__the_r_0035_0013__Giant_r_0035_0014___apos_s(R_0035_0012__THE_R_0035_0013__GIANT_R_0035_0014___APOS_S)
              & r_0035_0017__gave(R_0035_0017__GAVE)
              & has_arg1(R_0035_0017__GAVE,Z_000_35_A_WILDE_2_1888_49)
              & has_arg2(R_0035_0017__GAVE,R_0035_0015__GARDEN)
              & r_0035_0015__garden(R_0035_0015__GARDEN)
              & has_gen(R_0035_0015__GARDEN,R_0035_0012__THE_R_0035_0013__GIANT_R_0035_0014___APOS_S)
              & has_arg0(R_0035_0017__GAVE,R_0035_0001__THE_R_0035_0002__AUTUMN) ) )
      & ! [R_0035_0008__GARDEN] :
          ( r_0035_0008__garden(R_0035_0008__GARDEN)
         => ? [R_0035_0001__THE_R_0035_0002__AUTUMN,R_0035_0004__GOLDEN,R_0035_0005__FRUIT,R_0035_0003__GAVE] :
              ( r_0035_0001__The_r_0035_0002__Autumn(R_0035_0001__THE_R_0035_0002__AUTUMN)
              & r_0035_0004__golden(R_0035_0004__GOLDEN)
              & r_0035_0003__gave(R_0035_0003__GAVE)
              & has_arg2(R_0035_0003__GAVE,R_0035_0008__GARDEN)
              & has_arg1(R_0035_0003__GAVE,R_0035_0005__FRUIT)
              & r_0035_0005__fruit(R_0035_0005__FRUIT)
              & has_attrib12(R_0035_0005__FRUIT,R_0035_0004__GOLDEN)
              & has_arg0(R_0035_0003__GAVE,R_0035_0001__THE_R_0035_0002__AUTUMN) ) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{AUTUMN} (D The;{the})
                                       (N Autumn;{autumn}))
                      (VBD;_Dn.pr_ gave;{give[to]})
                      (NP-OB1 (ADJP (ADJ golden;{golden}))
                              (N fruit;{fruit}))
                      (PP-OB2 (P-ROLE to;{to})
                              (NP (Q every;{every})
                                  (N garden;{garden}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-TPC-OB2 (P-ROLE to;{to})
                                         (NP (NP-GEN;{GIANT} (D the;{the})
                                                             (N Giant;{giant})
                                                             (GENM <apos>s))
                                             (N garden;{garden})))
                             (NP-SBJ;{AUTUMN} (PRO she;{she}))
                             (VBD;_Dn.pr_ gave;{give[to]})
                             (NP-OB1 (Q;_nphd_ none;{none})))))
          (PUNC .))
  (ID 35_a_wilde_2_1888))