TSPC 130_a_dick

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

arc(r_0130_0001__the_r_0130_0003__planet, r_0130_0002__whole, attrib7).
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_0012__completely, qual39).
arc(z_000_130_a_dick_1952_2, r_0130_0004__burned, conj1).
arc(z_000_130_a_dick_1952_2, z_000_130_a_dick_1952_26, conj2).
arc(z_000_130_a_dick_1952_26, z_000_130_a_dick_1952_27, conj1).
arc(z_000_130_a_dick_1952_26, z_000_130_a_dick_1952_37, conj2).
arc(z_000_130_a_dick_1952_27, r_0130_0007__the_r_0130_0008__atmosphere, arg0).
arc(z_000_130_a_dick_1952_27, r_0130_0007__the_r_0130_0008__atmosphere, nim28).
arc(z_000_130_a_dick_1952_27, r_0130_0010__gone, prd).
arc(z_000_130_a_dick_1952_37, r_0130_0007__the_r_0130_0008__atmosphere, arg0).
arc(z_000_130_a_dick_1952_37, r_0130_0013__poisoned, 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_0010__GONE,Z_000_130_A_DICK_1952_27,R_0130_0012__COMPLETELY,R_0130_0013__POISONED,Z_000_130_A_DICK_1952_37,Z_000_130_A_DICK_1952_26,Z_000_130_A_DICK_1952_2] :
      ( 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_000_130_a_dick_1952_2(Z_000_130_A_DICK_1952_2)
      & has_conj2(Z_000_130_A_DICK_1952_2,Z_000_130_A_DICK_1952_26)
      & z_000_130_a_dick_1952_26(Z_000_130_A_DICK_1952_26)
      & has_conj2(Z_000_130_A_DICK_1952_26,Z_000_130_A_DICK_1952_37)
      & z_000_130_a_dick_1952_37(Z_000_130_A_DICK_1952_37)
      & has_prd(Z_000_130_A_DICK_1952_37,R_0130_0013__POISONED)
      & r_0130_0013__poisoned(R_0130_0013__POISONED)
      & has_qual39(R_0130_0013__POISONED,R_0130_0012__COMPLETELY)
      & has_arg0(Z_000_130_A_DICK_1952_37,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_conj1(Z_000_130_A_DICK_1952_26,Z_000_130_A_DICK_1952_27)
      & z_000_130_a_dick_1952_27(Z_000_130_A_DICK_1952_27)
      & has_prd(Z_000_130_A_DICK_1952_27,R_0130_0010__GONE)
      & has_nim28(Z_000_130_A_DICK_1952_27,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_arg0(Z_000_130_A_DICK_1952_27,R_0130_0007__THE_R_0130_0008__ATMOSPHERE)
      & has_conj1(Z_000_130_A_DICK_1952_2,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_attrib7(R_0130_0001__THE_R_0130_0003__PLANET,R_0130_0002__WHOLE) ) ).

( (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}))
                             (ILYR (ILYR (NP-RFL;{ATMOSPHERE} (PNX itself;{itself}))
                                         (ADJP-PRD (ADJ gone;{gone})))
                                   (PUNC ,)
                                   (CONJP (ILYR (ADJP-PRD (ADVP (ADV completely;{completely}))
                                                          (ADJ poisoned;{poisoned}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 130_a_dick_1952))