TSPC 33_a_dick

33_a_dick_1952
“Most of the atmosphere is poisoned.

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (Q;_nphd_ Most;{most})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N atmosphere;{atmosphere}))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ poisoned;{poison}))
          (PUNC .))
  (ID 33_a_dick_1952))

arc(r_0033_0002__Most__quant,r_0033_0006__is,scope).
arc(r_0033_0002__Most__quant,z_0033_5004,restriction).
arc(r_0033_0006__is,r_0033_0007__poisoned,scope).
arc(r_0033_0007__poisoned,z_0033_5004,arg1).
arc(r_0033_0007__poisoned,z_0033_5006___star_,arg0).
arc(z_0033_5004,r_0033_0004__the_r_0033_0005__atmosphere,r_0033_0003__of).

fof(formula,axiom,
    ! [Z_0033_5004,R_0033_0004__THE_R_0033_0005__ATMOSPHERE] :
      ( ( r_0033_0004__the_r_0033_0005__atmosphere(R_0033_0004__THE_R_0033_0005__ATMOSPHERE)
        & z_0033_5004(Z_0033_5004)
        & has_r_0033_0003__of(Z_0033_5004,R_0033_0004__THE_R_0033_0005__ATMOSPHERE) )
     => ? [Z_0033_5006___STAR_,R_0033_0006__IS_R_0033_0007__POISONED] :
          ( z_0033_5006___star_(Z_0033_5006___STAR_)
          & r_0033_0006__is_r_0033_0007__poisoned(R_0033_0006__IS_R_0033_0007__POISONED)
          & has_arg0(R_0033_0006__IS_R_0033_0007__POISONED,Z_0033_5006___STAR_)
          & has_arg1(R_0033_0006__IS_R_0033_0007__POISONED,Z_0033_5004) ) ) ).