TSPC 591_a_dick

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

arc(r_0591_0004__possessions, r_0591_0003__their, gen).
arc(r_0591_0007__music, r_0591_0006__their, gen).
arc(r_0591_0012__pictures, r_0591_0011__their, gen).
arc(r_0591_0014__all_quant, r_0591_0017__will, scope).
arc(r_0591_0014__all_quant, z_000_591_a_dick_1952_41, restriction).
arc(r_0591_0017__will, r_0591_0001__After_all, nim2).
arc(r_0591_0017__will, r_0591_0018__survive, scope).
arc(r_0591_0018__survive, z_000_591_a_dick_1952_41, arg0).
arc(z_000_591_a_dick_1952_41, r_0591_0016__that, r_0591_0015__of).
arc(z_000_591_a_dick_1952_8, r_0591_0004__possessions, conj1).
arc(z_000_591_a_dick_1952_8, r_0591_0007__music, conj2).
arc(z_000_591_a_dick_1952_8, r_0591_0009__books, conj3).
arc(z_000_591_a_dick_1952_8, r_0591_0012__pictures, conj4).

fof(formula,axiom,
    ? [R_0591_0003__THEIR,R_0591_0004__POSSESSIONS,R_0591_0006__THEIR,R_0591_0007__MUSIC,R_0591_0009__BOOKS,R_0591_0011__THEIR,R_0591_0012__PICTURES,Z_000_591_A_DICK_1952_8] :
      ( r_0591_0003__their(R_0591_0003__THEIR)
      & r_0591_0006__their(R_0591_0006__THEIR)
      & r_0591_0009__books(R_0591_0009__BOOKS)
      & r_0591_0011__their(R_0591_0011__THEIR)
      & z_000_591_a_dick_1952_8(Z_000_591_A_DICK_1952_8)
      & has_conj4(Z_000_591_A_DICK_1952_8,R_0591_0012__PICTURES)
      & r_0591_0012__pictures(R_0591_0012__PICTURES)
      & has_gen(R_0591_0012__PICTURES,R_0591_0011__THEIR)
      & has_conj3(Z_000_591_A_DICK_1952_8,R_0591_0009__BOOKS)
      & has_conj2(Z_000_591_A_DICK_1952_8,R_0591_0007__MUSIC)
      & r_0591_0007__music(R_0591_0007__MUSIC)
      & has_gen(R_0591_0007__MUSIC,R_0591_0006__THEIR)
      & has_conj1(Z_000_591_A_DICK_1952_8,R_0591_0004__POSSESSIONS)
      & r_0591_0004__possessions(R_0591_0004__POSSESSIONS)
      & has_gen(R_0591_0004__POSSESSIONS,R_0591_0003__THEIR)
      & ! [Z_000_591_A_DICK_1952_41,R_0591_0016__THAT] :
          ( ( r_0591_0016__that(R_0591_0016__THAT)
            & z_000_591_a_dick_1952_41(Z_000_591_A_DICK_1952_41)
            & has_r_0591_0015__of(Z_000_591_A_DICK_1952_41,R_0591_0016__THAT) )
         => ? [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_000_591_A_DICK_1952_41)
              & has_nim2(R_0591_0017__WILL_R_0591_0018__SURVIVE,R_0591_0001__AFTER_ALL) ) ) ) ).

( (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))