59_a_wilde_2_1888
But when the children saw him they were so frightened that they all ran away, and the garden became winter again.
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ But;{but})
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{CHILDREN} (D the;{the})
(NS children;{child}))
(VBD;_Tn_ saw;{see})
(NP-OB1;{GIANT} (PRO him;{he}))))
(NP-SBJ;{CHILDREN} (PRO they;{they}))
(BED;_La_ were;{be})
(ADJP-PRD (ADVP (ADV so;{so})
(CP-THT *ICH*-155))
(ADJ frightened;{frightened})
(CP-THT-EPD-155 (IP-SUB (C that;{that})
(NP-SBJ;{CHILDREN} (PRO they;{they}))
(ADVP-NIM (ADV all;{all}))
(VBD;_Ip_ ran;{run[away]})
(ADVP-CLR (RP away;{away}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(N garden;{garden}))
(VBD;_Ln_ became;{become})
(NP-PRD (N winter;{winter}))
(ADVP-NIM (ADV again;{again})))))
(PUNC .))
(ID 59_a_wilde_2_1888))
arc(r_0059_0002__when,r_0059_0005__saw,restriction).
arc(r_0059_0002__when,r_0059_0008__were,scope).
arc(r_0059_0005__saw,r_0059_0003__the_r_0059_0004__children,arg0).
arc(r_0059_0005__saw,r_0059_0006__him,arg1).
arc(r_0059_0008__were,r_0059_0003__the_r_0059_0004__children,arg0).
arc(r_0059_0008__were,r_0059_0010__frightened,prd).
arc(r_0059_0009__so,r_0059_0014__ran_r_0059_0015__away,emb).
arc(r_0059_0010__frightened,r_0059_0009__so,qual).
arc(r_0059_0014__ran_r_0059_0015__away,r_0059_0003__the_r_0059_0004__children,arg0).
arc(r_0059_0014__ran_r_0059_0015__away,r_0059_0013__all,nim).
arc(r_0059_0017__and,r_0059_0002__when,conj1).
arc(r_0059_0017__and,r_0059_0020__became,conj2).
arc(r_0059_0020__became,r_0059_0018__the_r_0059_0019__garden,arg0).
arc(r_0059_0020__became,r_0059_0021__winter,prd).
arc(r_0059_0020__became,r_0059_0022__again,nim).
fof(formula,axiom,
? [R_0059_0018__THE_R_0059_0019__GARDEN,R_0059_0021__WINTER,R_0059_0022__AGAIN,R_0059_0020__BECAME,R_0059_0017__AND] :
( r_0059_0018__the_r_0059_0019__garden(R_0059_0018__THE_R_0059_0019__GARDEN)
& r_0059_0021__winter(R_0059_0021__WINTER)
& r_0059_0022__again(R_0059_0022__AGAIN)
& r_0059_0017__and(R_0059_0017__AND)
& has_conj2(R_0059_0017__AND,R_0059_0020__BECAME)
& r_0059_0020__became(R_0059_0020__BECAME)
& has_nim(R_0059_0020__BECAME,R_0059_0022__AGAIN)
& has_prd(R_0059_0020__BECAME,R_0059_0021__WINTER)
& has_arg0(R_0059_0020__BECAME,R_0059_0018__THE_R_0059_0019__GARDEN)
& ! [R_0059_0005__SAW,R_0059_0003__THE_R_0059_0004__CHILDREN,R_0059_0006__HIM] :
( ( r_0059_0003__the_r_0059_0004__children(R_0059_0003__THE_R_0059_0004__CHILDREN)
& r_0059_0006__him(R_0059_0006__HIM)
& r_0059_0005__saw(R_0059_0005__SAW)
& has_arg1(R_0059_0005__SAW,R_0059_0006__HIM)
& has_arg0(R_0059_0005__SAW,R_0059_0003__THE_R_0059_0004__CHILDREN) )
=> ? [R_0059_0013__ALL,R_0059_0014__RAN_R_0059_0015__AWAY,R_0059_0009__SO,R_0059_0010__FRIGHTENED,R_0059_0008__WERE] :
( r_0059_0013__all(R_0059_0013__ALL)
& r_0059_0008__were(R_0059_0008__WERE)
& has_prd(R_0059_0008__WERE,R_0059_0010__FRIGHTENED)
& r_0059_0010__frightened(R_0059_0010__FRIGHTENED)
& has_qual(R_0059_0010__FRIGHTENED,R_0059_0009__SO)
& r_0059_0009__so(R_0059_0009__SO)
& has_emb(R_0059_0009__SO,R_0059_0014__RAN_R_0059_0015__AWAY)
& r_0059_0014__ran_r_0059_0015__away(R_0059_0014__RAN_R_0059_0015__AWAY)
& has_nim(R_0059_0014__RAN_R_0059_0015__AWAY,R_0059_0013__ALL)
& has_arg0(R_0059_0014__RAN_R_0059_0015__AWAY,R_0059_0003__THE_R_0059_0004__CHILDREN)
& has_arg0(R_0059_0008__WERE,R_0059_0003__THE_R_0059_0004__CHILDREN) ) ) ) ).