65_a_wilde_2_1888
And when the people were going to market at twelve o'clock they found the Giant playing with the children in the most beautiful garden they had ever seen.

%3 r_0065_0001__And_r_0065_0013__found And found r_0065_0003__the_r_0065_0004__people the people r_0065_0001__And_r_0065_0013__found->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0016__playing playing r_0065_0001__And_r_0065_0013__found->r_0065_0016__playing [arg1] r_0065_0014__the_r_0065_0015__Giant the Giant r_0065_0016__playing->r_0065_0014__the_r_0065_0015__Giant [arg0] r_0065_0018__the_r_0065_0019__children the children r_0065_0016__playing->r_0065_0018__the_r_0065_0019__children with [nim] r_0065_0021__the_r_0065_0024__garden the garden r_0065_0016__playing->r_0065_0021__the_r_0065_0024__garden in [nim] r_0065_0002__when when r_0065_0002__when->r_0065_0001__And_r_0065_0013__found [scope] r_0065_0005__were were r_0065_0002__when->r_0065_0005__were [restriction] r_0065_0006__going going r_0065_0005__were->r_0065_0006__going [scope] r_0065_0006__going->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0008__market market r_0065_0006__going->r_0065_0008__market to [nim] r_0065_0010__twelve twelve r_0065_0006__going->r_0065_0010__twelve at [nim] r_0065_0011__o_apos_clock o'clock r_0065_0010__twelve->r_0065_0011__o_apos_clock [qual] r_0065_0023__beautiful beautiful r_0065_0021__the_r_0065_0024__garden->r_0065_0023__beautiful [attrib] r_0065_0022__most most r_0065_0023__beautiful->r_0065_0022__most [qual] r_0065_0026__had had r_0065_0028__seen seen r_0065_0026__had->r_0065_0028__seen [scope] r_0065_0028__seen->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0028__seen->r_0065_0021__the_r_0065_0024__garden [arg1] r_0065_0027__ever ever r_0065_0028__seen->r_0065_0027__ever [nim]
arc(r_0065_0001__And_r_0065_0013__found, r_0065_0003__the_r_0065_0004__people, arg0).
arc(r_0065_0001__And_r_0065_0013__found, r_0065_0016__playing, arg1).
arc(r_0065_0002__when, r_0065_0001__And_r_0065_0013__found, scope).
arc(r_0065_0002__when, r_0065_0005__were, restriction).
arc(r_0065_0005__were, r_0065_0006__going, scope).
arc(r_0065_0006__going, r_0065_0003__the_r_0065_0004__people, arg0).
arc(r_0065_0006__going, r_0065_0008__market, r_0065_0007__to_nim21).
arc(r_0065_0006__going, r_0065_0010__twelve, r_0065_0009__at_nim27).
arc(r_0065_0010__twelve, r_0065_0011__o_apos_clock, qual30).
arc(r_0065_0016__playing, r_0065_0014__the_r_0065_0015__Giant, arg0).
arc(r_0065_0016__playing, r_0065_0018__the_r_0065_0019__children, r_0065_0017__with_nim49).
arc(r_0065_0016__playing, r_0065_0021__the_r_0065_0024__garden, r_0065_0020__in_nim57).
arc(r_0065_0021__the_r_0065_0024__garden, r_0065_0023__beautiful, attrib60).
arc(r_0065_0023__beautiful, r_0065_0022__most, qual61).
arc(r_0065_0026__had, r_0065_0028__seen, scope).
arc(r_0065_0028__seen, r_0065_0003__the_r_0065_0004__people, arg0).
arc(r_0065_0028__seen, r_0065_0021__the_r_0065_0024__garden, arg1).
arc(r_0065_0028__seen, r_0065_0027__ever, nim77).



%3 r_0065_0001__And_r_0065_0013__found And found r_0065_0003__the_r_0065_0004__people the people r_0065_0001__And_r_0065_0013__found->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0016__playing playing r_0065_0001__And_r_0065_0013__found->r_0065_0016__playing [arg1] r_0065_0014__the_r_0065_0015__Giant the Giant r_0065_0016__playing->r_0065_0014__the_r_0065_0015__Giant [arg0] r_0065_0018__the_r_0065_0019__children the children r_0065_0016__playing->r_0065_0018__the_r_0065_0019__children with [nim] r_0065_0021__the_r_0065_0024__garden the garden r_0065_0016__playing->r_0065_0021__the_r_0065_0024__garden in [nim] r_0065_0002__when when r_0065_0002__when->r_0065_0001__And_r_0065_0013__found [scope] r_0065_0005__were_r_0065_0006__going were going r_0065_0002__when->r_0065_0005__were_r_0065_0006__going [restriction] r_0065_0005__were_r_0065_0006__going->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0008__market market r_0065_0005__were_r_0065_0006__going->r_0065_0008__market to [nim] r_0065_0010__twelve twelve r_0065_0005__were_r_0065_0006__going->r_0065_0010__twelve at [nim] r_0065_0011__o_apos_clock o'clock r_0065_0010__twelve->r_0065_0011__o_apos_clock [qual] r_0065_0023__beautiful beautiful r_0065_0021__the_r_0065_0024__garden->r_0065_0023__beautiful [attrib] r_0065_0022__most most r_0065_0023__beautiful->r_0065_0022__most [qual] r_0065_0026__had_r_0065_0028__seen had seen r_0065_0026__had_r_0065_0028__seen->r_0065_0003__the_r_0065_0004__people [arg0] r_0065_0026__had_r_0065_0028__seen->r_0065_0021__the_r_0065_0024__garden [arg1] r_0065_0027__ever ever r_0065_0026__had_r_0065_0028__seen->r_0065_0027__ever [nim]
fof(formula,axiom,
    ? [R_65_26_HAD_SEEN,R_65_3_THE_PEOPLE,R_65_21_THE_GARDEN,R_65_23_BEAUTIFUL,R_65_22_MOST,R_65_27_EVER] :
      ( the_people(R_65_3_THE_PEOPLE)
      & most(R_65_22_MOST)
      & ever(R_65_27_EVER)
      & ! [R_65_5_WERE_GOING,R_65_8_MARKET,R_65_10_TWELVE,R_65_11_O_APOS_CLOCK] :
          ( ( market(R_65_8_MARKET)
            & o_apos_clock(R_65_11_O_APOS_CLOCK)
            & were_going(R_65_5_WERE_GOING,R_65_3_THE_PEOPLE)
            & to_nim21(R_65_5_WERE_GOING,R_65_8_MARKET)
            & at_nim27(R_65_5_WERE_GOING,R_65_10_TWELVE)
            & twelve(R_65_10_TWELVE)
            & qual30(R_65_10_TWELVE,R_65_11_O_APOS_CLOCK) )
         => ? [R_65_1_AND_FOUND,R_65_16_PLAYING,R_65_14_THE_GIANT,R_65_18_THE_CHILDREN] :
              ( the_Giant(R_65_14_THE_GIANT)
              & the_children(R_65_18_THE_CHILDREN)
              & and_found(R_65_1_AND_FOUND,R_65_3_THE_PEOPLE,R_65_16_PLAYING)
              & playing(R_65_16_PLAYING,R_65_14_THE_GIANT)
              & with_nim49(R_65_16_PLAYING,R_65_18_THE_CHILDREN)
              & in_nim57(R_65_16_PLAYING,R_65_21_THE_GARDEN) ) )
      & had_seen(R_65_26_HAD_SEEN,R_65_3_THE_PEOPLE,R_65_21_THE_GARDEN)
      & the_garden(R_65_21_THE_GARDEN)
      & attrib60(R_65_21_THE_GARDEN,R_65_23_BEAUTIFUL)
      & beautiful(R_65_23_BEAUTIFUL)
      & qual61(R_65_23_BEAUTIFUL,R_65_22_MOST)
      & nim77(R_65_26_HAD_SEEN,R_65_27_EVER) ) ).



n65_a_wilde_2_1888 n65_a_wilde_2_1888_3 And n65_a_wilde_2_1888_6 when n65_a_wilde_2_1888_10 the n65_a_wilde_2_1888_12 people n65_a_wilde_2_1888_14 were n65_a_wilde_2_1888_17 going n65_a_wilde_2_1888_20 to n65_a_wilde_2_1888_23 market n65_a_wilde_2_1888_26 at n65_a_wilde_2_1888_29 twelve n65_a_wilde_2_1888_32 o'clock n65_a_wilde_2_1888_35 they n65_a_wilde_2_1888_37 found n65_a_wilde_2_1888_40 the n65_a_wilde_2_1888_42 Giant n65_a_wilde_2_1888_45 playing n65_a_wilde_2_1888_48 with n65_a_wilde_2_1888_51 the n65_a_wilde_2_1888_53 children n65_a_wilde_2_1888_56 in n65_a_wilde_2_1888_59 the n65_a_wilde_2_1888_63 most n65_a_wilde_2_1888_65 beautiful n65_a_wilde_2_1888_67 garden n65_a_wilde_2_1888_71 they n65_a_wilde_2_1888_73 had n65_a_wilde_2_1888_76 *T* n65_a_wilde_2_1888_79 ever n65_a_wilde_2_1888_81 seen n65_a_wilde_2_1888_83 . n65_a_wilde_2_1888_1 IP-MAT n65_a_wilde_2_1888_2 CONJ;_cl_ n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_2 n65_a_wilde_2_1888_4 PP-SCON n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_4 n65_a_wilde_2_1888_33 NP-SBJ n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_33 n65_a_wilde_2_1888_36 VBD;__ n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_36 n65_a_wilde_2_1888_38 NP-DOB1 n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_38 n65_a_wilde_2_1888_43 IP-PPL-OB1 n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_43 n65_a_wilde_2_1888_82 PUNC n65_a_wilde_2_1888_1->n65_a_wilde_2_1888_82 n65_a_wilde_2_1888_2->n65_a_wilde_2_1888_3 n65_a_wilde_2_1888_5 P-CONN n65_a_wilde_2_1888_4->n65_a_wilde_2_1888_5 n65_a_wilde_2_1888_7 IP-ADV n65_a_wilde_2_1888_4->n65_a_wilde_2_1888_7 n65_a_wilde_2_1888_5->n65_a_wilde_2_1888_6 n65_a_wilde_2_1888_8 NP-SBJ n65_a_wilde_2_1888_7->n65_a_wilde_2_1888_8 n65_a_wilde_2_1888_13 BED;_cat_Vg_ n65_a_wilde_2_1888_7->n65_a_wilde_2_1888_13 n65_a_wilde_2_1888_15 IP-PPL-CAT n65_a_wilde_2_1888_7->n65_a_wilde_2_1888_15 n65_a_wilde_2_1888_9 D n65_a_wilde_2_1888_8->n65_a_wilde_2_1888_9 n65_a_wilde_2_1888_11 NS n65_a_wilde_2_1888_8->n65_a_wilde_2_1888_11 n65_a_wilde_2_1888_9->n65_a_wilde_2_1888_10 n65_a_wilde_2_1888_11->n65_a_wilde_2_1888_12 n65_a_wilde_2_1888_13->n65_a_wilde_2_1888_14 n65_a_wilde_2_1888_16 VAG;__ n65_a_wilde_2_1888_15->n65_a_wilde_2_1888_16 n65_a_wilde_2_1888_18 PP-NIM n65_a_wilde_2_1888_15->n65_a_wilde_2_1888_18 n65_a_wilde_2_1888_24 PP-NIM n65_a_wilde_2_1888_15->n65_a_wilde_2_1888_24 n65_a_wilde_2_1888_16->n65_a_wilde_2_1888_17 n65_a_wilde_2_1888_19 P-ROLE n65_a_wilde_2_1888_18->n65_a_wilde_2_1888_19 n65_a_wilde_2_1888_21 NP n65_a_wilde_2_1888_18->n65_a_wilde_2_1888_21 n65_a_wilde_2_1888_19->n65_a_wilde_2_1888_20 n65_a_wilde_2_1888_22 N n65_a_wilde_2_1888_21->n65_a_wilde_2_1888_22 n65_a_wilde_2_1888_22->n65_a_wilde_2_1888_23 n65_a_wilde_2_1888_25 P-ROLE n65_a_wilde_2_1888_24->n65_a_wilde_2_1888_25 n65_a_wilde_2_1888_27 NP n65_a_wilde_2_1888_24->n65_a_wilde_2_1888_27 n65_a_wilde_2_1888_25->n65_a_wilde_2_1888_26 n65_a_wilde_2_1888_28 NUM n65_a_wilde_2_1888_27->n65_a_wilde_2_1888_28 n65_a_wilde_2_1888_30 ADVP n65_a_wilde_2_1888_27->n65_a_wilde_2_1888_30 n65_a_wilde_2_1888_28->n65_a_wilde_2_1888_29 n65_a_wilde_2_1888_31 ADV n65_a_wilde_2_1888_30->n65_a_wilde_2_1888_31 n65_a_wilde_2_1888_31->n65_a_wilde_2_1888_32 n65_a_wilde_2_1888_34 PRO n65_a_wilde_2_1888_33->n65_a_wilde_2_1888_34 n65_a_wilde_2_1888_34->n65_a_wilde_2_1888_35 n65_a_wilde_2_1888_36->n65_a_wilde_2_1888_37 n65_a_wilde_2_1888_39 D n65_a_wilde_2_1888_38->n65_a_wilde_2_1888_39 n65_a_wilde_2_1888_41 N n65_a_wilde_2_1888_38->n65_a_wilde_2_1888_41 n65_a_wilde_2_1888_39->n65_a_wilde_2_1888_40 n65_a_wilde_2_1888_41->n65_a_wilde_2_1888_42 n65_a_wilde_2_1888_44 VAG;__ n65_a_wilde_2_1888_43->n65_a_wilde_2_1888_44 n65_a_wilde_2_1888_46 PP-NIM n65_a_wilde_2_1888_43->n65_a_wilde_2_1888_46 n65_a_wilde_2_1888_54 PP-NIM n65_a_wilde_2_1888_43->n65_a_wilde_2_1888_54 n65_a_wilde_2_1888_44->n65_a_wilde_2_1888_45 n65_a_wilde_2_1888_47 P-ROLE n65_a_wilde_2_1888_46->n65_a_wilde_2_1888_47 n65_a_wilde_2_1888_49 NP n65_a_wilde_2_1888_46->n65_a_wilde_2_1888_49 n65_a_wilde_2_1888_47->n65_a_wilde_2_1888_48 n65_a_wilde_2_1888_50 D n65_a_wilde_2_1888_49->n65_a_wilde_2_1888_50 n65_a_wilde_2_1888_52 NS n65_a_wilde_2_1888_49->n65_a_wilde_2_1888_52 n65_a_wilde_2_1888_50->n65_a_wilde_2_1888_51 n65_a_wilde_2_1888_52->n65_a_wilde_2_1888_53 n65_a_wilde_2_1888_55 P-ROLE n65_a_wilde_2_1888_54->n65_a_wilde_2_1888_55 n65_a_wilde_2_1888_57 NP n65_a_wilde_2_1888_54->n65_a_wilde_2_1888_57 n65_a_wilde_2_1888_55->n65_a_wilde_2_1888_56 n65_a_wilde_2_1888_58 D n65_a_wilde_2_1888_57->n65_a_wilde_2_1888_58 n65_a_wilde_2_1888_60 ADJP n65_a_wilde_2_1888_57->n65_a_wilde_2_1888_60 n65_a_wilde_2_1888_66 N n65_a_wilde_2_1888_57->n65_a_wilde_2_1888_66 n65_a_wilde_2_1888_68 IP-REL n65_a_wilde_2_1888_57->n65_a_wilde_2_1888_68 n65_a_wilde_2_1888_58->n65_a_wilde_2_1888_59 n65_a_wilde_2_1888_61 ADVP n65_a_wilde_2_1888_60->n65_a_wilde_2_1888_61 n65_a_wilde_2_1888_64 ADJ n65_a_wilde_2_1888_60->n65_a_wilde_2_1888_64 n65_a_wilde_2_1888_62 ADVS n65_a_wilde_2_1888_61->n65_a_wilde_2_1888_62 n65_a_wilde_2_1888_62->n65_a_wilde_2_1888_63 n65_a_wilde_2_1888_64->n65_a_wilde_2_1888_65 n65_a_wilde_2_1888_66->n65_a_wilde_2_1888_67 n65_a_wilde_2_1888_69 NP-SBJ n65_a_wilde_2_1888_68->n65_a_wilde_2_1888_69 n65_a_wilde_2_1888_72 HVD;_cat_Ve_ n65_a_wilde_2_1888_68->n65_a_wilde_2_1888_72 n65_a_wilde_2_1888_74 IP-PPL-CAT n65_a_wilde_2_1888_68->n65_a_wilde_2_1888_74 n65_a_wilde_2_1888_70 PRO n65_a_wilde_2_1888_69->n65_a_wilde_2_1888_70 n65_a_wilde_2_1888_70->n65_a_wilde_2_1888_71 n65_a_wilde_2_1888_72->n65_a_wilde_2_1888_73 n65_a_wilde_2_1888_75 NP-OB1 n65_a_wilde_2_1888_74->n65_a_wilde_2_1888_75 n65_a_wilde_2_1888_77 ADVP-NIM n65_a_wilde_2_1888_74->n65_a_wilde_2_1888_77 n65_a_wilde_2_1888_80 VVN;_Tn_ n65_a_wilde_2_1888_74->n65_a_wilde_2_1888_80 n65_a_wilde_2_1888_75->n65_a_wilde_2_1888_76 n65_a_wilde_2_1888_78 ADV n65_a_wilde_2_1888_77->n65_a_wilde_2_1888_78 n65_a_wilde_2_1888_78->n65_a_wilde_2_1888_79 n65_a_wilde_2_1888_80->n65_a_wilde_2_1888_81 n65_a_wilde_2_1888_82->n65_a_wilde_2_1888_83
( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{PEOPLE} (D the;{the})
                                            (NS people;{people}))
                           (BED;_cat_Vg_ were;{be})
                           (IP-PPL-CAT (VAG;__ going;{go})
                                       (PP-NIM (P-ROLE to;{to})
                                               (NP (N market;{market})))
                                       (PP-NIM (P-ROLE at;{at})
                                               (NP (NUM twelve;{twelve})
                                                   (ADVP (ADV o<apos>clock;{o<apos>clock})))))))
          (NP-SBJ;{PEOPLE} (PRO they;{they}))
          (VBD;__ found;{find})
          (NP-DOB1;{GIANT} (D the;{the})
                           (N Giant;{giant}))
          (IP-PPL-OB1 (VAG;__ playing;{play})
                      (PP-NIM (P-ROLE with;{with})
                              (NP;{CHILDREN} (D the;{the})
                                             (NS children;{child})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (ADJP (ADVP (ADVS most;{most}))
                                        (ADJ beautiful;{beautiful}))
                                  (N garden;{garden})
                                  (IP-REL (NP-SBJ;{PEOPLE} (PRO they;{they}))
                                          (HVD;_cat_Ve_ had;{have})
                                          (IP-PPL-CAT (NP-OB1 *T*)
                                                      (ADVP-NIM (ADV ever;{ever}))
                                                      (VVN;_Tn_ seen;{see}))))))
          (PUNC .))
  (ID 65_a_wilde_2_1888))