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_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] 
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_3 And n94_a_wilde_2_1888_6 when n94_a_wilde_2_1888_10 the n94_a_wilde_2_1888_12 children n94_a_wilde_2_1888_14 ran n94_a_wilde_2_1888_16 in n94_a_wilde_2_1888_19 that n94_a_wilde_2_1888_21 afternoon n94_a_wilde_2_1888_23 , n94_a_wilde_2_1888_26 they n94_a_wilde_2_1888_28 found n94_a_wilde_2_1888_31 the n94_a_wilde_2_1888_33 Giant n94_a_wilde_2_1888_36 lying n94_a_wilde_2_1888_39 dead n94_a_wilde_2_1888_42 under n94_a_wilde_2_1888_45 the n94_a_wilde_2_1888_47 tree n94_a_wilde_2_1888_49 , n94_a_wilde_2_1888_53 all n94_a_wilde_2_1888_55 covered n94_a_wilde_2_1888_58 with n94_a_wilde_2_1888_62 white n94_a_wilde_2_1888_64 blossoms n94_a_wilde_2_1888_66 . n94_a_wilde_2_1888_1 IP-MAT n94_a_wilde_2_1888_2 CONJ;_cl_ n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_2 n94_a_wilde_2_1888_4 PP-SCON n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_4 n94_a_wilde_2_1888_22 PUNC n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_22 n94_a_wilde_2_1888_24 NP-SBJ n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_24 n94_a_wilde_2_1888_27 VBD;_Cn.g_ n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_27 n94_a_wilde_2_1888_29 NP-OB1 n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_29 n94_a_wilde_2_1888_34 IP-PPL-PRD n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_34 n94_a_wilde_2_1888_65 PUNC n94_a_wilde_2_1888_1->n94_a_wilde_2_1888_65 n94_a_wilde_2_1888_2->n94_a_wilde_2_1888_3 n94_a_wilde_2_1888_5 P-CONN n94_a_wilde_2_1888_4->n94_a_wilde_2_1888_5 n94_a_wilde_2_1888_7 IP-ADV n94_a_wilde_2_1888_4->n94_a_wilde_2_1888_7 n94_a_wilde_2_1888_5->n94_a_wilde_2_1888_6 n94_a_wilde_2_1888_8 NP-SBJ n94_a_wilde_2_1888_7->n94_a_wilde_2_1888_8 n94_a_wilde_2_1888_13 VBD;_phr_Vp_ n94_a_wilde_2_1888_7->n94_a_wilde_2_1888_13 n94_a_wilde_2_1888_15 RP n94_a_wilde_2_1888_7->n94_a_wilde_2_1888_15 n94_a_wilde_2_1888_17 NP-NIM n94_a_wilde_2_1888_7->n94_a_wilde_2_1888_17 n94_a_wilde_2_1888_9 D n94_a_wilde_2_1888_8->n94_a_wilde_2_1888_9 n94_a_wilde_2_1888_11 NS n94_a_wilde_2_1888_8->n94_a_wilde_2_1888_11 n94_a_wilde_2_1888_9->n94_a_wilde_2_1888_10 n94_a_wilde_2_1888_11->n94_a_wilde_2_1888_12 n94_a_wilde_2_1888_13->n94_a_wilde_2_1888_14 n94_a_wilde_2_1888_15->n94_a_wilde_2_1888_16 n94_a_wilde_2_1888_18 D n94_a_wilde_2_1888_17->n94_a_wilde_2_1888_18 n94_a_wilde_2_1888_20 N n94_a_wilde_2_1888_17->n94_a_wilde_2_1888_20 n94_a_wilde_2_1888_18->n94_a_wilde_2_1888_19 n94_a_wilde_2_1888_20->n94_a_wilde_2_1888_21 n94_a_wilde_2_1888_22->n94_a_wilde_2_1888_23 n94_a_wilde_2_1888_25 PRO n94_a_wilde_2_1888_24->n94_a_wilde_2_1888_25 n94_a_wilde_2_1888_25->n94_a_wilde_2_1888_26 n94_a_wilde_2_1888_27->n94_a_wilde_2_1888_28 n94_a_wilde_2_1888_30 D n94_a_wilde_2_1888_29->n94_a_wilde_2_1888_30 n94_a_wilde_2_1888_32 N n94_a_wilde_2_1888_29->n94_a_wilde_2_1888_32 n94_a_wilde_2_1888_30->n94_a_wilde_2_1888_31 n94_a_wilde_2_1888_32->n94_a_wilde_2_1888_33 n94_a_wilde_2_1888_35 VAG;_La_ n94_a_wilde_2_1888_34->n94_a_wilde_2_1888_35 n94_a_wilde_2_1888_37 ADJP-PRD n94_a_wilde_2_1888_34->n94_a_wilde_2_1888_37 n94_a_wilde_2_1888_40 PP-NIM n94_a_wilde_2_1888_34->n94_a_wilde_2_1888_40 n94_a_wilde_2_1888_35->n94_a_wilde_2_1888_36 n94_a_wilde_2_1888_38 ADJ n94_a_wilde_2_1888_37->n94_a_wilde_2_1888_38 n94_a_wilde_2_1888_38->n94_a_wilde_2_1888_39 n94_a_wilde_2_1888_41 P-ROLE n94_a_wilde_2_1888_40->n94_a_wilde_2_1888_41 n94_a_wilde_2_1888_43 NP n94_a_wilde_2_1888_40->n94_a_wilde_2_1888_43 n94_a_wilde_2_1888_41->n94_a_wilde_2_1888_42 n94_a_wilde_2_1888_44 D n94_a_wilde_2_1888_43->n94_a_wilde_2_1888_44 n94_a_wilde_2_1888_46 N n94_a_wilde_2_1888_43->n94_a_wilde_2_1888_46 n94_a_wilde_2_1888_48 PUNC n94_a_wilde_2_1888_43->n94_a_wilde_2_1888_48 n94_a_wilde_2_1888_50 ADJP n94_a_wilde_2_1888_43->n94_a_wilde_2_1888_50 n94_a_wilde_2_1888_44->n94_a_wilde_2_1888_45 n94_a_wilde_2_1888_46->n94_a_wilde_2_1888_47 n94_a_wilde_2_1888_48->n94_a_wilde_2_1888_49 n94_a_wilde_2_1888_51 ADVP n94_a_wilde_2_1888_50->n94_a_wilde_2_1888_51 n94_a_wilde_2_1888_54 ADJ n94_a_wilde_2_1888_50->n94_a_wilde_2_1888_54 n94_a_wilde_2_1888_56 PP n94_a_wilde_2_1888_50->n94_a_wilde_2_1888_56 n94_a_wilde_2_1888_52 ADV n94_a_wilde_2_1888_51->n94_a_wilde_2_1888_52 n94_a_wilde_2_1888_52->n94_a_wilde_2_1888_53 n94_a_wilde_2_1888_54->n94_a_wilde_2_1888_55 n94_a_wilde_2_1888_57 P-ROLE n94_a_wilde_2_1888_56->n94_a_wilde_2_1888_57 n94_a_wilde_2_1888_59 NP n94_a_wilde_2_1888_56->n94_a_wilde_2_1888_59 n94_a_wilde_2_1888_57->n94_a_wilde_2_1888_58 n94_a_wilde_2_1888_60 ADJP n94_a_wilde_2_1888_59->n94_a_wilde_2_1888_60 n94_a_wilde_2_1888_63 NS n94_a_wilde_2_1888_59->n94_a_wilde_2_1888_63 n94_a_wilde_2_1888_61 ADJ n94_a_wilde_2_1888_60->n94_a_wilde_2_1888_61 n94_a_wilde_2_1888_61->n94_a_wilde_2_1888_62 n94_a_wilde_2_1888_63->n94_a_wilde_2_1888_64 n94_a_wilde_2_1888_65->n94_a_wilde_2_1888_66 
( (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))