63_a_wilde_2_1888
And the other children, when they saw that the Giant was not wicked any longer, came running back, and with them came the Spring.
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
(NP-SBJ;{CHILDREN} (D the;{the})
(ADJP (ADJ other;{other}))
(NS children;{child}))
(PUNC ,)
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{CHILDREN} (PRO they;{they}))
(VBD;_Tf_ saw;{see})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{GIANT} (D the;{the})
(N Giant;{giant}))
(BED;_La_ was;{be})
(NEG not;{not})
(ADJP-PRD (ADJ wicked;{wicked}))
(ADVP-NIM (NP (D;_nphd_ any;{any}))
(ADVR longer;{long}))))))
(PUNC ,)
(VBD;_cat_Vg_ came;{come})
(IP-PPL-CAT (VAG;_Ip_ running;{run[back]})
(ADVP-CLR (RP back;{back}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (PP-TPC-NIM (P-ROLE with;{with})
(NP;{CHILDREN} (PRO them;{they})))
(VBD;_I_ came;{come})
(NP-SBJ (D the;{the})
(NPR Spring;{Spring})))))
(PUNC .))
(ID 63_a_wilde_2_1888))
arc(r_0063_0002__the_r_0063_0004__children,r_0063_0003__other,attrib).
arc(r_0063_0006__when,r_0063_0008__saw,restriction).
arc(r_0063_0006__when,r_0063_0018__came,scope).
arc(r_0063_0008__saw,r_0063_0002__the_r_0063_0004__children,arg0).
arc(r_0063_0008__saw,r_0063_0013__not,arg1).
arc(r_0063_0012__was,r_0063_0010__the_r_0063_0011__Giant,arg0).
arc(r_0063_0012__was,r_0063_0014__wicked,prd).
arc(r_0063_0012__was,r_0063_0016__longer,nim).
arc(r_0063_0013__not,r_0063_0012__was,keep_scope).
arc(r_0063_0016__longer,r_0063_0015__any,nim).
arc(r_0063_0018__came,r_0063_0019__running_r_0063_0020__back,scope).
arc(r_0063_0019__running_r_0063_0020__back,r_0063_0002__the_r_0063_0004__children,arg0).
arc(r_0063_0022__and,r_0063_0006__when,conj1).
arc(r_0063_0022__and,r_0063_0025__came,conj2).
arc(r_0063_0025__came,r_0063_0002__the_r_0063_0004__children,r_0063_0023__with__nim).
arc(r_0063_0025__came,r_0063_0026__the_r_0063_0027__Spring,arg0).
fof(formula,axiom,
? [R_0063_0003__OTHER,R_0063_0002__THE_R_0063_0004__CHILDREN,R_0063_0026__THE_R_0063_0027__SPRING,R_0063_0025__CAME,R_0063_0022__AND] :
( r_0063_0003__other(R_0063_0003__OTHER)
& r_0063_0026__the_r_0063_0027__Spring(R_0063_0026__THE_R_0063_0027__SPRING)
& r_0063_0022__and(R_0063_0022__AND)
& has_conj2(R_0063_0022__AND,R_0063_0025__CAME)
& r_0063_0025__came(R_0063_0025__CAME)
& has_arg0(R_0063_0025__CAME,R_0063_0026__THE_R_0063_0027__SPRING)
& has_r_0063_0023__with__nim(R_0063_0025__CAME,R_0063_0002__THE_R_0063_0004__CHILDREN)
& r_0063_0002__the_r_0063_0004__children(R_0063_0002__THE_R_0063_0004__CHILDREN)
& has_attrib(R_0063_0002__THE_R_0063_0004__CHILDREN,R_0063_0003__OTHER)
& ! [R_0063_0008__SAW] :
( ( r_0063_0008__saw(R_0063_0008__SAW)
& has_arg1(R_0063_0008__SAW,R_0063_0013__NOT)
& ~ ? [R_0063_0010__THE_R_0063_0011__GIANT,R_0063_0014__WICKED,R_0063_0015__ANY,R_0063_0016__LONGER,R_0063_0012__WAS] :
( r_0063_0010__the_r_0063_0011__Giant(R_0063_0010__THE_R_0063_0011__GIANT)
& r_0063_0014__wicked(R_0063_0014__WICKED)
& r_0063_0015__any(R_0063_0015__ANY)
& r_0063_0012__was(R_0063_0012__WAS)
& has_nim(R_0063_0012__WAS,R_0063_0016__LONGER)
& r_0063_0016__longer(R_0063_0016__LONGER)
& has_nim(R_0063_0016__LONGER,R_0063_0015__ANY)
& has_prd(R_0063_0012__WAS,R_0063_0014__WICKED)
& has_arg0(R_0063_0012__WAS,R_0063_0010__THE_R_0063_0011__GIANT) )
& has_arg0(R_0063_0008__SAW,R_0063_0002__THE_R_0063_0004__CHILDREN) )
=> ? [R_0063_0018__CAME_R_0063_0019__RUNNING_R_0063_0020__BACK] :
( r_0063_0018__came_r_0063_0019__running_r_0063_0020__back(R_0063_0018__CAME_R_0063_0019__RUNNING_R_0063_0020__BACK)
& has_arg0(R_0063_0018__CAME_R_0063_0019__RUNNING_R_0063_0020__BACK,R_0063_0002__THE_R_0063_0004__CHILDREN) ) ) ) ).