TSPC 35_a_wilde_2

35_a_wilde_2_1888
The Autumn gave golden fruit to every garden, but to the Giant's garden she gave none.

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

arc(r_0035_0003__gave_r_0035_0006__to,r_0035_0001__The_r_0035_0002__Autumn,arg0).
arc(r_0035_0003__gave_r_0035_0006__to,r_0035_0005__fruit,arg1).
arc(r_0035_0003__gave_r_0035_0006__to,r_0035_0008__garden,arg2).
arc(r_0035_0005__fruit,r_0035_0004__golden,attrib).
arc(r_0035_0007__every__quant,r_0035_0003__gave_r_0035_0006__to,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_0011__to_r_0035_0017__gave,r_0035_0001__The_r_0035_0002__Autumn,arg0).
arc(r_0035_0011__to_r_0035_0017__gave,r_0035_0015__garden,arg2).
arc(r_0035_0011__to_r_0035_0017__gave,z_0035_5012,arg1).
arc(r_0035_0015__garden,r_0035_0012__the_r_0035_0013__Giant,gen).
arc(r_0035_0018__none__quant,r_0035_0011__to_r_0035_0017__gave,scope).
arc(r_0035_0018__none__quant,z_0035_5012,restriction).

fof(formula,axiom,
    ? [R_0035_0010__BUT] :
      ( r_0035_0010__but(R_0035_0010__BUT)
      & ! [Z_0035_5012] :
          ( z_0035_5012(Z_0035_5012)
         => ? [R_0035_0001__THE_R_0035_0002__AUTUMN,R_0035_0012__THE_R_0035_0013__GIANT,R_0035_0015__GARDEN,R_0035_0011__TO_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_0012__THE_R_0035_0013__GIANT)
              & r_0035_0011__to_r_0035_0017__gave(R_0035_0011__TO_R_0035_0017__GAVE)
              & has_arg1(R_0035_0011__TO_R_0035_0017__GAVE,Z_0035_5012)
              & has_arg2(R_0035_0011__TO_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)
              & has_arg0(R_0035_0011__TO_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_0006__TO] :
              ( 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_0006__to(R_0035_0003__GAVE_R_0035_0006__TO)
              & has_arg2(R_0035_0003__GAVE_R_0035_0006__TO,R_0035_0008__GARDEN)
              & has_arg1(R_0035_0003__GAVE_R_0035_0006__TO,R_0035_0005__FRUIT)
              & r_0035_0005__fruit(R_0035_0005__FRUIT)
              & has_attrib(R_0035_0005__FRUIT,R_0035_0004__GOLDEN)
              & has_arg0(R_0035_0003__GAVE_R_0035_0006__TO,R_0035_0001__THE_R_0035_0002__AUTUMN) ) ) ) ).