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 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 [conj2] 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_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] 
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_6 All n66_a_wilde_2_1888_8 day n66_a_wilde_2_1888_11 long n66_a_wilde_2_1888_14 they n66_a_wilde_2_1888_16 played n66_a_wilde_2_1888_18 , n66_a_wilde_2_1888_21 and n66_a_wilde_2_1888_25 in n66_a_wilde_2_1888_28 the n66_a_wilde_2_1888_30 evening n66_a_wilde_2_1888_33 they n66_a_wilde_2_1888_35 came n66_a_wilde_2_1888_38 to n66_a_wilde_2_1888_41 the n66_a_wilde_2_1888_43 Giant n66_a_wilde_2_1888_47 to n66_a_wilde_2_1888_49 bid n66_a_wilde_2_1888_52 him n66_a_wilde_2_1888_55 good-bye n66_a_wilde_2_1888_57 . n66_a_wilde_2_1888_1 IP-MAT n66_a_wilde_2_1888_2 ILYR n66_a_wilde_2_1888_1->n66_a_wilde_2_1888_2 n66_a_wilde_2_1888_56 PUNC n66_a_wilde_2_1888_1->n66_a_wilde_2_1888_56 n66_a_wilde_2_1888_3 ILYR n66_a_wilde_2_1888_2->n66_a_wilde_2_1888_3 n66_a_wilde_2_1888_17 PUNC n66_a_wilde_2_1888_2->n66_a_wilde_2_1888_17 n66_a_wilde_2_1888_19 CONJP n66_a_wilde_2_1888_2->n66_a_wilde_2_1888_19 n66_a_wilde_2_1888_4 NP-NIM n66_a_wilde_2_1888_3->n66_a_wilde_2_1888_4 n66_a_wilde_2_1888_12 NP-SBJ n66_a_wilde_2_1888_3->n66_a_wilde_2_1888_12 n66_a_wilde_2_1888_15 VBD;_I_ n66_a_wilde_2_1888_3->n66_a_wilde_2_1888_15 n66_a_wilde_2_1888_5 Q n66_a_wilde_2_1888_4->n66_a_wilde_2_1888_5 n66_a_wilde_2_1888_7 N n66_a_wilde_2_1888_4->n66_a_wilde_2_1888_7 n66_a_wilde_2_1888_9 ADJP n66_a_wilde_2_1888_4->n66_a_wilde_2_1888_9 n66_a_wilde_2_1888_5->n66_a_wilde_2_1888_6 n66_a_wilde_2_1888_7->n66_a_wilde_2_1888_8 n66_a_wilde_2_1888_10 ADJ n66_a_wilde_2_1888_9->n66_a_wilde_2_1888_10 n66_a_wilde_2_1888_10->n66_a_wilde_2_1888_11 n66_a_wilde_2_1888_13 PRO n66_a_wilde_2_1888_12->n66_a_wilde_2_1888_13 n66_a_wilde_2_1888_13->n66_a_wilde_2_1888_14 n66_a_wilde_2_1888_15->n66_a_wilde_2_1888_16 n66_a_wilde_2_1888_17->n66_a_wilde_2_1888_18 n66_a_wilde_2_1888_20 CONJ n66_a_wilde_2_1888_19->n66_a_wilde_2_1888_20 n66_a_wilde_2_1888_22 ILYR n66_a_wilde_2_1888_19->n66_a_wilde_2_1888_22 n66_a_wilde_2_1888_20->n66_a_wilde_2_1888_21 n66_a_wilde_2_1888_23 PP-NIM n66_a_wilde_2_1888_22->n66_a_wilde_2_1888_23 n66_a_wilde_2_1888_31 NP-SBJ n66_a_wilde_2_1888_22->n66_a_wilde_2_1888_31 n66_a_wilde_2_1888_34 VBD;_Ipr_ n66_a_wilde_2_1888_22->n66_a_wilde_2_1888_34 n66_a_wilde_2_1888_36 PP-CLR n66_a_wilde_2_1888_22->n66_a_wilde_2_1888_36 n66_a_wilde_2_1888_44 PP-SCON n66_a_wilde_2_1888_22->n66_a_wilde_2_1888_44 n66_a_wilde_2_1888_24 P-ROLE n66_a_wilde_2_1888_23->n66_a_wilde_2_1888_24 n66_a_wilde_2_1888_26 NP n66_a_wilde_2_1888_23->n66_a_wilde_2_1888_26 n66_a_wilde_2_1888_24->n66_a_wilde_2_1888_25 n66_a_wilde_2_1888_27 D n66_a_wilde_2_1888_26->n66_a_wilde_2_1888_27 n66_a_wilde_2_1888_29 N n66_a_wilde_2_1888_26->n66_a_wilde_2_1888_29 n66_a_wilde_2_1888_27->n66_a_wilde_2_1888_28 n66_a_wilde_2_1888_29->n66_a_wilde_2_1888_30 n66_a_wilde_2_1888_32 PRO n66_a_wilde_2_1888_31->n66_a_wilde_2_1888_32 n66_a_wilde_2_1888_32->n66_a_wilde_2_1888_33 n66_a_wilde_2_1888_34->n66_a_wilde_2_1888_35 n66_a_wilde_2_1888_37 P-ROLE n66_a_wilde_2_1888_36->n66_a_wilde_2_1888_37 n66_a_wilde_2_1888_39 NP n66_a_wilde_2_1888_36->n66_a_wilde_2_1888_39 n66_a_wilde_2_1888_37->n66_a_wilde_2_1888_38 n66_a_wilde_2_1888_40 D n66_a_wilde_2_1888_39->n66_a_wilde_2_1888_40 n66_a_wilde_2_1888_42 N n66_a_wilde_2_1888_39->n66_a_wilde_2_1888_42 n66_a_wilde_2_1888_40->n66_a_wilde_2_1888_41 n66_a_wilde_2_1888_42->n66_a_wilde_2_1888_43 n66_a_wilde_2_1888_45 IP-INF n66_a_wilde_2_1888_44->n66_a_wilde_2_1888_45 n66_a_wilde_2_1888_46 TO n66_a_wilde_2_1888_45->n66_a_wilde_2_1888_46 n66_a_wilde_2_1888_48 VB;_Dn.n_ n66_a_wilde_2_1888_45->n66_a_wilde_2_1888_48 n66_a_wilde_2_1888_50 NP-OB2 n66_a_wilde_2_1888_45->n66_a_wilde_2_1888_50 n66_a_wilde_2_1888_53 NP-OB1 n66_a_wilde_2_1888_45->n66_a_wilde_2_1888_53 n66_a_wilde_2_1888_46->n66_a_wilde_2_1888_47 n66_a_wilde_2_1888_48->n66_a_wilde_2_1888_49 n66_a_wilde_2_1888_51 PRO n66_a_wilde_2_1888_50->n66_a_wilde_2_1888_51 n66_a_wilde_2_1888_51->n66_a_wilde_2_1888_52 n66_a_wilde_2_1888_54 N n66_a_wilde_2_1888_53->n66_a_wilde_2_1888_54 n66_a_wilde_2_1888_54->n66_a_wilde_2_1888_55 n66_a_wilde_2_1888_56->n66_a_wilde_2_1888_57 
( (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))