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.
arc(r_0059_0001__But_r_0059_0008__were, r_0059_0003__the_r_0059_0004__children, arg0).
arc(r_0059_0001__But_r_0059_0008__were, r_0059_0010__frightened, prd).
arc(r_0059_0002__when, r_0059_0001__But_r_0059_0008__were, scope).
arc(r_0059_0002__when, r_0059_0005__saw, restriction).
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_0009__so, r_0059_0011__that_r_0059_0014__ran, emb34).
arc(r_0059_0010__frightened, r_0059_0009__so, qual26).
arc(r_0059_0011__that_r_0059_0014__ran, r_0059_0003__the_r_0059_0004__children, arg0).
arc(r_0059_0011__that_r_0059_0014__ran, r_0059_0013__all, nim40).
arc(r_0059_0011__that_r_0059_0014__ran, r_0059_0015__away, clr45).
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, nim64).
fof(formula,axiom,
? [R_59_17_AND,R_59_20_BECAME,R_59_18_THE_GARDEN,R_59_22_AGAIN,R_59_21_WINTER] :
( the_garden(R_59_18_THE_GARDEN)
& again(R_59_22_AGAIN)
& winter(R_59_21_WINTER)
& ! [R_59_5_SAW,R_59_3_THE_CHILDREN,R_59_6_HIM] :
( ( the_children(R_59_3_THE_CHILDREN)
& him(R_59_6_HIM)
& saw(R_59_5_SAW,R_59_3_THE_CHILDREN,R_59_6_HIM) )
=> ? [R_59_1_BUT_WERE,R_59_10_FRIGHTENED,R_59_9_SO,R_59_11_THAT_RAN,R_59_15_AWAY,R_59_13_ALL] :
( away(R_59_15_AWAY)
& all(R_59_13_ALL)
& but_were(R_59_1_BUT_WERE,R_59_3_THE_CHILDREN,R_59_10_FRIGHTENED)
& frightened(R_59_10_FRIGHTENED)
& qual26(R_59_10_FRIGHTENED,R_59_9_SO)
& so(R_59_9_SO)
& emb34(R_59_9_SO,R_59_11_THAT_RAN)
& that_ran(R_59_11_THAT_RAN,R_59_3_THE_CHILDREN)
& clr45(R_59_11_THAT_RAN,R_59_15_AWAY)
& nim40(R_59_11_THAT_RAN,R_59_13_ALL) ) )
& conj1(CONJ1)
& and(R_59_17_AND)
& conj2(R_59_17_AND,R_59_20_BECAME)
& became(R_59_20_BECAME,R_59_18_THE_GARDEN,R_59_21_WINTER)
& nim64(R_59_20_BECAME,R_59_22_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))