TSPC 26_a_wilde_2

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_0026_0001__THE_R_0026_0002__SNOW,R_0026_0004__UP,R_0026_0005__THE_R_0026_0006__GRASS,R_0026_0009__GREAT,R_0026_0010__WHITE,R_0026_0011__CLOAK,R_0026_0003__COVERED,R_0026_0013__AND] :
      ( r_0026_0001__The_r_0026_0002__Snow(R_0026_0001__THE_R_0026_0002__SNOW)
      & r_0026_0004__up(R_0026_0004__UP)
      & r_0026_0005__the_r_0026_0006__grass(R_0026_0005__THE_R_0026_0006__GRASS)
      & r_0026_0009__great(R_0026_0009__GREAT)
      & r_0026_0010__white(R_0026_0010__WHITE)
      & r_0026_0013__and(R_0026_0013__AND)
      & ! [R_0026_0018__THE_R_0026_0019__TREES] :
          ( r_0026_0018__the_r_0026_0019__trees(R_0026_0018__THE_R_0026_0019__TREES)
         => ? [R_0026_0014__THE_R_0026_0015__FROST,R_0026_0020__SILVER,R_0026_0016__PAINTED] :
              ( r_0026_0014__the_r_0026_0015__Frost(R_0026_0014__THE_R_0026_0015__FROST)
              & r_0026_0020__silver(R_0026_0020__SILVER)
              & r_0026_0016__painted(R_0026_0016__PAINTED)
              & has_prd(R_0026_0016__PAINTED,R_0026_0020__SILVER)
              & has_arg1(R_0026_0016__PAINTED,R_0026_0018__THE_R_0026_0019__TREES)
              & has_arg0(R_0026_0016__PAINTED,R_0026_0014__THE_R_0026_0015__FROST) ) )
      & has_conj1(R_0026_0013__AND,R_0026_0003__COVERED)
      & r_0026_0003__covered(R_0026_0003__COVERED)
      & has_r_0026_0007__with_nim22(R_0026_0003__COVERED,R_0026_0011__CLOAK)
      & r_0026_0011__cloak(R_0026_0011__CLOAK)
      & has_attrib29(R_0026_0011__CLOAK,R_0026_0010__WHITE)
      & has_attrib26(R_0026_0011__CLOAK,R_0026_0009__GREAT)
      & has_gen(R_0026_0011__CLOAK,R_0026_0001__THE_R_0026_0002__SNOW)
      & has_arg1(R_0026_0003__COVERED,R_0026_0005__THE_R_0026_0006__GRASS)
      & has_nim11(R_0026_0003__COVERED,R_0026_0004__UP)
      & has_arg0(R_0026_0003__COVERED,R_0026_0001__THE_R_0026_0002__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))