Context                Previous, Next                Top


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

%3 r_0066_0001__All_quant All [quant] r_0066_0002__day day r_0066_0001__All_quant->r_0066_0002__day [restriction] r_0066_0005__played played r_0066_0001__All_quant->r_0066_0005__played [scope] r_0066_0003__long long r_0066_0002__day->r_0066_0003__long [attrib] r_0066_0005__played->r_0066_0002__day [nim] r_0066_0004__they they r_0066_0005__played->r_0066_0004__they [arg0] r_0066_0007__and and r_0066_0007__and->r_0066_0001__All_quant [conj1] z_000_66_a_wilde_2_1888_44 r_0066_0007__and->z_000_66_a_wilde_2_1888_44 [conj2] r_0066_0012__came came z_000_66_a_wilde_2_1888_44->r_0066_0012__came [scope] r_0066_0016__to_r_0066_0017__bid to bid z_000_66_a_wilde_2_1888_44->r_0066_0016__to_r_0066_0017__bid [restriction] r_0066_0009__the_r_0066_0010__evening the evening r_0066_0012__came->r_0066_0009__the_r_0066_0010__evening in [nim] r_0066_0011__they they r_0066_0012__came->r_0066_0011__they [arg0] r_0066_0014__the_r_0066_0015__Giant the Giant r_0066_0012__came->r_0066_0014__the_r_0066_0015__Giant to [clr] r_0066_0016__to_r_0066_0017__bid->r_0066_0011__they [arg0] r_0066_0016__to_r_0066_0017__bid->r_0066_0014__the_r_0066_0015__Giant [arg2] r_0066_0019__good__hyphen__bye good-bye r_0066_0016__to_r_0066_0017__bid->r_0066_0019__good__hyphen__bye [arg1] 
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).


%3 z_000_66_a_wilde_2_1888_44 r_0066_0016__to_r_0066_0017__bid to bid z_000_66_a_wilde_2_1888_44->r_0066_0016__to_r_0066_0017__bid [conj1] r_0066_0012__came came z_000_66_a_wilde_2_1888_44->r_0066_0012__came [conj2] r_0066_0019__good__hyphen__bye good-bye r_0066_0016__to_r_0066_0017__bid->r_0066_0019__good__hyphen__bye [arg1] r_0066_0014__the_r_0066_0015__Giant the Giant r_0066_0016__to_r_0066_0017__bid->r_0066_0014__the_r_0066_0015__Giant [arg2] r_0066_0011__they they r_0066_0016__to_r_0066_0017__bid->r_0066_0011__they [arg0] r_0066_0012__came->r_0066_0014__the_r_0066_0015__Giant to [clr] r_0066_0012__came->r_0066_0011__they [arg0] r_0066_0009__the_r_0066_0010__evening the evening r_0066_0012__came->r_0066_0009__the_r_0066_0010__evening in [nim] r_0066_0007__and and r_0066_0007__and->z_000_66_a_wilde_2_1888_44 [conj2] r_0066_0001__All_quant All [quant] r_0066_0007__and->r_0066_0001__All_quant [conj1] r_0066_0005__played played r_0066_0001__All_quant->r_0066_0005__played [scope] r_0066_0002__day day r_0066_0001__All_quant->r_0066_0002__day [restriction] r_0066_0004__they they r_0066_0005__played->r_0066_0004__they [arg0] r_0066_0005__played->r_0066_0002__day [nim] r_0066_0003__long long r_0066_0002__day->r_0066_0003__long [attrib] 
fof(formula,axiom,
    ? [R_66_7_AND,Z_66_A_WILDE_2_1888_44,R_66_16_TO_BID,R_66_19_GOOD_HYPHEN_BYE,R_66_12_CAME,R_66_11_THEY,R_66_9_THE_EVENING,R_66_14_THE_GIANT] :
      ( good_hyphen_bye(R_66_19_GOOD_HYPHEN_BYE)
      & they(R_66_11_THEY)
      & the_evening(R_66_9_THE_EVENING)
      & the_Giant(R_66_14_THE_GIANT)
      & ! [R_66_2_DAY,R_66_3_LONG] :
          ( ( long(R_66_3_LONG)
            & day(R_66_2_DAY)
            & attrib9(R_66_2_DAY,R_66_3_LONG) )
         => ? [R_66_5_PLAYED,R_66_4_THEY] :
              ( they(R_66_4_THEY)
              & played(R_66_5_PLAYED,R_66_4_THEY)
              & nim4(R_66_5_PLAYED,R_66_2_DAY) ) )
      & conj1(CONJ1)
      & and(R_66_7_AND)
      & conj2(R_66_7_AND,Z_66_A_WILDE_2_1888_44)
      & z_66_a_wilde_2_1888_44(Z_66_A_WILDE_2_1888_44)
      & conj1(Z_66_A_WILDE_2_1888_44,R_66_16_TO_BID)
      & to_bid(R_66_16_TO_BID,R_66_11_THEY,R_66_19_GOOD_HYPHEN_BYE,R_66_14_THE_GIANT)
      & conj2(Z_66_A_WILDE_2_1888_44,R_66_12_CAME)
      & came(R_66_12_CAME,R_66_11_THEY)
      & in_nim26(R_66_12_CAME,R_66_9_THE_EVENING)
      & to_clr39(R_66_12_CAME,R_66_14_THE_GIANT) ) ).


n66_a_wilde_2_1888 n66_a_wilde_2_1888__1_1_1_1_1_1 All n66_a_wilde_2_1888__1_1_1_1_2_1 day n66_a_wilde_2_1888__1_1_1_1_3_1_1 long n66_a_wilde_2_1888__1_1_1_2_1_1 they n66_a_wilde_2_1888__1_1_1_3_1 played n66_a_wilde_2_1888__1_1_2_1 , n66_a_wilde_2_1888__1_1_3_1_1 and n66_a_wilde_2_1888__1_1_3_2_1_1_1 in n66_a_wilde_2_1888__1_1_3_2_1_2_1_1 the n66_a_wilde_2_1888__1_1_3_2_1_2_2_1 evening n66_a_wilde_2_1888__1_1_3_2_2_1_1 they n66_a_wilde_2_1888__1_1_3_2_3_1 came n66_a_wilde_2_1888__1_1_3_2_4_1_1 to n66_a_wilde_2_1888__1_1_3_2_4_2_1_1 the n66_a_wilde_2_1888__1_1_3_2_4_2_2_1 Giant n66_a_wilde_2_1888__1_1_3_2_5_1_1_1 to n66_a_wilde_2_1888__1_1_3_2_5_1_2_1 bid n66_a_wilde_2_1888__1_1_3_2_5_1_3_1_1 him n66_a_wilde_2_1888__1_1_3_2_5_1_4_1_1 good-bye n66_a_wilde_2_1888__1_2_1 . n66_a_wilde_2_1888__1 IP-MAT n66_a_wilde_2_1888__1_1 ILYR n66_a_wilde_2_1888__1->n66_a_wilde_2_1888__1_1 n66_a_wilde_2_1888__1_2 PUNC n66_a_wilde_2_1888__1->n66_a_wilde_2_1888__1_2 n66_a_wilde_2_1888__1_1_1 ILYR n66_a_wilde_2_1888__1_1->n66_a_wilde_2_1888__1_1_1 n66_a_wilde_2_1888__1_1_2 PUNC n66_a_wilde_2_1888__1_1->n66_a_wilde_2_1888__1_1_2 n66_a_wilde_2_1888__1_1_3 CONJP n66_a_wilde_2_1888__1_1->n66_a_wilde_2_1888__1_1_3 n66_a_wilde_2_1888__1_1_1_1 NP-NIM n66_a_wilde_2_1888__1_1_1->n66_a_wilde_2_1888__1_1_1_1 n66_a_wilde_2_1888__1_1_1_2 NP-SBJ n66_a_wilde_2_1888__1_1_1->n66_a_wilde_2_1888__1_1_1_2 n66_a_wilde_2_1888__1_1_1_3 VBD;_I_ n66_a_wilde_2_1888__1_1_1->n66_a_wilde_2_1888__1_1_1_3 n66_a_wilde_2_1888__1_1_1_1_1 Q n66_a_wilde_2_1888__1_1_1_1->n66_a_wilde_2_1888__1_1_1_1_1 n66_a_wilde_2_1888__1_1_1_1_2 N n66_a_wilde_2_1888__1_1_1_1->n66_a_wilde_2_1888__1_1_1_1_2 n66_a_wilde_2_1888__1_1_1_1_3 ADJP n66_a_wilde_2_1888__1_1_1_1->n66_a_wilde_2_1888__1_1_1_1_3 n66_a_wilde_2_1888__1_1_1_1_1->n66_a_wilde_2_1888__1_1_1_1_1_1 n66_a_wilde_2_1888__1_1_1_1_2->n66_a_wilde_2_1888__1_1_1_1_2_1 n66_a_wilde_2_1888__1_1_1_1_3_1 ADJ n66_a_wilde_2_1888__1_1_1_1_3->n66_a_wilde_2_1888__1_1_1_1_3_1 n66_a_wilde_2_1888__1_1_1_1_3_1->n66_a_wilde_2_1888__1_1_1_1_3_1_1 n66_a_wilde_2_1888__1_1_1_2_1 PRO n66_a_wilde_2_1888__1_1_1_2->n66_a_wilde_2_1888__1_1_1_2_1 n66_a_wilde_2_1888__1_1_1_2_1->n66_a_wilde_2_1888__1_1_1_2_1_1 n66_a_wilde_2_1888__1_1_1_3->n66_a_wilde_2_1888__1_1_1_3_1 n66_a_wilde_2_1888__1_1_2->n66_a_wilde_2_1888__1_1_2_1 n66_a_wilde_2_1888__1_1_3_1 CONJ n66_a_wilde_2_1888__1_1_3->n66_a_wilde_2_1888__1_1_3_1 n66_a_wilde_2_1888__1_1_3_2 ILYR n66_a_wilde_2_1888__1_1_3->n66_a_wilde_2_1888__1_1_3_2 n66_a_wilde_2_1888__1_1_3_1->n66_a_wilde_2_1888__1_1_3_1_1 n66_a_wilde_2_1888__1_1_3_2_1 PP-NIM n66_a_wilde_2_1888__1_1_3_2->n66_a_wilde_2_1888__1_1_3_2_1 n66_a_wilde_2_1888__1_1_3_2_2 NP-SBJ n66_a_wilde_2_1888__1_1_3_2->n66_a_wilde_2_1888__1_1_3_2_2 n66_a_wilde_2_1888__1_1_3_2_3 VBD;_Ipr_ n66_a_wilde_2_1888__1_1_3_2->n66_a_wilde_2_1888__1_1_3_2_3 n66_a_wilde_2_1888__1_1_3_2_4 PP-CLR n66_a_wilde_2_1888__1_1_3_2->n66_a_wilde_2_1888__1_1_3_2_4 n66_a_wilde_2_1888__1_1_3_2_5 PP-SCON n66_a_wilde_2_1888__1_1_3_2->n66_a_wilde_2_1888__1_1_3_2_5 n66_a_wilde_2_1888__1_1_3_2_1_1 P-ROLE n66_a_wilde_2_1888__1_1_3_2_1->n66_a_wilde_2_1888__1_1_3_2_1_1 n66_a_wilde_2_1888__1_1_3_2_1_2 NP n66_a_wilde_2_1888__1_1_3_2_1->n66_a_wilde_2_1888__1_1_3_2_1_2 n66_a_wilde_2_1888__1_1_3_2_1_1->n66_a_wilde_2_1888__1_1_3_2_1_1_1 n66_a_wilde_2_1888__1_1_3_2_1_2_1 D n66_a_wilde_2_1888__1_1_3_2_1_2->n66_a_wilde_2_1888__1_1_3_2_1_2_1 n66_a_wilde_2_1888__1_1_3_2_1_2_2 N n66_a_wilde_2_1888__1_1_3_2_1_2->n66_a_wilde_2_1888__1_1_3_2_1_2_2 n66_a_wilde_2_1888__1_1_3_2_1_2_1->n66_a_wilde_2_1888__1_1_3_2_1_2_1_1 n66_a_wilde_2_1888__1_1_3_2_1_2_2->n66_a_wilde_2_1888__1_1_3_2_1_2_2_1 n66_a_wilde_2_1888__1_1_3_2_2_1 PRO n66_a_wilde_2_1888__1_1_3_2_2->n66_a_wilde_2_1888__1_1_3_2_2_1 n66_a_wilde_2_1888__1_1_3_2_2_1->n66_a_wilde_2_1888__1_1_3_2_2_1_1 n66_a_wilde_2_1888__1_1_3_2_3->n66_a_wilde_2_1888__1_1_3_2_3_1 n66_a_wilde_2_1888__1_1_3_2_4_1 P-ROLE n66_a_wilde_2_1888__1_1_3_2_4->n66_a_wilde_2_1888__1_1_3_2_4_1 n66_a_wilde_2_1888__1_1_3_2_4_2 NP n66_a_wilde_2_1888__1_1_3_2_4->n66_a_wilde_2_1888__1_1_3_2_4_2 n66_a_wilde_2_1888__1_1_3_2_4_1->n66_a_wilde_2_1888__1_1_3_2_4_1_1 n66_a_wilde_2_1888__1_1_3_2_4_2_1 D n66_a_wilde_2_1888__1_1_3_2_4_2->n66_a_wilde_2_1888__1_1_3_2_4_2_1 n66_a_wilde_2_1888__1_1_3_2_4_2_2 N n66_a_wilde_2_1888__1_1_3_2_4_2->n66_a_wilde_2_1888__1_1_3_2_4_2_2 n66_a_wilde_2_1888__1_1_3_2_4_2_1->n66_a_wilde_2_1888__1_1_3_2_4_2_1_1 n66_a_wilde_2_1888__1_1_3_2_4_2_2->n66_a_wilde_2_1888__1_1_3_2_4_2_2_1 n66_a_wilde_2_1888__1_1_3_2_5_1 IP-INF n66_a_wilde_2_1888__1_1_3_2_5->n66_a_wilde_2_1888__1_1_3_2_5_1 n66_a_wilde_2_1888__1_1_3_2_5_1_1 TO n66_a_wilde_2_1888__1_1_3_2_5_1->n66_a_wilde_2_1888__1_1_3_2_5_1_1 n66_a_wilde_2_1888__1_1_3_2_5_1_2 VB;_Dn.n_ n66_a_wilde_2_1888__1_1_3_2_5_1->n66_a_wilde_2_1888__1_1_3_2_5_1_2 n66_a_wilde_2_1888__1_1_3_2_5_1_3 NP-OB2 n66_a_wilde_2_1888__1_1_3_2_5_1->n66_a_wilde_2_1888__1_1_3_2_5_1_3 n66_a_wilde_2_1888__1_1_3_2_5_1_4 NP-OB1 n66_a_wilde_2_1888__1_1_3_2_5_1->n66_a_wilde_2_1888__1_1_3_2_5_1_4 n66_a_wilde_2_1888__1_1_3_2_5_1_1->n66_a_wilde_2_1888__1_1_3_2_5_1_1_1 n66_a_wilde_2_1888__1_1_3_2_5_1_2->n66_a_wilde_2_1888__1_1_3_2_5_1_2_1 n66_a_wilde_2_1888__1_1_3_2_5_1_3_1 PRO n66_a_wilde_2_1888__1_1_3_2_5_1_3->n66_a_wilde_2_1888__1_1_3_2_5_1_3_1 n66_a_wilde_2_1888__1_1_3_2_5_1_3_1->n66_a_wilde_2_1888__1_1_3_2_5_1_3_1_1 n66_a_wilde_2_1888__1_1_3_2_5_1_4_1 N n66_a_wilde_2_1888__1_1_3_2_5_1_4->n66_a_wilde_2_1888__1_1_3_2_5_1_4_1 n66_a_wilde_2_1888__1_1_3_2_5_1_4_1->n66_a_wilde_2_1888__1_1_3_2_5_1_4_1_1 n66_a_wilde_2_1888__1_2->n66_a_wilde_2_1888__1_2_1 
( (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))