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.
( (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))
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_r_0002_0008__from,scope).
arc(r_0002_0007__coming_r_0002_0008__from,r_0002_0009__school,arg1).
arc(r_0002_0007__coming_r_0002_0008__from,r_0002_0011__the_r_0002_0012__children,arg0).
arc(r_0002_0013__used,r_0002_0002__afternoon,nim).
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__clr).
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__clr).
arc(r_0002_0022__garden,r_0002_0019__the_r_0002_0020__Giant,gen).
fof(formula,axiom,
! [R_0002_0002__AFTERNOON] :
( r_0002_0002__afternoon(R_0002_0002__AFTERNOON)
=> ? [R_0002_0009__SCHOOL,R_0002_0011__THE_R_0002_0012__CHILDREN,R_0002_0006__WERE_R_0002_0007__COMING_R_0002_0008__FROM,R_0002_0019__THE_R_0002_0020__GIANT,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_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_0019__THE_R_0002_0020__GIANT)
& 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__clr(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)
& 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__clr(R_0002_0015__GO,R_0002_0022__GARDEN)
& has_arg0(R_0002_0015__GO,R_0002_0011__THE_R_0002_0012__CHILDREN)
& has_nim(R_0002_0013__USED,R_0002_0002__AFTERNOON)
& has_conj1(R_0002_0004__AS,R_0002_0006__WERE_R_0002_0007__COMING_R_0002_0008__FROM)
& r_0002_0006__were_r_0002_0007__coming_r_0002_0008__from(R_0002_0006__WERE_R_0002_0007__COMING_R_0002_0008__FROM)
& has_arg0(R_0002_0006__WERE_R_0002_0007__COMING_R_0002_0008__FROM,R_0002_0011__THE_R_0002_0012__CHILDREN)
& has_arg1(R_0002_0006__WERE_R_0002_0007__COMING_R_0002_0008__FROM,R_0002_0009__SCHOOL) ) ) ).