TSPC 591_a_dick

591_a_dick_1952
After all, their possessions, their music, books, their pictures, all of that will survive.

( (IP-MAT (ADVP-NIM (ADV After_all;{after_all}))
          (PUNC ,)
          (NP-TPC-DSC;{POSSESSIONS} (NLYR (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                (NS possessions;{possession}))
                                          (PUNC ,)
                                          (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                       (N music;{music})))
                                          (PUNC ,)
                                          (CONJP (NLYR (NS books;{book})))
                                          (PUNC ,)
                                          (CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                       (NS pictures;{picture})))))
          (PUNC ,)
          (NP-SBJ (Q;_nphd_ all;{all})
                  (PP (P-ROLE of;{of})
                      (NP;{POSSESSIONS} (D;_nphd_ that;{that}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_I_ survive;{survive}))
          (PUNC .))
  (ID 591_a_dick_1952))

arc(r_0591_0004__possessions,r_0591_0003__their,gen).
arc(r_0591_0007__music,r_0591_0003__their,gen).
arc(r_0591_0012__pictures,r_0591_0003__their,gen).
arc(r_0591_0014__all__quant,r_0591_0017__will,scope).
arc(r_0591_0014__all__quant,z_0591_5013,restriction).
arc(r_0591_0017__will,r_0591_0001__After_all,nim).
arc(r_0591_0017__will,r_0591_0018__survive,scope).
arc(r_0591_0018__survive,z_0591_5013,arg0).
arc(z_0591_5008,r_0591_0004__possessions,conj1).
arc(z_0591_5008,r_0591_0007__music,conj2).
arc(z_0591_5008,r_0591_0009__books,conj3).
arc(z_0591_5008,r_0591_0012__pictures,conj4).
arc(z_0591_5013,z_0591_5008,r_0591_0015__of).

fof(formula,axiom,
    ! [Z_0591_5013,R_0591_0003__THEIR,R_0591_0004__POSSESSIONS,R_0591_0007__MUSIC,R_0591_0009__BOOKS,R_0591_0012__PICTURES,Z_0591_5008] :
      ( ( r_0591_0003__their(R_0591_0003__THEIR)
        & r_0591_0009__books(R_0591_0009__BOOKS)
        & z_0591_5013(Z_0591_5013)
        & has_r_0591_0015__of(Z_0591_5013,Z_0591_5008)
        & z_0591_5008(Z_0591_5008)
        & has_conj4(Z_0591_5008,R_0591_0012__PICTURES)
        & r_0591_0012__pictures(R_0591_0012__PICTURES)
        & has_gen(R_0591_0012__PICTURES,R_0591_0003__THEIR)
        & has_conj3(Z_0591_5008,R_0591_0009__BOOKS)
        & has_conj2(Z_0591_5008,R_0591_0007__MUSIC)
        & r_0591_0007__music(R_0591_0007__MUSIC)
        & has_gen(R_0591_0007__MUSIC,R_0591_0003__THEIR)
        & has_conj1(Z_0591_5008,R_0591_0004__POSSESSIONS)
        & r_0591_0004__possessions(R_0591_0004__POSSESSIONS)
        & has_gen(R_0591_0004__POSSESSIONS,R_0591_0003__THEIR) )
     => ? [R_0591_0001__AFTER_ALL,R_0591_0017__WILL_R_0591_0018__SURVIVE] :
          ( r_0591_0001__After_all(R_0591_0001__AFTER_ALL)
          & r_0591_0017__will_r_0591_0018__survive(R_0591_0017__WILL_R_0591_0018__SURVIVE)
          & has_arg0(R_0591_0017__WILL_R_0591_0018__SURVIVE,Z_0591_5013)
          & has_nim(R_0591_0017__WILL_R_0591_0018__SURVIVE,R_0591_0001__AFTER_ALL) ) ) ).