Context                Previous, Next                Top


2_a_wilde_2_1888
Every afternoon, as they were coming from school, the children used to go and play in the Giant's garden.

%3 r_0002_0001__Every_quant Every [quant] r_0002_0002__afternoon afternoon r_0002_0001__Every_quant->r_0002_0002__afternoon [restriction] r_0002_0004__as as r_0002_0001__Every_quant->r_0002_0004__as [scope] r_0002_0006__were were r_0002_0004__as->r_0002_0006__were [restriction] r_0002_0013__used used r_0002_0004__as->r_0002_0013__used [scope] r_0002_0007__coming coming r_0002_0006__were->r_0002_0007__coming [scope] r_0002_0013__used->r_0002_0002__afternoon [nim] r_0002_0016__and and r_0002_0013__used->r_0002_0016__and [scope] r_0002_0005__they they r_0002_0007__coming->r_0002_0005__they [arg0] r_0002_0009__school school r_0002_0007__coming->r_0002_0009__school from [clr] r_0002_0015__go go r_0002_0016__and->r_0002_0015__go [conj1] r_0002_0017__play play r_0002_0016__and->r_0002_0017__play [conj2] r_0002_0011__the_r_0002_0012__children the children r_0002_0015__go->r_0002_0011__the_r_0002_0012__children [arg0] r_0002_0022__garden garden r_0002_0015__go->r_0002_0022__garden in [clr] r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s the Giant 's r_0002_0022__garden->r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s [gen] r_0002_0017__play->r_0002_0011__the_r_0002_0012__children [arg0] r_0002_0017__play->r_0002_0022__garden in [clr] 
arc(r_0002_0001__Every_quant, r_0002_0002__afternoon, restriction).
arc(r_0002_0001__Every_quant, r_0002_0004__as, scope).
arc(r_0002_0004__as, r_0002_0006__were, restriction).
arc(r_0002_0004__as, r_0002_0013__used, scope).
arc(r_0002_0006__were, r_0002_0007__coming, scope).
arc(r_0002_0007__coming, r_0002_0005__they, arg0).
arc(r_0002_0007__coming, r_0002_0009__school, r_0002_0008__from_clr24).
arc(r_0002_0013__used, r_0002_0002__afternoon, nim2).
arc(r_0002_0013__used, r_0002_0016__and, scope).
arc(r_0002_0015__go, r_0002_0011__the_r_0002_0012__children, arg0).
arc(r_0002_0015__go, r_0002_0022__garden, r_0002_0018__in_clr52).
arc(r_0002_0016__and, r_0002_0015__go, conj1).
arc(r_0002_0016__and, r_0002_0017__play, conj2).
arc(r_0002_0017__play, r_0002_0011__the_r_0002_0012__children, arg0).
arc(r_0002_0017__play, r_0002_0022__garden, r_0002_0018__in_clr52).
arc(r_0002_0022__garden, r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s, gen).


%3 r_0002_0001__Every_quant Every [quant] r_0002_0002__afternoon afternoon r_0002_0001__Every_quant->r_0002_0002__afternoon [restriction] r_0002_0004__as as r_0002_0001__Every_quant->r_0002_0004__as [scope] r_0002_0006__were_r_0002_0007__coming were coming r_0002_0004__as->r_0002_0006__were_r_0002_0007__coming [conj1] r_0002_0013__used used r_0002_0004__as->r_0002_0013__used [conj2] r_0002_0005__they they r_0002_0006__were_r_0002_0007__coming->r_0002_0005__they [arg0] r_0002_0009__school school r_0002_0006__were_r_0002_0007__coming->r_0002_0009__school from [clr] r_0002_0013__used->r_0002_0002__afternoon [nim] r_0002_0016__and and r_0002_0013__used->r_0002_0016__and [keep_scope] r_0002_0015__go go r_0002_0016__and->r_0002_0015__go [conj1] r_0002_0017__play play r_0002_0016__and->r_0002_0017__play [conj2] r_0002_0011__the_r_0002_0012__children the children r_0002_0015__go->r_0002_0011__the_r_0002_0012__children [arg0] r_0002_0022__garden garden r_0002_0015__go->r_0002_0022__garden in [clr] r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s the Giant 's r_0002_0022__garden->r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s [gen] r_0002_0017__play->r_0002_0011__the_r_0002_0012__children [arg0] r_0002_0017__play->r_0002_0022__garden in [clr] 
fof(formula,axiom,
    ! [R_2_2_AFTERNOON] :
      ( afternoon(R_2_2_AFTERNOON)
     => ? [R_2_4_AS,R_2_6_WERE_COMING,R_2_5_THEY,R_2_9_SCHOOL] :
          ( they(R_2_5_THEY)
          & school(R_2_9_SCHOOL)
          & as(R_2_4_AS)
          & conj1(R_2_4_AS,R_2_6_WERE_COMING)
          & were_coming(R_2_6_WERE_COMING,R_2_5_THEY)
          & from_clr24(R_2_6_WERE_COMING,R_2_9_SCHOOL)
          & conj2(R_2_4_AS,R_2_13_USED)
          & ? [R_2_16_AND,R_2_15_GO,R_2_17_PLAY,R_2_11_THE_CHILDREN,R_2_22_GARDEN,R_2_19_THE_GIANT_APOS_S] :
              ( the_children(R_2_11_THE_CHILDREN)
              & the_Giant_apos_s(R_2_19_THE_GIANT_APOS_S)
              & and(R_2_16_AND)
              & conj1(R_2_16_AND,R_2_15_GO)
              & go(R_2_15_GO,R_2_11_THE_CHILDREN)
              & in_clr52(R_2_15_GO,R_2_22_GARDEN)
              & garden(R_2_22_GARDEN)
              & gen(R_2_22_GARDEN,R_2_19_THE_GIANT_APOS_S)
              & conj2(R_2_16_AND,R_2_17_PLAY)
              & play(R_2_17_PLAY,R_2_11_THE_CHILDREN)
              & in_clr52(R_2_17_PLAY,R_2_22_GARDEN) ) ) ) ).


n2_a_wilde_2_1888 n2_a_wilde_2_1888_4 Every n2_a_wilde_2_1888_6 afternoon n2_a_wilde_2_1888_8 , n2_a_wilde_2_1888_11 as n2_a_wilde_2_1888_15 they n2_a_wilde_2_1888_17 were n2_a_wilde_2_1888_20 coming n2_a_wilde_2_1888_23 from n2_a_wilde_2_1888_26 school n2_a_wilde_2_1888_28 , n2_a_wilde_2_1888_31 the n2_a_wilde_2_1888_33 children n2_a_wilde_2_1888_35 used n2_a_wilde_2_1888_38 to n2_a_wilde_2_1888_42 go n2_a_wilde_2_1888_45 and n2_a_wilde_2_1888_48 play n2_a_wilde_2_1888_51 in n2_a_wilde_2_1888_55 the n2_a_wilde_2_1888_57 Giant n2_a_wilde_2_1888_59 's n2_a_wilde_2_1888_61 garden n2_a_wilde_2_1888_63 . n2_a_wilde_2_1888_1 IP-MAT n2_a_wilde_2_1888_2 NP-NIM n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_2 n2_a_wilde_2_1888_7 PUNC n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_7 n2_a_wilde_2_1888_9 PP-SCON n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_9 n2_a_wilde_2_1888_27 PUNC n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_27 n2_a_wilde_2_1888_29 NP-SBJ n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_29 n2_a_wilde_2_1888_34 MD;_cat_Vt_ n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_34 n2_a_wilde_2_1888_36 IP-INF-CAT n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_36 n2_a_wilde_2_1888_62 PUNC n2_a_wilde_2_1888_1->n2_a_wilde_2_1888_62 n2_a_wilde_2_1888_3 Q n2_a_wilde_2_1888_2->n2_a_wilde_2_1888_3 n2_a_wilde_2_1888_5 N n2_a_wilde_2_1888_2->n2_a_wilde_2_1888_5 n2_a_wilde_2_1888_3->n2_a_wilde_2_1888_4 n2_a_wilde_2_1888_5->n2_a_wilde_2_1888_6 n2_a_wilde_2_1888_7->n2_a_wilde_2_1888_8 n2_a_wilde_2_1888_10 P-CONN n2_a_wilde_2_1888_9->n2_a_wilde_2_1888_10 n2_a_wilde_2_1888_12 IP-ADV n2_a_wilde_2_1888_9->n2_a_wilde_2_1888_12 n2_a_wilde_2_1888_10->n2_a_wilde_2_1888_11 n2_a_wilde_2_1888_13 NP-SBJ n2_a_wilde_2_1888_12->n2_a_wilde_2_1888_13 n2_a_wilde_2_1888_16 BED;_cat_Vg_ n2_a_wilde_2_1888_12->n2_a_wilde_2_1888_16 n2_a_wilde_2_1888_18 IP-PPL-CAT n2_a_wilde_2_1888_12->n2_a_wilde_2_1888_18 n2_a_wilde_2_1888_14 PRO n2_a_wilde_2_1888_13->n2_a_wilde_2_1888_14 n2_a_wilde_2_1888_14->n2_a_wilde_2_1888_15 n2_a_wilde_2_1888_16->n2_a_wilde_2_1888_17 n2_a_wilde_2_1888_19 VAG;_Ipr_ n2_a_wilde_2_1888_18->n2_a_wilde_2_1888_19 n2_a_wilde_2_1888_21 PP-CLR n2_a_wilde_2_1888_18->n2_a_wilde_2_1888_21 n2_a_wilde_2_1888_19->n2_a_wilde_2_1888_20 n2_a_wilde_2_1888_22 P-ROLE n2_a_wilde_2_1888_21->n2_a_wilde_2_1888_22 n2_a_wilde_2_1888_24 NP n2_a_wilde_2_1888_21->n2_a_wilde_2_1888_24 n2_a_wilde_2_1888_22->n2_a_wilde_2_1888_23 n2_a_wilde_2_1888_25 N n2_a_wilde_2_1888_24->n2_a_wilde_2_1888_25 n2_a_wilde_2_1888_25->n2_a_wilde_2_1888_26 n2_a_wilde_2_1888_27->n2_a_wilde_2_1888_28 n2_a_wilde_2_1888_30 D n2_a_wilde_2_1888_29->n2_a_wilde_2_1888_30 n2_a_wilde_2_1888_32 NS n2_a_wilde_2_1888_29->n2_a_wilde_2_1888_32 n2_a_wilde_2_1888_30->n2_a_wilde_2_1888_31 n2_a_wilde_2_1888_32->n2_a_wilde_2_1888_33 n2_a_wilde_2_1888_34->n2_a_wilde_2_1888_35 n2_a_wilde_2_1888_37 TO n2_a_wilde_2_1888_36->n2_a_wilde_2_1888_37 n2_a_wilde_2_1888_39 ILYR n2_a_wilde_2_1888_36->n2_a_wilde_2_1888_39 n2_a_wilde_2_1888_49 PP-CLR n2_a_wilde_2_1888_36->n2_a_wilde_2_1888_49 n2_a_wilde_2_1888_37->n2_a_wilde_2_1888_38 n2_a_wilde_2_1888_40 ILYR n2_a_wilde_2_1888_39->n2_a_wilde_2_1888_40 n2_a_wilde_2_1888_43 CONJP n2_a_wilde_2_1888_39->n2_a_wilde_2_1888_43 n2_a_wilde_2_1888_41 VB;_Ipr_ n2_a_wilde_2_1888_40->n2_a_wilde_2_1888_41 n2_a_wilde_2_1888_41->n2_a_wilde_2_1888_42 n2_a_wilde_2_1888_44 CONJ n2_a_wilde_2_1888_43->n2_a_wilde_2_1888_44 n2_a_wilde_2_1888_46 ILYR n2_a_wilde_2_1888_43->n2_a_wilde_2_1888_46 n2_a_wilde_2_1888_44->n2_a_wilde_2_1888_45 n2_a_wilde_2_1888_47 VB;_Ipr_ n2_a_wilde_2_1888_46->n2_a_wilde_2_1888_47 n2_a_wilde_2_1888_47->n2_a_wilde_2_1888_48 n2_a_wilde_2_1888_50 P-ROLE n2_a_wilde_2_1888_49->n2_a_wilde_2_1888_50 n2_a_wilde_2_1888_52 NP n2_a_wilde_2_1888_49->n2_a_wilde_2_1888_52 n2_a_wilde_2_1888_50->n2_a_wilde_2_1888_51 n2_a_wilde_2_1888_53 NP-GEN n2_a_wilde_2_1888_52->n2_a_wilde_2_1888_53 n2_a_wilde_2_1888_60 N n2_a_wilde_2_1888_52->n2_a_wilde_2_1888_60 n2_a_wilde_2_1888_54 D n2_a_wilde_2_1888_53->n2_a_wilde_2_1888_54 n2_a_wilde_2_1888_56 N n2_a_wilde_2_1888_53->n2_a_wilde_2_1888_56 n2_a_wilde_2_1888_58 GENM n2_a_wilde_2_1888_53->n2_a_wilde_2_1888_58 n2_a_wilde_2_1888_54->n2_a_wilde_2_1888_55 n2_a_wilde_2_1888_56->n2_a_wilde_2_1888_57 n2_a_wilde_2_1888_58->n2_a_wilde_2_1888_59 n2_a_wilde_2_1888_60->n2_a_wilde_2_1888_61 n2_a_wilde_2_1888_62->n2_a_wilde_2_1888_63 
( (IP-MAT (NP-NIM (Q Every;{every})
                  (N afternoon;{afternoon}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{CHILDREN} (PRO they;{they}))
                           (BED;_cat_Vg_ were;{be})
                           (IP-PPL-CAT (VAG;_Ipr_ coming;{come[from]})
                                       (PP-CLR (P-ROLE from;{from})
                                               (NP (N school;{school}))))))
          (PUNC ,)
          (NP-SBJ;{CHILDREN} (D the;{the})
                             (NS children;{child}))
          (MD;_cat_Vt_ used;{used})
          (IP-INF-CAT (TO to;{to})
                      (ILYR (ILYR (VB;_Ipr_ go;{go[in]}))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ipr_ play;{play[in]}))))
                      (PP-CLR (P-ROLE in;{in})
                              (NP;{GARDEN} (NP-GEN (D the;{the})
                                                   (N Giant;{giant})
                                                   (GENM <apos>s))
                                           (N garden;{garden}))))
          (PUNC .))
  (ID 2_a_wilde_2_1888))