arc(r_0066_0001__All_quant, r_0066_0002__day, restriction).
arc(r_0066_0001__All_quant, r_0066_0005__played, scope).
arc(r_0066_0002__day, r_0066_0003__long, attrib9).
arc(r_0066_0005__played, r_0066_0002__day, nim4).
arc(r_0066_0005__played, r_0066_0004__they, arg0).
arc(r_0066_0007__and, r_0066_0001__All_quant, conj1).
arc(r_0066_0007__and, z_000_66_a_wilde_2_1888_44, conj2).
arc(r_0066_0012__came, r_0066_0009__the_r_0066_0010__evening, r_0066_0008__in_nim26).
arc(r_0066_0012__came, r_0066_0011__they, arg0).
arc(r_0066_0012__came, r_0066_0014__the_r_0066_0015__Giant, r_0066_0013__to_clr39).
arc(r_0066_0016__to_r_0066_0017__bid, r_0066_0011__they, arg0).
arc(r_0066_0016__to_r_0066_0017__bid, r_0066_0014__the_r_0066_0015__Giant, arg2).
arc(r_0066_0016__to_r_0066_0017__bid, r_0066_0019__good__hyphen__bye, arg1).
arc(z_000_66_a_wilde_2_1888_44, r_0066_0012__came, scope).
arc(z_000_66_a_wilde_2_1888_44, r_0066_0016__to_r_0066_0017__bid, restriction).

fof(formula,axiom,
    ? [R_0066_0009__THE_R_0066_0010__EVENING,R_0066_0011__THEY,R_0066_0014__THE_R_0066_0015__GIANT,R_0066_0012__CAME,R_0066_0019__GOOD__HYPHEN__BYE,R_0066_0016__TO_R_0066_0017__BID,Z_000_66_A_WILDE_2_1888_44,R_0066_0007__AND] :
      ( r_0066_0009__the_r_0066_0010__evening(R_0066_0009__THE_R_0066_0010__EVENING)
      & r_0066_0011__they(R_0066_0011__THEY)
      & r_0066_0014__the_r_0066_0015__Giant(R_0066_0014__THE_R_0066_0015__GIANT)
      & r_0066_0019__good__hyphen__bye(R_0066_0019__GOOD__HYPHEN__BYE)
      & r_0066_0007__and(R_0066_0007__AND)
      & has_conj2(R_0066_0007__AND,Z_000_66_A_WILDE_2_1888_44)
      & z_000_66_a_wilde_2_1888_44(Z_000_66_A_WILDE_2_1888_44)
      & has_conj1(Z_000_66_A_WILDE_2_1888_44,R_0066_0016__TO_R_0066_0017__BID)
      & r_0066_0016__to_r_0066_0017__bid(R_0066_0016__TO_R_0066_0017__BID)
      & has_arg1(R_0066_0016__TO_R_0066_0017__BID,R_0066_0019__GOOD__HYPHEN__BYE)
      & has_arg2(R_0066_0016__TO_R_0066_0017__BID,R_0066_0014__THE_R_0066_0015__GIANT)
      & has_arg0(R_0066_0016__TO_R_0066_0017__BID,R_0066_0011__THEY)
      & has_conj2(Z_000_66_A_WILDE_2_1888_44,R_0066_0012__CAME)
      & r_0066_0012__came(R_0066_0012__CAME)
      & has_r_0066_0013__to_clr39(R_0066_0012__CAME,R_0066_0014__THE_R_0066_0015__GIANT)
      & has_arg0(R_0066_0012__CAME,R_0066_0011__THEY)
      & has_r_0066_0008__in_nim26(R_0066_0012__CAME,R_0066_0009__THE_R_0066_0010__EVENING)
      & ! [R_0066_0002__DAY,R_0066_0003__LONG] :
          ( ( r_0066_0003__long(R_0066_0003__LONG)
            & r_0066_0002__day(R_0066_0002__DAY)
            & has_attrib9(R_0066_0002__DAY,R_0066_0003__LONG) )
         => ? [R_0066_0004__THEY,R_0066_0005__PLAYED] :
              ( r_0066_0004__they(R_0066_0004__THEY)
              & r_0066_0005__played(R_0066_0005__PLAYED)
              & has_arg0(R_0066_0005__PLAYED,R_0066_0004__THEY)
              & has_nim4(R_0066_0005__PLAYED,R_0066_0002__DAY) ) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-NIM (Q All;{all})
                              (N day;{day})
                              (ADJP (ADJ long;{long})))
                      (NP-SBJ;{CHILDREN} (PRO they;{they}))
                      (VBD;_I_ played;{play}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N evening;{evening})))
                             (NP-SBJ;{CHILDREN} (PRO they;{they}))
                             (VBD;_Ipr_ came;{come[to]})
                             (PP-CLR (P-ROLE to;{to})
                                     (NP;{GIANT} (D the;{the})
                                                 (N Giant;{giant})))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Dn.n_ bid;{bid})
                                              (NP-OB2;{GIANT} (PRO him;{he}))
                                              (NP-OB1 (N good_<hyphen>_bye;{good_bye})))))))
          (PUNC .))
  (ID 66_a_wilde_2_1888))