TSPC 44_a_dick

44_a_dick_1952
Atmosphere poisoned, water vaporized, all the land fused.”

( (FRAG (ILYR (ILYR (NP-SBJ (N Atmosphere;{atmosphere}))
                    (NP-LGS *)
                    (VVN;_Tn_ poisoned;{poison}))
              (PUNC ,)
              (CONJP (ILYR (NP-SBJ (N water;{water}))
                           (NP-LGS *)
                           (VVN;_Tn_ vaporized;{vaporize})))
              (PUNC ,)
              (CONJP (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                   (NLYR (D the;{the})
                                         (N land;{land})))
                           (NP-LGS *)
                           (VVN;_Tn_ fused;{fuse}))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 44_a_dick_1952))

arc(r_0044_0002__poisoned,r_0044_0001__Atmosphere,arg1).
arc(r_0044_0002__poisoned,z_0044_5003___star_,arg0).
arc(r_0044_0005__vaporized,r_0044_0004__water,arg1).
arc(r_0044_0005__vaporized,z_0044_5006___star_,arg0).
arc(r_0044_0007__all__quant,r_0044_0010__fused,scope).
arc(r_0044_0007__all__quant,z_0044_5011,restriction).
arc(r_0044_0010__fused,z_0044_5011,arg1).
arc(r_0044_0010__fused,z_0044_5012___star_,arg0).
arc(z_0044_5001,r_0044_0002__poisoned,conj1).
arc(z_0044_5001,r_0044_0005__vaporized,conj2).
arc(z_0044_5001,r_0044_0007__all__quant,conj3).
arc(z_0044_5011,r_0044_0008__the_r_0044_0009__land,nim).

fof(formula,axiom,
    ? [R_0044_0001__ATMOSPHERE,Z_0044_5003___STAR_,R_0044_0002__POISONED,R_0044_0004__WATER,Z_0044_5006___STAR_,R_0044_0005__VAPORIZED,Z_0044_5001] :
      ( r_0044_0001__Atmosphere(R_0044_0001__ATMOSPHERE)
      & r_0044_0004__water(R_0044_0004__WATER)
      & z_0044_5003___star_(Z_0044_5003___STAR_)
      & z_0044_5006___star_(Z_0044_5006___STAR_)
      & z_0044_5001(Z_0044_5001)
      & ! [Z_0044_5011,R_0044_0008__THE_R_0044_0009__LAND] :
          ( ( r_0044_0008__the_r_0044_0009__land(R_0044_0008__THE_R_0044_0009__LAND)
            & z_0044_5011(Z_0044_5011)
            & has_nim(Z_0044_5011,R_0044_0008__THE_R_0044_0009__LAND) )
         => ? [Z_0044_5012___STAR_,R_0044_0010__FUSED] :
              ( z_0044_5012___star_(Z_0044_5012___STAR_)
              & r_0044_0010__fused(R_0044_0010__FUSED)
              & has_arg0(R_0044_0010__FUSED,Z_0044_5012___STAR_)
              & has_arg1(R_0044_0010__FUSED,Z_0044_5011) ) )
      & has_conj2(Z_0044_5001,R_0044_0005__VAPORIZED)
      & r_0044_0005__vaporized(R_0044_0005__VAPORIZED)
      & has_arg0(R_0044_0005__VAPORIZED,Z_0044_5006___STAR_)
      & has_arg1(R_0044_0005__VAPORIZED,R_0044_0004__WATER)
      & has_conj1(Z_0044_5001,R_0044_0002__POISONED)
      & r_0044_0002__poisoned(R_0044_0002__POISONED)
      & has_arg0(R_0044_0002__POISONED,Z_0044_5003___STAR_)
      & has_arg1(R_0044_0002__POISONED,R_0044_0001__ATMOSPHERE) ) ).