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_0017__all_quant all [quant] 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_0016__painted painted r_0026_0017__all_quant->r_0026_0016__painted [scope] 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] 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_0013__and and r_0026_0013__and->r_0026_0017__all_quant [conj2] r_0026_0003__covered covered r_0026_0013__and->r_0026_0003__covered [conj1] r_0026_0011__cloak cloak r_0026_0003__covered->r_0026_0011__cloak with [nim] 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_0005__the_r_0026_0006__grass the grass r_0026_0003__covered->r_0026_0005__the_r_0026_0006__grass [arg1] r_0026_0004__up up r_0026_0003__covered->r_0026_0004__up [nim] r_0026_0010__white white r_0026_0011__cloak->r_0026_0010__white [attrib] r_0026_0009__great great r_0026_0011__cloak->r_0026_0009__great [attrib] r_0026_0011__cloak->r_0026_0001__The_r_0026_0002__Snow [gen] 
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__1_1_1_1_1_1 The n26_a_wilde_2_1888__1_1_1_1_2_1 Snow n26_a_wilde_2_1888__1_1_1_2_1 covered n26_a_wilde_2_1888__1_1_1_3_1_1 up n26_a_wilde_2_1888__1_1_1_4_1_1 the n26_a_wilde_2_1888__1_1_1_4_2_1 grass n26_a_wilde_2_1888__1_1_1_5_1_1 with n26_a_wilde_2_1888__1_1_1_5_2_1_1_1 her n26_a_wilde_2_1888__1_1_1_5_2_2_1_1 great n26_a_wilde_2_1888__1_1_1_5_2_3_1_1 white n26_a_wilde_2_1888__1_1_1_5_2_4_1 cloak n26_a_wilde_2_1888__1_1_2_1 , n26_a_wilde_2_1888__1_1_3_1_1 and n26_a_wilde_2_1888__1_1_3_2_1_1_1 the n26_a_wilde_2_1888__1_1_3_2_1_2_1 Frost n26_a_wilde_2_1888__1_1_3_2_2_1 painted n26_a_wilde_2_1888__1_1_3_2_3_1_1 all n26_a_wilde_2_1888__1_1_3_2_3_2_1 the n26_a_wilde_2_1888__1_1_3_2_3_3_1 trees n26_a_wilde_2_1888__1_1_3_2_4_1_1 silver n26_a_wilde_2_1888__1_2_1 . n26_a_wilde_2_1888__1 IP-MAT n26_a_wilde_2_1888__1_1 ILYR n26_a_wilde_2_1888__1->n26_a_wilde_2_1888__1_1 n26_a_wilde_2_1888__1_2 PUNC n26_a_wilde_2_1888__1->n26_a_wilde_2_1888__1_2 n26_a_wilde_2_1888__1_1_1 ILYR n26_a_wilde_2_1888__1_1->n26_a_wilde_2_1888__1_1_1 n26_a_wilde_2_1888__1_1_2 PUNC n26_a_wilde_2_1888__1_1->n26_a_wilde_2_1888__1_1_2 n26_a_wilde_2_1888__1_1_3 CONJP n26_a_wilde_2_1888__1_1->n26_a_wilde_2_1888__1_1_3 n26_a_wilde_2_1888__1_1_1_1 NP-SBJ n26_a_wilde_2_1888__1_1_1->n26_a_wilde_2_1888__1_1_1_1 n26_a_wilde_2_1888__1_1_1_2 VBD;__ n26_a_wilde_2_1888__1_1_1->n26_a_wilde_2_1888__1_1_1_2 n26_a_wilde_2_1888__1_1_1_3 ADVP-NIM n26_a_wilde_2_1888__1_1_1->n26_a_wilde_2_1888__1_1_1_3 n26_a_wilde_2_1888__1_1_1_4 NP-OB1 n26_a_wilde_2_1888__1_1_1->n26_a_wilde_2_1888__1_1_1_4 n26_a_wilde_2_1888__1_1_1_5 PP-NIM n26_a_wilde_2_1888__1_1_1->n26_a_wilde_2_1888__1_1_1_5 n26_a_wilde_2_1888__1_1_1_1_1 D n26_a_wilde_2_1888__1_1_1_1->n26_a_wilde_2_1888__1_1_1_1_1 n26_a_wilde_2_1888__1_1_1_1_2 N n26_a_wilde_2_1888__1_1_1_1->n26_a_wilde_2_1888__1_1_1_1_2 n26_a_wilde_2_1888__1_1_1_1_1->n26_a_wilde_2_1888__1_1_1_1_1_1 n26_a_wilde_2_1888__1_1_1_1_2->n26_a_wilde_2_1888__1_1_1_1_2_1 n26_a_wilde_2_1888__1_1_1_2->n26_a_wilde_2_1888__1_1_1_2_1 n26_a_wilde_2_1888__1_1_1_3_1 RP n26_a_wilde_2_1888__1_1_1_3->n26_a_wilde_2_1888__1_1_1_3_1 n26_a_wilde_2_1888__1_1_1_3_1->n26_a_wilde_2_1888__1_1_1_3_1_1 n26_a_wilde_2_1888__1_1_1_4_1 D n26_a_wilde_2_1888__1_1_1_4->n26_a_wilde_2_1888__1_1_1_4_1 n26_a_wilde_2_1888__1_1_1_4_2 N n26_a_wilde_2_1888__1_1_1_4->n26_a_wilde_2_1888__1_1_1_4_2 n26_a_wilde_2_1888__1_1_1_4_1->n26_a_wilde_2_1888__1_1_1_4_1_1 n26_a_wilde_2_1888__1_1_1_4_2->n26_a_wilde_2_1888__1_1_1_4_2_1 n26_a_wilde_2_1888__1_1_1_5_1 P-ROLE n26_a_wilde_2_1888__1_1_1_5->n26_a_wilde_2_1888__1_1_1_5_1 n26_a_wilde_2_1888__1_1_1_5_2 NP n26_a_wilde_2_1888__1_1_1_5->n26_a_wilde_2_1888__1_1_1_5_2 n26_a_wilde_2_1888__1_1_1_5_1->n26_a_wilde_2_1888__1_1_1_5_1_1 n26_a_wilde_2_1888__1_1_1_5_2_1 NP-GEN n26_a_wilde_2_1888__1_1_1_5_2->n26_a_wilde_2_1888__1_1_1_5_2_1 n26_a_wilde_2_1888__1_1_1_5_2_2 ADJP n26_a_wilde_2_1888__1_1_1_5_2->n26_a_wilde_2_1888__1_1_1_5_2_2 n26_a_wilde_2_1888__1_1_1_5_2_3 ADJP n26_a_wilde_2_1888__1_1_1_5_2->n26_a_wilde_2_1888__1_1_1_5_2_3 n26_a_wilde_2_1888__1_1_1_5_2_4 N n26_a_wilde_2_1888__1_1_1_5_2->n26_a_wilde_2_1888__1_1_1_5_2_4 n26_a_wilde_2_1888__1_1_1_5_2_1_1 PRO;_genm_ n26_a_wilde_2_1888__1_1_1_5_2_1->n26_a_wilde_2_1888__1_1_1_5_2_1_1 n26_a_wilde_2_1888__1_1_1_5_2_1_1->n26_a_wilde_2_1888__1_1_1_5_2_1_1_1 n26_a_wilde_2_1888__1_1_1_5_2_2_1 ADJ n26_a_wilde_2_1888__1_1_1_5_2_2->n26_a_wilde_2_1888__1_1_1_5_2_2_1 n26_a_wilde_2_1888__1_1_1_5_2_2_1->n26_a_wilde_2_1888__1_1_1_5_2_2_1_1 n26_a_wilde_2_1888__1_1_1_5_2_3_1 ADJ n26_a_wilde_2_1888__1_1_1_5_2_3->n26_a_wilde_2_1888__1_1_1_5_2_3_1 n26_a_wilde_2_1888__1_1_1_5_2_3_1->n26_a_wilde_2_1888__1_1_1_5_2_3_1_1 n26_a_wilde_2_1888__1_1_1_5_2_4->n26_a_wilde_2_1888__1_1_1_5_2_4_1 n26_a_wilde_2_1888__1_1_2->n26_a_wilde_2_1888__1_1_2_1 n26_a_wilde_2_1888__1_1_3_1 CONJ n26_a_wilde_2_1888__1_1_3->n26_a_wilde_2_1888__1_1_3_1 n26_a_wilde_2_1888__1_1_3_2 ILYR n26_a_wilde_2_1888__1_1_3->n26_a_wilde_2_1888__1_1_3_2 n26_a_wilde_2_1888__1_1_3_1->n26_a_wilde_2_1888__1_1_3_1_1 n26_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n26_a_wilde_2_1888__1_1_3_2->n26_a_wilde_2_1888__1_1_3_2_1 n26_a_wilde_2_1888__1_1_3_2_2 VBD;_Cn.a_ n26_a_wilde_2_1888__1_1_3_2->n26_a_wilde_2_1888__1_1_3_2_2 n26_a_wilde_2_1888__1_1_3_2_3 NP-OB1 n26_a_wilde_2_1888__1_1_3_2->n26_a_wilde_2_1888__1_1_3_2_3 n26_a_wilde_2_1888__1_1_3_2_4 NP-PRD n26_a_wilde_2_1888__1_1_3_2->n26_a_wilde_2_1888__1_1_3_2_4 n26_a_wilde_2_1888__1_1_3_2_1_1 D n26_a_wilde_2_1888__1_1_3_2_1->n26_a_wilde_2_1888__1_1_3_2_1_1 n26_a_wilde_2_1888__1_1_3_2_1_2 N n26_a_wilde_2_1888__1_1_3_2_1->n26_a_wilde_2_1888__1_1_3_2_1_2 n26_a_wilde_2_1888__1_1_3_2_1_1->n26_a_wilde_2_1888__1_1_3_2_1_1_1 n26_a_wilde_2_1888__1_1_3_2_1_2->n26_a_wilde_2_1888__1_1_3_2_1_2_1 n26_a_wilde_2_1888__1_1_3_2_2->n26_a_wilde_2_1888__1_1_3_2_2_1 n26_a_wilde_2_1888__1_1_3_2_3_1 Q;_nphd_ n26_a_wilde_2_1888__1_1_3_2_3->n26_a_wilde_2_1888__1_1_3_2_3_1 n26_a_wilde_2_1888__1_1_3_2_3_2 D n26_a_wilde_2_1888__1_1_3_2_3->n26_a_wilde_2_1888__1_1_3_2_3_2 n26_a_wilde_2_1888__1_1_3_2_3_3 NS n26_a_wilde_2_1888__1_1_3_2_3->n26_a_wilde_2_1888__1_1_3_2_3_3 n26_a_wilde_2_1888__1_1_3_2_3_1->n26_a_wilde_2_1888__1_1_3_2_3_1_1 n26_a_wilde_2_1888__1_1_3_2_3_2->n26_a_wilde_2_1888__1_1_3_2_3_2_1 n26_a_wilde_2_1888__1_1_3_2_3_3->n26_a_wilde_2_1888__1_1_3_2_3_3_1 n26_a_wilde_2_1888__1_1_3_2_4_1 N n26_a_wilde_2_1888__1_1_3_2_4->n26_a_wilde_2_1888__1_1_3_2_4_1 n26_a_wilde_2_1888__1_1_3_2_4_1->n26_a_wilde_2_1888__1_1_3_2_4_1_1 n26_a_wilde_2_1888__1_2->n26_a_wilde_2_1888__1_2_1 
( (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))