TSPC 130_a_dick

130_a_dick_1952
the whole planet burned dry, the atmosphere itself gone, completely poisoned.”

( (IP-MAT (ILYR (ILYR (NP-SBJ (D the;{the})
                              (ADJP (ADJ whole;{whole}))
                              (N planet;{planet}))
                      (VBD;_La_ burned;{burn})
                      (ADJP-PRD (ADJ dry;{dry})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{ATMOSPHERE} (D the;{the})
                                                  (N atmosphere;{atmosphere}))
                             (NP-RFL;{ATMOSPHERE} (PNX itself;{itself}))
                             (ADJP-PRD (ADJ gone;{gone}))
                             (PUNC ,)
                             (PP-SCON (IP-PPL (NP-LGS *)
                                              (ADVP-NIM (ADV completely;{completely}))
                                              (VVN;_Tn_ poisoned;{poisoned}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 130_a_dick_1952))

arc(r_0130_0001__the_r_0130_0003__planet,r_0130_0002__whole,attrib).
arc(r_0130_0004__burned,r_0130_0001__the_r_0130_0003__planet,arg0).
arc(r_0130_0004__burned,r_0130_0005__dry,prd).
arc(r_0130_0013__poisoned,r_0130_0007__the_r_0130_0008__atmosphere,arg1).
arc(r_0130_0013__poisoned,r_0130_0012__completely,nim).
arc(r_0130_0013__poisoned,z_0130_5010___star_,arg0).
arc(z_0130_5001,r_0130_0004__burned,conj1).
arc(z_0130_5001,z_0130_5007,conj2).
arc(z_0130_5007,r_0130_0013__poisoned,restriction).
arc(z_0130_5007,z_0130_5014,scope).
arc(z_0130_5014,r_0130_0007__the_r_0130_0008__atmosphere,arg0).
arc(z_0130_5014,r_0130_0007__the_r_0130_0008__atmosphere,rfl).
arc(z_0130_5014,r_0130_0010__gone,prd).

fof(formula,axiom,
    ? [R_0130_0002__WHOLE,R_0130_0001__THE_R_0130_0003__PLANET,R_0130_0005__DRY,R_0130_0004__BURNED,R_0130_0007__THE_R_0130_0008__ATMOSPHERE,R_0130_0012__COMPLETELY,Z_0130_5010___STAR_,R_0130_0013__POISONED,R_0130_0010__GONE,Z_0130_5014,Z_0130_5007,Z_0130_5001] :
      ( r_0130_0002__whole(R_0130_0002__WHOLE)
      & r_0130_0005__dry(R_0130_0005__DRY)
      & r_0130_0007__the_r_0130_0008__atmosphere(R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & r_0130_0010__gone(R_0130_0010__GONE)
      & r_0130_0012__completely(R_0130_0012__COMPLETELY)
      & z_0130_5010___star_(Z_0130_5010___STAR_)
      & z_0130_5001(Z_0130_5001)
      & has_conj2(Z_0130_5001,Z_0130_5007)
      & z_0130_5007(Z_0130_5007)
      & has_conj2(Z_0130_5007,Z_0130_5014)
      & z_0130_5014(Z_0130_5014)
      & has_prd(Z_0130_5014,R_0130_0010__GONE)
      & has_rfl(Z_0130_5014,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_arg0(Z_0130_5014,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_conj1(Z_0130_5007,R_0130_0013__POISONED)
      & r_0130_0013__poisoned(R_0130_0013__POISONED)
      & has_arg0(R_0130_0013__POISONED,Z_0130_5010___STAR_)
      & has_nim(R_0130_0013__POISONED,R_0130_0012__COMPLETELY)
      & has_arg1(R_0130_0013__POISONED,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_conj1(Z_0130_5001,R_0130_0004__BURNED)
      & r_0130_0004__burned(R_0130_0004__BURNED)
      & has_prd(R_0130_0004__BURNED,R_0130_0005__DRY)
      & has_arg0(R_0130_0004__BURNED,R_0130_0001__THE_R_0130_0003__PLANET)
      & r_0130_0001__the_r_0130_0003__planet(R_0130_0001__THE_R_0130_0003__PLANET)
      & has_attrib(R_0130_0001__THE_R_0130_0003__PLANET,R_0130_0002__WHOLE) ) ).