Context                Previous, Next                Top


26_a_wilde_2_1888
The Snow covered up the grass with her great white cloak, and the Frost painted all the trees silver.

%3 r_0026_0003__covered covered r_0026_0001__The_r_0026_0002__Snow The Snow r_0026_0003__covered->r_0026_0001__The_r_0026_0002__Snow [arg0] r_0026_0004__up up r_0026_0003__covered->r_0026_0004__up [nim] r_0026_0005__the_r_0026_0006__grass the grass r_0026_0003__covered->r_0026_0005__the_r_0026_0006__grass [arg1] r_0026_0011__cloak cloak r_0026_0003__covered->r_0026_0011__cloak with [nim] r_0026_0011__cloak->r_0026_0001__The_r_0026_0002__Snow [gen] r_0026_0009__great great r_0026_0011__cloak->r_0026_0009__great [attrib] r_0026_0010__white white r_0026_0011__cloak->r_0026_0010__white [attrib] r_0026_0013__and and r_0026_0013__and->r_0026_0003__covered [conj1] r_0026_0017__all_quant all [quant] r_0026_0013__and->r_0026_0017__all_quant [conj2] r_0026_0016__painted painted r_0026_0017__all_quant->r_0026_0016__painted [scope] r_0026_0018__the_r_0026_0019__trees the trees r_0026_0017__all_quant->r_0026_0018__the_r_0026_0019__trees [restriction] r_0026_0014__the_r_0026_0015__Frost the Frost r_0026_0016__painted->r_0026_0014__the_r_0026_0015__Frost [arg0] r_0026_0016__painted->r_0026_0018__the_r_0026_0019__trees [arg1] r_0026_0020__silver silver r_0026_0016__painted->r_0026_0020__silver [prd] 
arc(r_0026_0003__covered, r_0026_0001__The_r_0026_0002__Snow, arg0).
arc(r_0026_0003__covered, r_0026_0004__up, nim11).
arc(r_0026_0003__covered, r_0026_0005__the_r_0026_0006__grass, arg1).
arc(r_0026_0003__covered, r_0026_0011__cloak, r_0026_0007__with_nim22).
arc(r_0026_0011__cloak, r_0026_0001__The_r_0026_0002__Snow, gen).
arc(r_0026_0011__cloak, r_0026_0009__great, attrib26).
arc(r_0026_0011__cloak, r_0026_0010__white, attrib29).
arc(r_0026_0013__and, r_0026_0003__covered, conj1).
arc(r_0026_0013__and, r_0026_0017__all_quant, conj2).
arc(r_0026_0016__painted, r_0026_0014__the_r_0026_0015__Frost, arg0).
arc(r_0026_0016__painted, r_0026_0018__the_r_0026_0019__trees, arg1).
arc(r_0026_0016__painted, r_0026_0020__silver, prd).
arc(r_0026_0017__all_quant, r_0026_0016__painted, scope).
arc(r_0026_0017__all_quant, r_0026_0018__the_r_0026_0019__trees, restriction).


%3 r_0026_0003__covered covered r_0026_0001__The_r_0026_0002__Snow The Snow r_0026_0003__covered->r_0026_0001__The_r_0026_0002__Snow [arg0] r_0026_0004__up up r_0026_0003__covered->r_0026_0004__up [nim] r_0026_0005__the_r_0026_0006__grass the grass r_0026_0003__covered->r_0026_0005__the_r_0026_0006__grass [arg1] r_0026_0011__cloak cloak r_0026_0003__covered->r_0026_0011__cloak with [nim] r_0026_0011__cloak->r_0026_0001__The_r_0026_0002__Snow [gen] r_0026_0009__great great r_0026_0011__cloak->r_0026_0009__great [attrib] r_0026_0010__white white r_0026_0011__cloak->r_0026_0010__white [attrib] r_0026_0013__and and r_0026_0013__and->r_0026_0003__covered [conj1] r_0026_0017__all_quant all [quant] r_0026_0013__and->r_0026_0017__all_quant [conj2] r_0026_0016__painted painted r_0026_0017__all_quant->r_0026_0016__painted [scope] r_0026_0018__the_r_0026_0019__trees the trees r_0026_0017__all_quant->r_0026_0018__the_r_0026_0019__trees [restriction] r_0026_0014__the_r_0026_0015__Frost the Frost r_0026_0016__painted->r_0026_0014__the_r_0026_0015__Frost [arg0] r_0026_0016__painted->r_0026_0018__the_r_0026_0019__trees [arg1] r_0026_0020__silver silver r_0026_0016__painted->r_0026_0020__silver [prd] 
fof(formula,axiom,
    ? [R_26_13_AND,R_26_3_COVERED,R_26_5_THE_GRASS,R_26_4_UP,R_26_11_CLOAK,R_26_9_GREAT,R_26_10_WHITE,R_26_1_THE_SNOW] :
      ( the_grass(R_26_5_THE_GRASS)
      & up(R_26_4_UP)
      & great(R_26_9_GREAT)
      & white(R_26_10_WHITE)
      & the_Snow(R_26_1_THE_SNOW)
      & ! [R_26_18_THE_TREES] :
          ( the_trees(R_26_18_THE_TREES)
         => ? [R_26_16_PAINTED,R_26_14_THE_FROST,R_26_20_SILVER] :
              ( the_Frost(R_26_14_THE_FROST)
              & silver(R_26_20_SILVER)
              & painted(R_26_16_PAINTED,R_26_14_THE_FROST,R_26_18_THE_TREES,R_26_20_SILVER) ) )
      & conj2(CONJ2)
      & and(R_26_13_AND)
      & conj1(R_26_13_AND,R_26_3_COVERED)
      & covered(R_26_3_COVERED,R_26_1_THE_SNOW,R_26_5_THE_GRASS)
      & nim11(R_26_3_COVERED,R_26_4_UP)
      & with_nim22(R_26_3_COVERED,R_26_11_CLOAK)
      & cloak(R_26_11_CLOAK)
      & attrib26(R_26_11_CLOAK,R_26_9_GREAT)
      & attrib29(R_26_11_CLOAK,R_26_10_WHITE)
      & gen(R_26_11_CLOAK,R_26_1_THE_SNOW) ) ).


n26_a_wilde_2_1888 n26_a_wilde_2_1888_6 The n26_a_wilde_2_1888_8 Snow n26_a_wilde_2_1888_10 covered n26_a_wilde_2_1888_13 up n26_a_wilde_2_1888_16 the n26_a_wilde_2_1888_18 grass n26_a_wilde_2_1888_21 with n26_a_wilde_2_1888_25 her n26_a_wilde_2_1888_28 great n26_a_wilde_2_1888_31 white n26_a_wilde_2_1888_33 cloak n26_a_wilde_2_1888_35 , n26_a_wilde_2_1888_38 and n26_a_wilde_2_1888_42 the n26_a_wilde_2_1888_44 Frost n26_a_wilde_2_1888_46 painted n26_a_wilde_2_1888_49 all n26_a_wilde_2_1888_51 the n26_a_wilde_2_1888_53 trees n26_a_wilde_2_1888_56 silver n26_a_wilde_2_1888_58 . n26_a_wilde_2_1888_1 IP-MAT n26_a_wilde_2_1888_2 ILYR n26_a_wilde_2_1888_1->n26_a_wilde_2_1888_2 n26_a_wilde_2_1888_57 PUNC n26_a_wilde_2_1888_1->n26_a_wilde_2_1888_57 n26_a_wilde_2_1888_3 ILYR n26_a_wilde_2_1888_2->n26_a_wilde_2_1888_3 n26_a_wilde_2_1888_34 PUNC n26_a_wilde_2_1888_2->n26_a_wilde_2_1888_34 n26_a_wilde_2_1888_36 CONJP n26_a_wilde_2_1888_2->n26_a_wilde_2_1888_36 n26_a_wilde_2_1888_4 NP-SBJ n26_a_wilde_2_1888_3->n26_a_wilde_2_1888_4 n26_a_wilde_2_1888_9 VBD;__ n26_a_wilde_2_1888_3->n26_a_wilde_2_1888_9 n26_a_wilde_2_1888_11 ADVP-NIM n26_a_wilde_2_1888_3->n26_a_wilde_2_1888_11 n26_a_wilde_2_1888_14 NP-OB1 n26_a_wilde_2_1888_3->n26_a_wilde_2_1888_14 n26_a_wilde_2_1888_19 PP-NIM n26_a_wilde_2_1888_3->n26_a_wilde_2_1888_19 n26_a_wilde_2_1888_5 D n26_a_wilde_2_1888_4->n26_a_wilde_2_1888_5 n26_a_wilde_2_1888_7 N n26_a_wilde_2_1888_4->n26_a_wilde_2_1888_7 n26_a_wilde_2_1888_5->n26_a_wilde_2_1888_6 n26_a_wilde_2_1888_7->n26_a_wilde_2_1888_8 n26_a_wilde_2_1888_9->n26_a_wilde_2_1888_10 n26_a_wilde_2_1888_12 RP n26_a_wilde_2_1888_11->n26_a_wilde_2_1888_12 n26_a_wilde_2_1888_12->n26_a_wilde_2_1888_13 n26_a_wilde_2_1888_15 D n26_a_wilde_2_1888_14->n26_a_wilde_2_1888_15 n26_a_wilde_2_1888_17 N n26_a_wilde_2_1888_14->n26_a_wilde_2_1888_17 n26_a_wilde_2_1888_15->n26_a_wilde_2_1888_16 n26_a_wilde_2_1888_17->n26_a_wilde_2_1888_18 n26_a_wilde_2_1888_20 P-ROLE n26_a_wilde_2_1888_19->n26_a_wilde_2_1888_20 n26_a_wilde_2_1888_22 NP n26_a_wilde_2_1888_19->n26_a_wilde_2_1888_22 n26_a_wilde_2_1888_20->n26_a_wilde_2_1888_21 n26_a_wilde_2_1888_23 NP-GEN n26_a_wilde_2_1888_22->n26_a_wilde_2_1888_23 n26_a_wilde_2_1888_26 ADJP n26_a_wilde_2_1888_22->n26_a_wilde_2_1888_26 n26_a_wilde_2_1888_29 ADJP n26_a_wilde_2_1888_22->n26_a_wilde_2_1888_29 n26_a_wilde_2_1888_32 N n26_a_wilde_2_1888_22->n26_a_wilde_2_1888_32 n26_a_wilde_2_1888_24 PRO;_genm_ n26_a_wilde_2_1888_23->n26_a_wilde_2_1888_24 n26_a_wilde_2_1888_24->n26_a_wilde_2_1888_25 n26_a_wilde_2_1888_27 ADJ n26_a_wilde_2_1888_26->n26_a_wilde_2_1888_27 n26_a_wilde_2_1888_27->n26_a_wilde_2_1888_28 n26_a_wilde_2_1888_30 ADJ n26_a_wilde_2_1888_29->n26_a_wilde_2_1888_30 n26_a_wilde_2_1888_30->n26_a_wilde_2_1888_31 n26_a_wilde_2_1888_32->n26_a_wilde_2_1888_33 n26_a_wilde_2_1888_34->n26_a_wilde_2_1888_35 n26_a_wilde_2_1888_37 CONJ n26_a_wilde_2_1888_36->n26_a_wilde_2_1888_37 n26_a_wilde_2_1888_39 ILYR n26_a_wilde_2_1888_36->n26_a_wilde_2_1888_39 n26_a_wilde_2_1888_37->n26_a_wilde_2_1888_38 n26_a_wilde_2_1888_40 NP-SBJ n26_a_wilde_2_1888_39->n26_a_wilde_2_1888_40 n26_a_wilde_2_1888_45 VBD;_Cn.a_ n26_a_wilde_2_1888_39->n26_a_wilde_2_1888_45 n26_a_wilde_2_1888_47 NP-OB1 n26_a_wilde_2_1888_39->n26_a_wilde_2_1888_47 n26_a_wilde_2_1888_54 NP-PRD n26_a_wilde_2_1888_39->n26_a_wilde_2_1888_54 n26_a_wilde_2_1888_41 D n26_a_wilde_2_1888_40->n26_a_wilde_2_1888_41 n26_a_wilde_2_1888_43 N n26_a_wilde_2_1888_40->n26_a_wilde_2_1888_43 n26_a_wilde_2_1888_41->n26_a_wilde_2_1888_42 n26_a_wilde_2_1888_43->n26_a_wilde_2_1888_44 n26_a_wilde_2_1888_45->n26_a_wilde_2_1888_46 n26_a_wilde_2_1888_48 Q;_nphd_ n26_a_wilde_2_1888_47->n26_a_wilde_2_1888_48 n26_a_wilde_2_1888_50 D n26_a_wilde_2_1888_47->n26_a_wilde_2_1888_50 n26_a_wilde_2_1888_52 NS n26_a_wilde_2_1888_47->n26_a_wilde_2_1888_52 n26_a_wilde_2_1888_48->n26_a_wilde_2_1888_49 n26_a_wilde_2_1888_50->n26_a_wilde_2_1888_51 n26_a_wilde_2_1888_52->n26_a_wilde_2_1888_53 n26_a_wilde_2_1888_55 N n26_a_wilde_2_1888_54->n26_a_wilde_2_1888_55 n26_a_wilde_2_1888_55->n26_a_wilde_2_1888_56 n26_a_wilde_2_1888_57->n26_a_wilde_2_1888_58 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{SNOW} (D The;{the})
                                     (N Snow;{snow}))
                      (VBD;__ covered;{cover})
                      (ADVP-NIM (RP up;{up}))
                      (NP-OB1 (D the;{the})
                              (N grass;{grass}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (NP-GEN;{SNOW} (PRO;_genm_ her;{her}))
                                  (ADJP (ADJ great;{great}))
                                  (ADJP (ADJ white;{white}))
                                  (N cloak;{cloak}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{FROST} (D the;{the})
                                             (N Frost;{frost}))
                             (VBD;_Cn.a_ painted;{paint})
                             (NP-OB1 (Q;_nphd_ all;{all})
                                     (D the;{the})
                                     (NS trees;{tree}))
                             (NP-PRD (N silver;{silver})))))
          (PUNC .))
  (ID 26_a_wilde_2_1888))