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