TSPC 66_a_wilde_2

66_a_wilde_2_1888
All day long they played, and in the evening they came to the Giant to bid him good-bye.

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

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,attrib).
arc(r_0066_0005__played,r_0066_0002__day,nim).
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_0066_5008,conj2).
arc(r_0066_0012__came_r_0066_0013__to,r_0066_0004__they,arg0).
arc(r_0066_0012__came_r_0066_0013__to,r_0066_0009__the_r_0066_0010__evening,r_0066_0008__in__nim).
arc(r_0066_0012__came_r_0066_0013__to,r_0066_0014__the_r_0066_0015__Giant,arg1).
arc(r_0066_0017__bid,r_0066_0014__the_r_0066_0015__Giant,arg0).
arc(r_0066_0017__bid,r_0066_0018__him,arg2).
arc(r_0066_0017__bid,r_0066_0019__good__hyphen__bye,arg1).
arc(z_0066_5008,r_0066_0012__came_r_0066_0013__to,scope).
arc(z_0066_5008,r_0066_0017__bid,restriction).

fof(formula,axiom,
    ? [R_0066_0004__THEY,R_0066_0009__THE_R_0066_0010__EVENING,R_0066_0014__THE_R_0066_0015__GIANT,R_0066_0012__CAME_R_0066_0013__TO,R_0066_0018__HIM,R_0066_0019__GOOD__HYPHEN__BYE,R_0066_0017__BID,Z_0066_5008,R_0066_0007__AND] :
      ( r_0066_0004__they(R_0066_0004__THEY)
      & r_0066_0009__the_r_0066_0010__evening(R_0066_0009__THE_R_0066_0010__EVENING)
      & r_0066_0014__the_r_0066_0015__Giant(R_0066_0014__THE_R_0066_0015__GIANT)
      & r_0066_0018__him(R_0066_0018__HIM)
      & 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_0066_5008)
      & z_0066_5008(Z_0066_5008)
      & has_conj1(Z_0066_5008,R_0066_0017__BID)
      & r_0066_0017__bid(R_0066_0017__BID)
      & has_arg1(R_0066_0017__BID,R_0066_0019__GOOD__HYPHEN__BYE)
      & has_arg2(R_0066_0017__BID,R_0066_0018__HIM)
      & has_arg0(R_0066_0017__BID,R_0066_0014__THE_R_0066_0015__GIANT)
      & has_conj2(Z_0066_5008,R_0066_0012__CAME_R_0066_0013__TO)
      & r_0066_0012__came_r_0066_0013__to(R_0066_0012__CAME_R_0066_0013__TO)
      & has_arg1(R_0066_0012__CAME_R_0066_0013__TO,R_0066_0014__THE_R_0066_0015__GIANT)
      & has_r_0066_0008__in__nim(R_0066_0012__CAME_R_0066_0013__TO,R_0066_0009__THE_R_0066_0010__EVENING)
      & has_arg0(R_0066_0012__CAME_R_0066_0013__TO,R_0066_0004__THEY)
      & ! [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_attrib(R_0066_0002__DAY,R_0066_0003__LONG) )
         => ? [R_0066_0005__PLAYED] :
              ( r_0066_0005__played(R_0066_0005__PLAYED)
              & has_arg0(R_0066_0005__PLAYED,R_0066_0004__THEY)
              & has_nim(R_0066_0005__PLAYED,R_0066_0002__DAY) ) ) ) ).