Context                Previous, Next                Top


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.

%3 r_0094_0001__And_r_0094_0011__found And found r_0094_0003__the_r_0094_0004__children the children r_0094_0001__And_r_0094_0011__found->r_0094_0003__the_r_0094_0004__children [arg0] r_0094_0012__the_r_0094_0013__Giant the Giant r_0094_0001__And_r_0094_0011__found->r_0094_0012__the_r_0094_0013__Giant [arg1] r_0094_0014__lying lying r_0094_0001__And_r_0094_0011__found->r_0094_0014__lying [prd] r_0094_0015__dead dead r_0094_0014__lying->r_0094_0015__dead [prd] r_0094_0017__the_r_0094_0018__tree the tree r_0094_0014__lying->r_0094_0017__the_r_0094_0018__tree under [nim] x_000_94_a_wilde_2_1888_34 __ r_0094_0014__lying->x_000_94_a_wilde_2_1888_34 [arg0] r_0094_0002__when when r_0094_0002__when->r_0094_0001__And_r_0094_0011__found [scope] r_0094_0005__ran_r_0094_0006__in ran in r_0094_0002__when->r_0094_0005__ran_r_0094_0006__in [restriction] r_0094_0005__ran_r_0094_0006__in->r_0094_0003__the_r_0094_0004__children [arg0] r_0094_0007__that_r_0094_0008__afternoon that afternoon r_0094_0005__ran_r_0094_0006__in->r_0094_0007__that_r_0094_0008__afternoon [nim] r_0094_0021__covered covered r_0094_0017__the_r_0094_0018__tree->r_0094_0021__covered [attrib] r_0094_0020__all all r_0094_0021__covered->r_0094_0020__all [qual] r_0094_0024__blossoms blossoms r_0094_0021__covered->r_0094_0024__blossoms with r_0094_0023__white white r_0094_0024__blossoms->r_0094_0023__white [attrib] 
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).


%3 r_0094_0024__blossoms blossoms r_0094_0023__white white r_0094_0024__blossoms->r_0094_0023__white [attrib] r_0094_0021__covered covered r_0094_0021__covered->r_0094_0024__blossoms with r_0094_0020__all all r_0094_0021__covered->r_0094_0020__all [qual] r_0094_0017__the_r_0094_0018__tree the tree r_0094_0017__the_r_0094_0018__tree->r_0094_0021__covered [attrib] r_0094_0014__lying lying r_0094_0014__lying->r_0094_0017__the_r_0094_0018__tree under [nim] x_000_94_a_wilde_2_1888_34 __ r_0094_0014__lying->x_000_94_a_wilde_2_1888_34 [arg0] r_0094_0015__dead dead r_0094_0014__lying->r_0094_0015__dead [prd] r_0094_0005__ran_r_0094_0006__in ran in r_0094_0007__that_r_0094_0008__afternoon that afternoon r_0094_0005__ran_r_0094_0006__in->r_0094_0007__that_r_0094_0008__afternoon [nim] r_0094_0003__the_r_0094_0004__children the children r_0094_0005__ran_r_0094_0006__in->r_0094_0003__the_r_0094_0004__children [arg0] r_0094_0002__when when r_0094_0002__when->r_0094_0005__ran_r_0094_0006__in [restriction] r_0094_0001__And_r_0094_0011__found And found r_0094_0002__when->r_0094_0001__And_r_0094_0011__found [scope] r_0094_0001__And_r_0094_0011__found->r_0094_0014__lying [prd] r_0094_0001__And_r_0094_0011__found->r_0094_0003__the_r_0094_0004__children [arg0] r_0094_0012__the_r_0094_0013__Giant the Giant r_0094_0001__And_r_0094_0011__found->r_0094_0012__the_r_0094_0013__Giant [arg1] 
fof(formula,axiom,
    ! [R_94_5_RAN_IN,R_94_3_THE_CHILDREN,R_94_7_THAT_AFTERNOON] :
      ( ( the_children(R_94_3_THE_CHILDREN)
        & that_afternoon(R_94_7_THAT_AFTERNOON)
        & ran_in(R_94_5_RAN_IN,R_94_3_THE_CHILDREN)
        & nim17(R_94_5_RAN_IN,R_94_7_THAT_AFTERNOON) )
     => ? [R_94_1_AND_FOUND,R_94_12_THE_GIANT,R_94_14_LYING,X_94_A_WILDE_2_1888_34,R_94_15_DEAD,R_94_17_THE_TREE,R_94_21_COVERED,R_94_20_ALL,R_94_24_BLOSSOMS,R_94_23_WHITE] :
          ( the_Giant(R_94_12_THE_GIANT)
          & dead(R_94_15_DEAD)
          & all(R_94_20_ALL)
          & white(R_94_23_WHITE)
          & and_found(R_94_1_AND_FOUND,R_94_3_THE_CHILDREN,R_94_12_THE_GIANT,R_94_14_LYING)
          & lying(R_94_14_LYING,X_94_A_WILDE_2_1888_34,R_94_15_DEAD)
          & under_nim43(R_94_14_LYING,R_94_17_THE_TREE)
          & the_tree(R_94_17_THE_TREE)
          & attrib50(R_94_17_THE_TREE,R_94_21_COVERED)
          & covered(R_94_21_COVERED)
          & qual51(R_94_21_COVERED,R_94_20_ALL)
          & with(R_94_21_COVERED,R_94_24_BLOSSOMS)
          & blossoms(R_94_24_BLOSSOMS)
          & attrib60(R_94_24_BLOSSOMS,R_94_23_WHITE) ) ) ).


n94_a_wilde_2_1888 n94_a_wilde_2_1888__1_1_1 And n94_a_wilde_2_1888__1_2_1_1 when n94_a_wilde_2_1888__1_2_2_1_1_1 the n94_a_wilde_2_1888__1_2_2_1_2_1 children n94_a_wilde_2_1888__1_2_2_2_1 ran n94_a_wilde_2_1888__1_2_2_3_1 in n94_a_wilde_2_1888__1_2_2_4_1_1 that n94_a_wilde_2_1888__1_2_2_4_2_1 afternoon n94_a_wilde_2_1888__1_3_1 , n94_a_wilde_2_1888__1_4_1_1 they n94_a_wilde_2_1888__1_5_1 found n94_a_wilde_2_1888__1_6_1_1 the n94_a_wilde_2_1888__1_6_2_1 Giant n94_a_wilde_2_1888__1_7_1_1 lying n94_a_wilde_2_1888__1_7_2_1_1 dead n94_a_wilde_2_1888__1_7_3_1_1 under n94_a_wilde_2_1888__1_7_3_2_1_1 the n94_a_wilde_2_1888__1_7_3_2_2_1 tree n94_a_wilde_2_1888__1_7_3_2_3_1 , n94_a_wilde_2_1888__1_7_3_2_4_1_1_1 all n94_a_wilde_2_1888__1_7_3_2_4_2_1 covered n94_a_wilde_2_1888__1_7_3_2_4_3_1_1 with n94_a_wilde_2_1888__1_7_3_2_4_3_2_1_1_1 white n94_a_wilde_2_1888__1_7_3_2_4_3_2_2_1 blossoms n94_a_wilde_2_1888__1_8_1 . n94_a_wilde_2_1888__1 IP-MAT n94_a_wilde_2_1888__1_1 CONJ;_cl_ n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_1 n94_a_wilde_2_1888__1_2 PP-SCON n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_2 n94_a_wilde_2_1888__1_3 PUNC n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_3 n94_a_wilde_2_1888__1_4 NP-SBJ n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_4 n94_a_wilde_2_1888__1_5 VBD;_Cn.g_ n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_5 n94_a_wilde_2_1888__1_6 NP-OB1 n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_6 n94_a_wilde_2_1888__1_7 IP-PPL-PRD n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_7 n94_a_wilde_2_1888__1_8 PUNC n94_a_wilde_2_1888__1->n94_a_wilde_2_1888__1_8 n94_a_wilde_2_1888__1_1->n94_a_wilde_2_1888__1_1_1 n94_a_wilde_2_1888__1_2_1 P-CONN n94_a_wilde_2_1888__1_2->n94_a_wilde_2_1888__1_2_1 n94_a_wilde_2_1888__1_2_2 IP-ADV n94_a_wilde_2_1888__1_2->n94_a_wilde_2_1888__1_2_2 n94_a_wilde_2_1888__1_2_1->n94_a_wilde_2_1888__1_2_1_1 n94_a_wilde_2_1888__1_2_2_1 NP-SBJ n94_a_wilde_2_1888__1_2_2->n94_a_wilde_2_1888__1_2_2_1 n94_a_wilde_2_1888__1_2_2_2 VBD;_phr_Vp_ n94_a_wilde_2_1888__1_2_2->n94_a_wilde_2_1888__1_2_2_2 n94_a_wilde_2_1888__1_2_2_3 RP n94_a_wilde_2_1888__1_2_2->n94_a_wilde_2_1888__1_2_2_3 n94_a_wilde_2_1888__1_2_2_4 NP-NIM n94_a_wilde_2_1888__1_2_2->n94_a_wilde_2_1888__1_2_2_4 n94_a_wilde_2_1888__1_2_2_1_1 D n94_a_wilde_2_1888__1_2_2_1->n94_a_wilde_2_1888__1_2_2_1_1 n94_a_wilde_2_1888__1_2_2_1_2 NS n94_a_wilde_2_1888__1_2_2_1->n94_a_wilde_2_1888__1_2_2_1_2 n94_a_wilde_2_1888__1_2_2_1_1->n94_a_wilde_2_1888__1_2_2_1_1_1 n94_a_wilde_2_1888__1_2_2_1_2->n94_a_wilde_2_1888__1_2_2_1_2_1 n94_a_wilde_2_1888__1_2_2_2->n94_a_wilde_2_1888__1_2_2_2_1 n94_a_wilde_2_1888__1_2_2_3->n94_a_wilde_2_1888__1_2_2_3_1 n94_a_wilde_2_1888__1_2_2_4_1 D n94_a_wilde_2_1888__1_2_2_4->n94_a_wilde_2_1888__1_2_2_4_1 n94_a_wilde_2_1888__1_2_2_4_2 N n94_a_wilde_2_1888__1_2_2_4->n94_a_wilde_2_1888__1_2_2_4_2 n94_a_wilde_2_1888__1_2_2_4_1->n94_a_wilde_2_1888__1_2_2_4_1_1 n94_a_wilde_2_1888__1_2_2_4_2->n94_a_wilde_2_1888__1_2_2_4_2_1 n94_a_wilde_2_1888__1_3->n94_a_wilde_2_1888__1_3_1 n94_a_wilde_2_1888__1_4_1 PRO n94_a_wilde_2_1888__1_4->n94_a_wilde_2_1888__1_4_1 n94_a_wilde_2_1888__1_4_1->n94_a_wilde_2_1888__1_4_1_1 n94_a_wilde_2_1888__1_5->n94_a_wilde_2_1888__1_5_1 n94_a_wilde_2_1888__1_6_1 D n94_a_wilde_2_1888__1_6->n94_a_wilde_2_1888__1_6_1 n94_a_wilde_2_1888__1_6_2 N n94_a_wilde_2_1888__1_6->n94_a_wilde_2_1888__1_6_2 n94_a_wilde_2_1888__1_6_1->n94_a_wilde_2_1888__1_6_1_1 n94_a_wilde_2_1888__1_6_2->n94_a_wilde_2_1888__1_6_2_1 n94_a_wilde_2_1888__1_7_1 VAG;_La_ n94_a_wilde_2_1888__1_7->n94_a_wilde_2_1888__1_7_1 n94_a_wilde_2_1888__1_7_2 ADJP-PRD n94_a_wilde_2_1888__1_7->n94_a_wilde_2_1888__1_7_2 n94_a_wilde_2_1888__1_7_3 PP-NIM n94_a_wilde_2_1888__1_7->n94_a_wilde_2_1888__1_7_3 n94_a_wilde_2_1888__1_7_1->n94_a_wilde_2_1888__1_7_1_1 n94_a_wilde_2_1888__1_7_2_1 ADJ n94_a_wilde_2_1888__1_7_2->n94_a_wilde_2_1888__1_7_2_1 n94_a_wilde_2_1888__1_7_2_1->n94_a_wilde_2_1888__1_7_2_1_1 n94_a_wilde_2_1888__1_7_3_1 P-ROLE n94_a_wilde_2_1888__1_7_3->n94_a_wilde_2_1888__1_7_3_1 n94_a_wilde_2_1888__1_7_3_2 NP n94_a_wilde_2_1888__1_7_3->n94_a_wilde_2_1888__1_7_3_2 n94_a_wilde_2_1888__1_7_3_1->n94_a_wilde_2_1888__1_7_3_1_1 n94_a_wilde_2_1888__1_7_3_2_1 D n94_a_wilde_2_1888__1_7_3_2->n94_a_wilde_2_1888__1_7_3_2_1 n94_a_wilde_2_1888__1_7_3_2_2 N n94_a_wilde_2_1888__1_7_3_2->n94_a_wilde_2_1888__1_7_3_2_2 n94_a_wilde_2_1888__1_7_3_2_3 PUNC n94_a_wilde_2_1888__1_7_3_2->n94_a_wilde_2_1888__1_7_3_2_3 n94_a_wilde_2_1888__1_7_3_2_4 ADJP n94_a_wilde_2_1888__1_7_3_2->n94_a_wilde_2_1888__1_7_3_2_4 n94_a_wilde_2_1888__1_7_3_2_1->n94_a_wilde_2_1888__1_7_3_2_1_1 n94_a_wilde_2_1888__1_7_3_2_2->n94_a_wilde_2_1888__1_7_3_2_2_1 n94_a_wilde_2_1888__1_7_3_2_3->n94_a_wilde_2_1888__1_7_3_2_3_1 n94_a_wilde_2_1888__1_7_3_2_4_1 ADVP n94_a_wilde_2_1888__1_7_3_2_4->n94_a_wilde_2_1888__1_7_3_2_4_1 n94_a_wilde_2_1888__1_7_3_2_4_2 ADJ n94_a_wilde_2_1888__1_7_3_2_4->n94_a_wilde_2_1888__1_7_3_2_4_2 n94_a_wilde_2_1888__1_7_3_2_4_3 PP n94_a_wilde_2_1888__1_7_3_2_4->n94_a_wilde_2_1888__1_7_3_2_4_3 n94_a_wilde_2_1888__1_7_3_2_4_1_1 ADV n94_a_wilde_2_1888__1_7_3_2_4_1->n94_a_wilde_2_1888__1_7_3_2_4_1_1 n94_a_wilde_2_1888__1_7_3_2_4_1_1->n94_a_wilde_2_1888__1_7_3_2_4_1_1_1 n94_a_wilde_2_1888__1_7_3_2_4_2->n94_a_wilde_2_1888__1_7_3_2_4_2_1 n94_a_wilde_2_1888__1_7_3_2_4_3_1 P-ROLE n94_a_wilde_2_1888__1_7_3_2_4_3->n94_a_wilde_2_1888__1_7_3_2_4_3_1 n94_a_wilde_2_1888__1_7_3_2_4_3_2 NP n94_a_wilde_2_1888__1_7_3_2_4_3->n94_a_wilde_2_1888__1_7_3_2_4_3_2 n94_a_wilde_2_1888__1_7_3_2_4_3_1->n94_a_wilde_2_1888__1_7_3_2_4_3_1_1 n94_a_wilde_2_1888__1_7_3_2_4_3_2_1 ADJP n94_a_wilde_2_1888__1_7_3_2_4_3_2->n94_a_wilde_2_1888__1_7_3_2_4_3_2_1 n94_a_wilde_2_1888__1_7_3_2_4_3_2_2 NS n94_a_wilde_2_1888__1_7_3_2_4_3_2->n94_a_wilde_2_1888__1_7_3_2_4_3_2_2 n94_a_wilde_2_1888__1_7_3_2_4_3_2_1_1 ADJ n94_a_wilde_2_1888__1_7_3_2_4_3_2_1->n94_a_wilde_2_1888__1_7_3_2_4_3_2_1_1 n94_a_wilde_2_1888__1_7_3_2_4_3_2_1_1->n94_a_wilde_2_1888__1_7_3_2_4_3_2_1_1_1 n94_a_wilde_2_1888__1_7_3_2_4_3_2_2->n94_a_wilde_2_1888__1_7_3_2_4_3_2_2_1 n94_a_wilde_2_1888__1_8->n94_a_wilde_2_1888__1_8_1 
( (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))