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.

( (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})
                                     (NLYR (D the;{the})
                                           (NS trees;{tree})))
                             (NP-PRD (N silver;{silver})))))
          (PUNC .))
  (ID 26_a_wilde_2_1888))

arc(r_0026_0003__covered,r_0026_0001__The_r_0026_0002__Snow,arg0).
arc(r_0026_0003__covered,r_0026_0004__up,nim).
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__nim).
arc(r_0026_0011__cloak,r_0026_0001__The_r_0026_0002__Snow,gen).
arc(r_0026_0011__cloak,r_0026_0009__great,attrib).
arc(r_0026_0011__cloak,r_0026_0010__white,attrib).
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_0020__silver,prd).
arc(r_0026_0016__painted,z_0026_5013,arg1).
arc(r_0026_0017__all__quant,r_0026_0016__painted,scope).
arc(r_0026_0017__all__quant,z_0026_5013,restriction).
arc(z_0026_5013,r_0026_0018__the_r_0026_0019__trees,nim).

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)
      & ! [Z_0026_5013,R_0026_0018__THE_R_0026_0019__TREES] :
          ( ( r_0026_0018__the_r_0026_0019__trees(R_0026_0018__THE_R_0026_0019__TREES)
            & z_0026_5013(Z_0026_5013)
            & has_nim(Z_0026_5013,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_arg1(R_0026_0016__PAINTED,Z_0026_5013)
              & has_prd(R_0026_0016__PAINTED,R_0026_0020__SILVER)
              & 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__nim(R_0026_0003__COVERED,R_0026_0011__CLOAK)
      & r_0026_0011__cloak(R_0026_0011__CLOAK)
      & has_attrib(R_0026_0011__CLOAK,R_0026_0010__WHITE)
      & has_attrib(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_nim(R_0026_0003__COVERED,R_0026_0004__UP)
      & has_arg0(R_0026_0003__COVERED,R_0026_0001__THE_R_0026_0002__SNOW) ) ).