Context                Previous, Next                Top


60_a_wilde_1_1888
In the daytime I played with my companions in the garden, and in the evening I led the dance in the Great Hall.

%3 r_0060_0005__played played r_0060_0002__the_r_0060_0003__daytime the daytime r_0060_0005__played->r_0060_0002__the_r_0060_0003__daytime In [nim] r_0060_0004__I I r_0060_0005__played->r_0060_0004__I [arg0] r_0060_0008__companions companions r_0060_0005__played->r_0060_0008__companions with [nim] r_0060_0010__the_r_0060_0011__garden the garden r_0060_0005__played->r_0060_0010__the_r_0060_0011__garden in [nim] r_0060_0008__companions->r_0060_0004__I [gen] r_0060_0013__and and r_0060_0013__and->r_0060_0005__played [conj1] r_0060_0018__led led r_0060_0013__and->r_0060_0018__led [conj2] r_0060_0015__the_r_0060_0016__evening the evening r_0060_0018__led->r_0060_0015__the_r_0060_0016__evening in [nim] r_0060_0017__I I r_0060_0018__led->r_0060_0017__I [arg0] r_0060_0019__the_r_0060_0020__dance the dance r_0060_0018__led->r_0060_0019__the_r_0060_0020__dance [arg1] r_0060_0022__the_r_0060_0023__Great_r_0060_0024__Hall the Great Hall r_0060_0018__led->r_0060_0022__the_r_0060_0023__Great_r_0060_0024__Hall in [nim] 
arc(r_0060_0005__played, r_0060_0002__the_r_0060_0003__daytime, r_0060_0001__In_nim7).
arc(r_0060_0005__played, r_0060_0004__I, arg0).
arc(r_0060_0005__played, r_0060_0008__companions, r_0060_0006__with_nim20).
arc(r_0060_0005__played, r_0060_0010__the_r_0060_0011__garden, r_0060_0009__in_nim29).
arc(r_0060_0008__companions, r_0060_0004__I, gen).
arc(r_0060_0013__and, r_0060_0005__played, conj1).
arc(r_0060_0013__and, r_0060_0018__led, conj2).
arc(r_0060_0018__led, r_0060_0015__the_r_0060_0016__evening, r_0060_0014__in_nim43).
arc(r_0060_0018__led, r_0060_0017__I, arg0).
arc(r_0060_0018__led, r_0060_0019__the_r_0060_0020__dance, arg1).
arc(r_0060_0018__led, r_0060_0022__the_r_0060_0023__Great_r_0060_0024__Hall, r_0060_0021__in_nim61).


%3 r_0060_0005__played played r_0060_0002__the_r_0060_0003__daytime the daytime r_0060_0005__played->r_0060_0002__the_r_0060_0003__daytime In [nim] r_0060_0004__I I r_0060_0005__played->r_0060_0004__I [arg0] r_0060_0008__companions companions r_0060_0005__played->r_0060_0008__companions with [nim] r_0060_0010__the_r_0060_0011__garden the garden r_0060_0005__played->r_0060_0010__the_r_0060_0011__garden in [nim] r_0060_0008__companions->r_0060_0004__I [gen] r_0060_0013__and and r_0060_0013__and->r_0060_0005__played [conj1] r_0060_0018__led led r_0060_0013__and->r_0060_0018__led [conj2] r_0060_0015__the_r_0060_0016__evening the evening r_0060_0018__led->r_0060_0015__the_r_0060_0016__evening in [nim] r_0060_0017__I I r_0060_0018__led->r_0060_0017__I [arg0] r_0060_0019__the_r_0060_0020__dance the dance r_0060_0018__led->r_0060_0019__the_r_0060_0020__dance [arg1] r_0060_0022__the_r_0060_0023__Great_r_0060_0024__Hall the Great Hall r_0060_0018__led->r_0060_0022__the_r_0060_0023__Great_r_0060_0024__Hall in [nim] 
fof(formula,axiom,
    ? [R_60_13_AND,R_60_5_PLAYED,R_60_2_THE_DAYTIME,R_60_8_COMPANIONS,R_60_4_I,R_60_10_THE_GARDEN,R_60_18_LED,R_60_17_I,R_60_19_THE_DANCE,R_60_15_THE_EVENING,R_60_22_THE_GREAT_HALL] :
      ( the_daytime(R_60_2_THE_DAYTIME)
      & i(R_60_4_I)
      & the_garden(R_60_10_THE_GARDEN)
      & i(R_60_17_I)
      & the_dance(R_60_19_THE_DANCE)
      & the_evening(R_60_15_THE_EVENING)
      & the_Great_Hall(R_60_22_THE_GREAT_HALL)
      & and(R_60_13_AND)
      & conj1(R_60_13_AND,R_60_5_PLAYED)
      & played(R_60_5_PLAYED,R_60_4_I)
      & in_nim7(R_60_5_PLAYED,R_60_2_THE_DAYTIME)
      & with_nim20(R_60_5_PLAYED,R_60_8_COMPANIONS)
      & companions(R_60_8_COMPANIONS)
      & gen(R_60_8_COMPANIONS,R_60_4_I)
      & in_nim29(R_60_5_PLAYED,R_60_10_THE_GARDEN)
      & conj2(R_60_13_AND,R_60_18_LED)
      & led(R_60_18_LED,R_60_17_I,R_60_19_THE_DANCE)
      & in_nim43(R_60_18_LED,R_60_15_THE_EVENING)
      & in_nim61(R_60_18_LED,R_60_22_THE_GREAT_HALL) ) ).


n60_a_wilde_1_1888 n60_a_wilde_1_1888_6 In n60_a_wilde_1_1888_9 the n60_a_wilde_1_1888_11 daytime n60_a_wilde_1_1888_14 I n60_a_wilde_1_1888_16 played n60_a_wilde_1_1888_19 with n60_a_wilde_1_1888_23 my n60_a_wilde_1_1888_25 companions n60_a_wilde_1_1888_28 in n60_a_wilde_1_1888_31 the n60_a_wilde_1_1888_33 garden n60_a_wilde_1_1888_35 , n60_a_wilde_1_1888_38 and n60_a_wilde_1_1888_42 in n60_a_wilde_1_1888_45 the n60_a_wilde_1_1888_47 evening n60_a_wilde_1_1888_50 I n60_a_wilde_1_1888_52 led n60_a_wilde_1_1888_55 the n60_a_wilde_1_1888_57 dance n60_a_wilde_1_1888_60 in n60_a_wilde_1_1888_63 the n60_a_wilde_1_1888_65 Great n60_a_wilde_1_1888_67 Hall n60_a_wilde_1_1888_69 . n60_a_wilde_1_1888_1 IP-MAT n60_a_wilde_1_1888_2 ILYR n60_a_wilde_1_1888_1->n60_a_wilde_1_1888_2 n60_a_wilde_1_1888_68 PUNC n60_a_wilde_1_1888_1->n60_a_wilde_1_1888_68 n60_a_wilde_1_1888_3 ILYR n60_a_wilde_1_1888_2->n60_a_wilde_1_1888_3 n60_a_wilde_1_1888_34 PUNC n60_a_wilde_1_1888_2->n60_a_wilde_1_1888_34 n60_a_wilde_1_1888_36 CONJP n60_a_wilde_1_1888_2->n60_a_wilde_1_1888_36 n60_a_wilde_1_1888_4 PP-NIM n60_a_wilde_1_1888_3->n60_a_wilde_1_1888_4 n60_a_wilde_1_1888_12 NP-SBJ n60_a_wilde_1_1888_3->n60_a_wilde_1_1888_12 n60_a_wilde_1_1888_15 VBD;_I_ n60_a_wilde_1_1888_3->n60_a_wilde_1_1888_15 n60_a_wilde_1_1888_17 PP-NIM n60_a_wilde_1_1888_3->n60_a_wilde_1_1888_17 n60_a_wilde_1_1888_26 PP-NIM n60_a_wilde_1_1888_3->n60_a_wilde_1_1888_26 n60_a_wilde_1_1888_5 P-ROLE n60_a_wilde_1_1888_4->n60_a_wilde_1_1888_5 n60_a_wilde_1_1888_7 NP n60_a_wilde_1_1888_4->n60_a_wilde_1_1888_7 n60_a_wilde_1_1888_5->n60_a_wilde_1_1888_6 n60_a_wilde_1_1888_8 D n60_a_wilde_1_1888_7->n60_a_wilde_1_1888_8 n60_a_wilde_1_1888_10 N n60_a_wilde_1_1888_7->n60_a_wilde_1_1888_10 n60_a_wilde_1_1888_8->n60_a_wilde_1_1888_9 n60_a_wilde_1_1888_10->n60_a_wilde_1_1888_11 n60_a_wilde_1_1888_13 PRO n60_a_wilde_1_1888_12->n60_a_wilde_1_1888_13 n60_a_wilde_1_1888_13->n60_a_wilde_1_1888_14 n60_a_wilde_1_1888_15->n60_a_wilde_1_1888_16 n60_a_wilde_1_1888_18 P-ROLE n60_a_wilde_1_1888_17->n60_a_wilde_1_1888_18 n60_a_wilde_1_1888_20 NP n60_a_wilde_1_1888_17->n60_a_wilde_1_1888_20 n60_a_wilde_1_1888_18->n60_a_wilde_1_1888_19 n60_a_wilde_1_1888_21 NP-GEN n60_a_wilde_1_1888_20->n60_a_wilde_1_1888_21 n60_a_wilde_1_1888_24 NS n60_a_wilde_1_1888_20->n60_a_wilde_1_1888_24 n60_a_wilde_1_1888_22 PRO;_genm_ n60_a_wilde_1_1888_21->n60_a_wilde_1_1888_22 n60_a_wilde_1_1888_22->n60_a_wilde_1_1888_23 n60_a_wilde_1_1888_24->n60_a_wilde_1_1888_25 n60_a_wilde_1_1888_27 P-ROLE n60_a_wilde_1_1888_26->n60_a_wilde_1_1888_27 n60_a_wilde_1_1888_29 NP n60_a_wilde_1_1888_26->n60_a_wilde_1_1888_29 n60_a_wilde_1_1888_27->n60_a_wilde_1_1888_28 n60_a_wilde_1_1888_30 D n60_a_wilde_1_1888_29->n60_a_wilde_1_1888_30 n60_a_wilde_1_1888_32 N n60_a_wilde_1_1888_29->n60_a_wilde_1_1888_32 n60_a_wilde_1_1888_30->n60_a_wilde_1_1888_31 n60_a_wilde_1_1888_32->n60_a_wilde_1_1888_33 n60_a_wilde_1_1888_34->n60_a_wilde_1_1888_35 n60_a_wilde_1_1888_37 CONJ n60_a_wilde_1_1888_36->n60_a_wilde_1_1888_37 n60_a_wilde_1_1888_39 ILYR n60_a_wilde_1_1888_36->n60_a_wilde_1_1888_39 n60_a_wilde_1_1888_37->n60_a_wilde_1_1888_38 n60_a_wilde_1_1888_40 PP-NIM n60_a_wilde_1_1888_39->n60_a_wilde_1_1888_40 n60_a_wilde_1_1888_48 NP-SBJ n60_a_wilde_1_1888_39->n60_a_wilde_1_1888_48 n60_a_wilde_1_1888_51 VBD;_Tn_ n60_a_wilde_1_1888_39->n60_a_wilde_1_1888_51 n60_a_wilde_1_1888_53 NP-OB1 n60_a_wilde_1_1888_39->n60_a_wilde_1_1888_53 n60_a_wilde_1_1888_58 PP-NIM n60_a_wilde_1_1888_39->n60_a_wilde_1_1888_58 n60_a_wilde_1_1888_41 P-ROLE n60_a_wilde_1_1888_40->n60_a_wilde_1_1888_41 n60_a_wilde_1_1888_43 NP n60_a_wilde_1_1888_40->n60_a_wilde_1_1888_43 n60_a_wilde_1_1888_41->n60_a_wilde_1_1888_42 n60_a_wilde_1_1888_44 D n60_a_wilde_1_1888_43->n60_a_wilde_1_1888_44 n60_a_wilde_1_1888_46 N n60_a_wilde_1_1888_43->n60_a_wilde_1_1888_46 n60_a_wilde_1_1888_44->n60_a_wilde_1_1888_45 n60_a_wilde_1_1888_46->n60_a_wilde_1_1888_47 n60_a_wilde_1_1888_49 PRO n60_a_wilde_1_1888_48->n60_a_wilde_1_1888_49 n60_a_wilde_1_1888_49->n60_a_wilde_1_1888_50 n60_a_wilde_1_1888_51->n60_a_wilde_1_1888_52 n60_a_wilde_1_1888_54 D n60_a_wilde_1_1888_53->n60_a_wilde_1_1888_54 n60_a_wilde_1_1888_56 N n60_a_wilde_1_1888_53->n60_a_wilde_1_1888_56 n60_a_wilde_1_1888_54->n60_a_wilde_1_1888_55 n60_a_wilde_1_1888_56->n60_a_wilde_1_1888_57 n60_a_wilde_1_1888_59 P-ROLE n60_a_wilde_1_1888_58->n60_a_wilde_1_1888_59 n60_a_wilde_1_1888_61 NP n60_a_wilde_1_1888_58->n60_a_wilde_1_1888_61 n60_a_wilde_1_1888_59->n60_a_wilde_1_1888_60 n60_a_wilde_1_1888_62 D n60_a_wilde_1_1888_61->n60_a_wilde_1_1888_62 n60_a_wilde_1_1888_64 N n60_a_wilde_1_1888_61->n60_a_wilde_1_1888_64 n60_a_wilde_1_1888_66 N n60_a_wilde_1_1888_61->n60_a_wilde_1_1888_66 n60_a_wilde_1_1888_62->n60_a_wilde_1_1888_63 n60_a_wilde_1_1888_64->n60_a_wilde_1_1888_65 n60_a_wilde_1_1888_66->n60_a_wilde_1_1888_67 n60_a_wilde_1_1888_68->n60_a_wilde_1_1888_69 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (D the;{the})
                                  (N daytime;{daytime})))
                      (NP-SBJ;{PRINCE} (PRO I;{I}))
                      (VBD;_I_ played;{play})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (NP-GEN;{PRINCE} (PRO;_genm_ my;{my}))
                                  (NS companions;{companion})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N garden;{garden}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N evening;{evening})))
                             (NP-SBJ;{PRINCE} (PRO I;{I}))
                             (VBD;_Tn_ led;{lead})
                             (NP-OB1 (D the;{the})
                                     (N dance;{dance}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N Great;{great})
                                         (N Hall;{hall}))))))
          (PUNC .))
  (ID 60_a_wilde_1_1888))