26_a_wilde_2_1888
The Snow covered up the grass with her great white cloak, and the Frost painted all the trees silver.
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).
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) ) ).
( (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))