Context                Previous, Next                Top


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

%3 r_0591_0004__possessions possessions r_0591_0003__their their r_0591_0004__possessions->r_0591_0003__their [gen] r_0591_0007__music music r_0591_0006__their their r_0591_0007__music->r_0591_0006__their [gen] r_0591_0012__pictures pictures r_0591_0011__their their r_0591_0012__pictures->r_0591_0011__their [gen] r_0591_0014__all_quant all [quant] r_0591_0017__will will r_0591_0014__all_quant->r_0591_0017__will [scope] z_000_591_a_dick_1952_41 r_0591_0014__all_quant->z_000_591_a_dick_1952_41 [restriction] r_0591_0001__After_all After all r_0591_0017__will->r_0591_0001__After_all [nim] r_0591_0018__survive survive r_0591_0017__will->r_0591_0018__survive [scope] r_0591_0016__that that z_000_591_a_dick_1952_41->r_0591_0016__that of r_0591_0018__survive->z_000_591_a_dick_1952_41 [arg0] z_000_591_a_dick_1952_8 z_000_591_a_dick_1952_8->r_0591_0004__possessions [conj1] z_000_591_a_dick_1952_8->r_0591_0007__music [conj2] z_000_591_a_dick_1952_8->r_0591_0012__pictures [conj4] r_0591_0009__books books z_000_591_a_dick_1952_8->r_0591_0009__books [conj3] 
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).


%3 z_000_591_a_dick_1952_8 r_0591_0012__pictures pictures z_000_591_a_dick_1952_8->r_0591_0012__pictures [conj4] r_0591_0009__books books z_000_591_a_dick_1952_8->r_0591_0009__books [conj3] r_0591_0007__music music z_000_591_a_dick_1952_8->r_0591_0007__music [conj2] r_0591_0004__possessions possessions z_000_591_a_dick_1952_8->r_0591_0004__possessions [conj1] r_0591_0011__their their r_0591_0012__pictures->r_0591_0011__their [gen] r_0591_0006__their their r_0591_0007__music->r_0591_0006__their [gen] r_0591_0003__their their r_0591_0004__possessions->r_0591_0003__their [gen] z_000_591_a_dick_1952_41 r_0591_0016__that that z_000_591_a_dick_1952_41->r_0591_0016__that of r_0591_0017__will_r_0591_0018__survive will survive r_0591_0017__will_r_0591_0018__survive->z_000_591_a_dick_1952_41 [arg0] r_0591_0001__After_all After all r_0591_0017__will_r_0591_0018__survive->r_0591_0001__After_all [nim] r_0591_0014__all_quant all [quant] r_0591_0014__all_quant->z_000_591_a_dick_1952_41 [restriction] r_0591_0014__all_quant->r_0591_0017__will_r_0591_0018__survive [scope] 
fof(formula,axiom,
    ? [Z_591_A_DICK_1952_8,R_591_4_POSSESSIONS,R_591_3_THEIR,R_591_7_MUSIC,R_591_6_THEIR,R_591_9_BOOKS,R_591_12_PICTURES,R_591_11_THEIR] :
      ( their(R_591_3_THEIR)
      & their(R_591_6_THEIR)
      & books(R_591_9_BOOKS)
      & their(R_591_11_THEIR)
      & ! [Z_591_A_DICK_1952_41,R_591_16_THAT] :
          ( ( that(R_591_16_THAT)
            & z_591_a_dick_1952_41(Z_591_A_DICK_1952_41)
            & of(Z_591_A_DICK_1952_41,R_591_16_THAT) )
         => ? [R_591_17_WILL_SURVIVE,R_591_1_AFTER_ALL] :
              ( after_all(R_591_1_AFTER_ALL)
              & will_survive(R_591_17_WILL_SURVIVE,Z_591_A_DICK_1952_41)
              & nim2(R_591_17_WILL_SURVIVE,R_591_1_AFTER_ALL) ) )
      & z_591_a_dick_1952_8(Z_591_A_DICK_1952_8)
      & conj1(Z_591_A_DICK_1952_8,R_591_4_POSSESSIONS)
      & possessions(R_591_4_POSSESSIONS)
      & gen(R_591_4_POSSESSIONS,R_591_3_THEIR)
      & conj2(Z_591_A_DICK_1952_8,R_591_7_MUSIC)
      & music(R_591_7_MUSIC)
      & gen(R_591_7_MUSIC,R_591_6_THEIR)
      & conj3(Z_591_A_DICK_1952_8,R_591_9_BOOKS)
      & conj4(Z_591_A_DICK_1952_8,R_591_12_PICTURES)
      & pictures(R_591_12_PICTURES)
      & gen(R_591_12_PICTURES,R_591_11_THEIR) ) ).


n591_a_dick_1952 n591_a_dick_1952__1_1_1_1 After_all n591_a_dick_1952__1_2_1 , n591_a_dick_1952__1_3_1_1_1_1_1 their n591_a_dick_1952__1_3_1_1_2_1 possessions n591_a_dick_1952__1_3_1_2_1 , n591_a_dick_1952__1_3_1_3_1_1_1_1 their n591_a_dick_1952__1_3_1_3_1_2_1 music n591_a_dick_1952__1_3_1_4_1 , n591_a_dick_1952__1_3_1_5_1_1_1 books n591_a_dick_1952__1_3_1_6_1 , n591_a_dick_1952__1_3_1_7_1_1_1_1 their n591_a_dick_1952__1_3_1_7_1_2_1 pictures n591_a_dick_1952__1_4_1 , n591_a_dick_1952__1_5_1_1 all n591_a_dick_1952__1_5_2_1_1 of n591_a_dick_1952__1_5_2_2_1_1 that n591_a_dick_1952__1_6_1 will n591_a_dick_1952__1_7_1_1 survive n591_a_dick_1952__1_8_1 . n591_a_dick_1952__1 IP-MAT n591_a_dick_1952__1_1 ADVP-NIM n591_a_dick_1952__1->n591_a_dick_1952__1_1 n591_a_dick_1952__1_2 PUNC n591_a_dick_1952__1->n591_a_dick_1952__1_2 n591_a_dick_1952__1_3 NP-TPC-DSC n591_a_dick_1952__1->n591_a_dick_1952__1_3 n591_a_dick_1952__1_4 PUNC n591_a_dick_1952__1->n591_a_dick_1952__1_4 n591_a_dick_1952__1_5 NP-SBJ n591_a_dick_1952__1->n591_a_dick_1952__1_5 n591_a_dick_1952__1_6 MD;_cat_Vi_ n591_a_dick_1952__1->n591_a_dick_1952__1_6 n591_a_dick_1952__1_7 IP-INF-CAT n591_a_dick_1952__1->n591_a_dick_1952__1_7 n591_a_dick_1952__1_8 PUNC n591_a_dick_1952__1->n591_a_dick_1952__1_8 n591_a_dick_1952__1_1_1 ADV n591_a_dick_1952__1_1->n591_a_dick_1952__1_1_1 n591_a_dick_1952__1_1_1->n591_a_dick_1952__1_1_1_1 n591_a_dick_1952__1_2->n591_a_dick_1952__1_2_1 n591_a_dick_1952__1_3_1 NLYR n591_a_dick_1952__1_3->n591_a_dick_1952__1_3_1 n591_a_dick_1952__1_3_1_1 NLYR n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_1 n591_a_dick_1952__1_3_1_2 PUNC n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_2 n591_a_dick_1952__1_3_1_3 CONJP n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_3 n591_a_dick_1952__1_3_1_4 PUNC n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_4 n591_a_dick_1952__1_3_1_5 CONJP n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_5 n591_a_dick_1952__1_3_1_6 PUNC n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_6 n591_a_dick_1952__1_3_1_7 CONJP n591_a_dick_1952__1_3_1->n591_a_dick_1952__1_3_1_7 n591_a_dick_1952__1_3_1_1_1 NP-GEN n591_a_dick_1952__1_3_1_1->n591_a_dick_1952__1_3_1_1_1 n591_a_dick_1952__1_3_1_1_2 NS n591_a_dick_1952__1_3_1_1->n591_a_dick_1952__1_3_1_1_2 n591_a_dick_1952__1_3_1_1_1_1 PRO;_genm_ n591_a_dick_1952__1_3_1_1_1->n591_a_dick_1952__1_3_1_1_1_1 n591_a_dick_1952__1_3_1_1_1_1->n591_a_dick_1952__1_3_1_1_1_1_1 n591_a_dick_1952__1_3_1_1_2->n591_a_dick_1952__1_3_1_1_2_1 n591_a_dick_1952__1_3_1_2->n591_a_dick_1952__1_3_1_2_1 n591_a_dick_1952__1_3_1_3_1 NLYR n591_a_dick_1952__1_3_1_3->n591_a_dick_1952__1_3_1_3_1 n591_a_dick_1952__1_3_1_3_1_1 NP-GEN n591_a_dick_1952__1_3_1_3_1->n591_a_dick_1952__1_3_1_3_1_1 n591_a_dick_1952__1_3_1_3_1_2 N n591_a_dick_1952__1_3_1_3_1->n591_a_dick_1952__1_3_1_3_1_2 n591_a_dick_1952__1_3_1_3_1_1_1 PRO;_genm_ n591_a_dick_1952__1_3_1_3_1_1->n591_a_dick_1952__1_3_1_3_1_1_1 n591_a_dick_1952__1_3_1_3_1_1_1->n591_a_dick_1952__1_3_1_3_1_1_1_1 n591_a_dick_1952__1_3_1_3_1_2->n591_a_dick_1952__1_3_1_3_1_2_1 n591_a_dick_1952__1_3_1_4->n591_a_dick_1952__1_3_1_4_1 n591_a_dick_1952__1_3_1_5_1 NLYR n591_a_dick_1952__1_3_1_5->n591_a_dick_1952__1_3_1_5_1 n591_a_dick_1952__1_3_1_5_1_1 NS n591_a_dick_1952__1_3_1_5_1->n591_a_dick_1952__1_3_1_5_1_1 n591_a_dick_1952__1_3_1_5_1_1->n591_a_dick_1952__1_3_1_5_1_1_1 n591_a_dick_1952__1_3_1_6->n591_a_dick_1952__1_3_1_6_1 n591_a_dick_1952__1_3_1_7_1 NLYR n591_a_dick_1952__1_3_1_7->n591_a_dick_1952__1_3_1_7_1 n591_a_dick_1952__1_3_1_7_1_1 NP-GEN n591_a_dick_1952__1_3_1_7_1->n591_a_dick_1952__1_3_1_7_1_1 n591_a_dick_1952__1_3_1_7_1_2 NS n591_a_dick_1952__1_3_1_7_1->n591_a_dick_1952__1_3_1_7_1_2 n591_a_dick_1952__1_3_1_7_1_1_1 PRO;_genm_ n591_a_dick_1952__1_3_1_7_1_1->n591_a_dick_1952__1_3_1_7_1_1_1 n591_a_dick_1952__1_3_1_7_1_1_1->n591_a_dick_1952__1_3_1_7_1_1_1_1 n591_a_dick_1952__1_3_1_7_1_2->n591_a_dick_1952__1_3_1_7_1_2_1 n591_a_dick_1952__1_4->n591_a_dick_1952__1_4_1 n591_a_dick_1952__1_5_1 Q;_nphd_ n591_a_dick_1952__1_5->n591_a_dick_1952__1_5_1 n591_a_dick_1952__1_5_2 PP n591_a_dick_1952__1_5->n591_a_dick_1952__1_5_2 n591_a_dick_1952__1_5_1->n591_a_dick_1952__1_5_1_1 n591_a_dick_1952__1_5_2_1 P-ROLE n591_a_dick_1952__1_5_2->n591_a_dick_1952__1_5_2_1 n591_a_dick_1952__1_5_2_2 NP n591_a_dick_1952__1_5_2->n591_a_dick_1952__1_5_2_2 n591_a_dick_1952__1_5_2_1->n591_a_dick_1952__1_5_2_1_1 n591_a_dick_1952__1_5_2_2_1 D;_nphd_ n591_a_dick_1952__1_5_2_2->n591_a_dick_1952__1_5_2_2_1 n591_a_dick_1952__1_5_2_2_1->n591_a_dick_1952__1_5_2_2_1_1 n591_a_dick_1952__1_6->n591_a_dick_1952__1_6_1 n591_a_dick_1952__1_7_1 VB;_I_ n591_a_dick_1952__1_7->n591_a_dick_1952__1_7_1 n591_a_dick_1952__1_7_1->n591_a_dick_1952__1_7_1_1 n591_a_dick_1952__1_8->n591_a_dick_1952__1_8_1 
( (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))