94_a_wilde_2_1888
And when the children ran in that afternoon, they found the Giant lying dead under the tree, all covered with white blossoms.
arc(r_0094_0001__And_r_0094_0011__found, r_0094_0003__the_r_0094_0004__children, arg0).
arc(r_0094_0001__And_r_0094_0011__found, r_0094_0012__the_r_0094_0013__Giant, arg1).
arc(r_0094_0001__And_r_0094_0011__found, r_0094_0014__lying, prd).
arc(r_0094_0002__when, r_0094_0001__And_r_0094_0011__found, scope).
arc(r_0094_0002__when, r_0094_0005__ran_r_0094_0006__in, restriction).
arc(r_0094_0005__ran_r_0094_0006__in, r_0094_0003__the_r_0094_0004__children, arg0).
arc(r_0094_0005__ran_r_0094_0006__in, r_0094_0007__that_r_0094_0008__afternoon, nim17).
arc(r_0094_0014__lying, r_0094_0015__dead, prd).
arc(r_0094_0014__lying, r_0094_0017__the_r_0094_0018__tree, r_0094_0016__under_nim43).
arc(r_0094_0014__lying, x_000_94_a_wilde_2_1888_34, arg0).
arc(r_0094_0017__the_r_0094_0018__tree, r_0094_0021__covered, attrib50).
arc(r_0094_0021__covered, r_0094_0020__all, qual51).
arc(r_0094_0021__covered, r_0094_0024__blossoms, r_0094_0022__with).
arc(r_0094_0024__blossoms, r_0094_0023__white, attrib60).
fof(formula,axiom,
! [R_0094_0005__RAN_R_0094_0006__IN,R_0094_0003__THE_R_0094_0004__CHILDREN,R_0094_0007__THAT_R_0094_0008__AFTERNOON] :
( ( r_0094_0003__the_r_0094_0004__children(R_0094_0003__THE_R_0094_0004__CHILDREN)
& r_0094_0007__that_r_0094_0008__afternoon(R_0094_0007__THAT_R_0094_0008__AFTERNOON)
& r_0094_0005__ran_r_0094_0006__in(R_0094_0005__RAN_R_0094_0006__IN)
& has_nim17(R_0094_0005__RAN_R_0094_0006__IN,R_0094_0007__THAT_R_0094_0008__AFTERNOON)
& has_arg0(R_0094_0005__RAN_R_0094_0006__IN,R_0094_0003__THE_R_0094_0004__CHILDREN) )
=> ? [R_0094_0012__THE_R_0094_0013__GIANT,R_0094_0015__DEAD,R_0094_0020__ALL,R_0094_0023__WHITE,R_0094_0024__BLOSSOMS,R_0094_0021__COVERED,R_0094_0017__THE_R_0094_0018__TREE,X_000_94_A_WILDE_2_1888_34,R_0094_0014__LYING,R_0094_0001__AND_R_0094_0011__FOUND] :
( r_0094_0012__the_r_0094_0013__Giant(R_0094_0012__THE_R_0094_0013__GIANT)
& r_0094_0015__dead(R_0094_0015__DEAD)
& r_0094_0020__all(R_0094_0020__ALL)
& r_0094_0023__white(R_0094_0023__WHITE)
& x_000_94_a_wilde_2_1888_34(X_000_94_A_WILDE_2_1888_34)
& r_0094_0001__And_r_0094_0011__found(R_0094_0001__AND_R_0094_0011__FOUND)
& has_prd(R_0094_0001__AND_R_0094_0011__FOUND,R_0094_0014__LYING)
& r_0094_0014__lying(R_0094_0014__LYING)
& has_arg0(R_0094_0014__LYING,X_000_94_A_WILDE_2_1888_34)
& has_r_0094_0016__under_nim43(R_0094_0014__LYING,R_0094_0017__THE_R_0094_0018__TREE)
& r_0094_0017__the_r_0094_0018__tree(R_0094_0017__THE_R_0094_0018__TREE)
& has_attrib50(R_0094_0017__THE_R_0094_0018__TREE,R_0094_0021__COVERED)
& r_0094_0021__covered(R_0094_0021__COVERED)
& has_r_0094_0022__with(R_0094_0021__COVERED,R_0094_0024__BLOSSOMS)
& r_0094_0024__blossoms(R_0094_0024__BLOSSOMS)
& has_attrib60(R_0094_0024__BLOSSOMS,R_0094_0023__WHITE)
& has_qual51(R_0094_0021__COVERED,R_0094_0020__ALL)
& has_prd(R_0094_0014__LYING,R_0094_0015__DEAD)
& has_arg1(R_0094_0001__AND_R_0094_0011__FOUND,R_0094_0012__THE_R_0094_0013__GIANT)
& has_arg0(R_0094_0001__AND_R_0094_0011__FOUND,R_0094_0003__THE_R_0094_0004__CHILDREN) ) ) ).
( (IP-MAT (CONJ;_cl_ And;{and})
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{CHILDREN} (D the;{the})
(NS children;{child}))
(VBD;_phr_Vp_ ran;{run[in]})
(RP in;{in})
(NP-NIM (D that;{that})
(N afternoon;{afternoon}))))
(PUNC ,)
(NP-SBJ;{CHILDREN} (PRO they;{they}))
(VBD;_Cn.g_ found;{find})
(NP-OB1;{GIANT} (D the;{the})
(N Giant;{giant}))
(IP-PPL-PRD (VAG;_La_ lying;{lie})
(ADJP-PRD (ADJ dead;{dead}))
(PP-NIM (P-ROLE under;{under})
(NP;{WHITE_TREE} (D the;{the})
(N tree;{tree})
(PUNC ,)
(ADJP (ADVP (ADV all;{all}))
(ADJ covered;{covered})
(PP (P-ROLE with;{with})
(NP (ADJP (ADJ white;{white}))
(NS blossoms;{blossom})))))))
(PUNC .))
(ID 94_a_wilde_2_1888))