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.
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).
fof(formula,axiom,
! [R_0002_0002__AFTERNOON] :
( r_0002_0002__afternoon(R_0002_0002__AFTERNOON)
=> ? [R_0002_0005__THEY,R_0002_0009__SCHOOL,R_0002_0006__WERE_R_0002_0007__COMING,R_0002_0011__THE_R_0002_0012__CHILDREN,R_0002_0019__THE_R_0002_0020__GIANT_R_0002_0021___APOS_S,R_0002_0022__GARDEN,R_0002_0015__GO,R_0002_0017__PLAY,R_0002_0016__AND,R_0002_0013__USED,R_0002_0004__AS] :
( r_0002_0005__they(R_0002_0005__THEY)
& r_0002_0009__school(R_0002_0009__SCHOOL)
& r_0002_0011__the_r_0002_0012__children(R_0002_0011__THE_R_0002_0012__CHILDREN)
& r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s(R_0002_0019__THE_R_0002_0020__GIANT_R_0002_0021___APOS_S)
& r_0002_0004__as(R_0002_0004__AS)
& has_conj2(R_0002_0004__AS,R_0002_0013__USED)
& r_0002_0013__used(R_0002_0013__USED)
& has_keep_scope(R_0002_0013__USED,R_0002_0016__AND)
& r_0002_0016__and(R_0002_0016__AND)
& has_conj2(R_0002_0016__AND,R_0002_0017__PLAY)
& r_0002_0017__play(R_0002_0017__PLAY)
& has_r_0002_0018__in_clr52(R_0002_0017__PLAY,R_0002_0022__GARDEN)
& r_0002_0022__garden(R_0002_0022__GARDEN)
& has_gen(R_0002_0022__GARDEN,R_0002_0019__THE_R_0002_0020__GIANT_R_0002_0021___APOS_S)
& has_arg0(R_0002_0017__PLAY,R_0002_0011__THE_R_0002_0012__CHILDREN)
& has_conj1(R_0002_0016__AND,R_0002_0015__GO)
& r_0002_0015__go(R_0002_0015__GO)
& has_r_0002_0018__in_clr52(R_0002_0015__GO,R_0002_0022__GARDEN)
& has_arg0(R_0002_0015__GO,R_0002_0011__THE_R_0002_0012__CHILDREN)
& has_nim2(R_0002_0013__USED,R_0002_0002__AFTERNOON)
& has_conj1(R_0002_0004__AS,R_0002_0006__WERE_R_0002_0007__COMING)
& r_0002_0006__were_r_0002_0007__coming(R_0002_0006__WERE_R_0002_0007__COMING)
& has_r_0002_0008__from_clr24(R_0002_0006__WERE_R_0002_0007__COMING,R_0002_0009__SCHOOL)
& has_arg0(R_0002_0006__WERE_R_0002_0007__COMING,R_0002_0005__THEY) ) ) ).
( (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))