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 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_r_0591_0018__survive will survive r_0591_0014__all_quant->r_0591_0017__will_r_0591_0018__survive [scope] z_000_591_a_dick_1952_41 r_0591_0014__all_quant->z_000_591_a_dick_1952_41 [restriction] 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_0016__that that z_000_591_a_dick_1952_41->r_0591_0016__that of 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] 
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_4 After_all n591_a_dick_1952_6 , n591_a_dick_1952_12 their n591_a_dick_1952_14 possessions n591_a_dick_1952_16 , n591_a_dick_1952_21 their n591_a_dick_1952_23 music n591_a_dick_1952_25 , n591_a_dick_1952_29 books n591_a_dick_1952_31 , n591_a_dick_1952_36 their n591_a_dick_1952_38 pictures n591_a_dick_1952_40 , n591_a_dick_1952_43 all n591_a_dick_1952_46 of n591_a_dick_1952_49 that n591_a_dick_1952_51 will n591_a_dick_1952_54 survive n591_a_dick_1952_56 . n591_a_dick_1952_1 IP-MAT n591_a_dick_1952_2 ADVP-NIM n591_a_dick_1952_1->n591_a_dick_1952_2 n591_a_dick_1952_5 PUNC n591_a_dick_1952_1->n591_a_dick_1952_5 n591_a_dick_1952_7 NP-TPC-DSC n591_a_dick_1952_1->n591_a_dick_1952_7 n591_a_dick_1952_39 PUNC n591_a_dick_1952_1->n591_a_dick_1952_39 n591_a_dick_1952_41 NP-SBJ n591_a_dick_1952_1->n591_a_dick_1952_41 n591_a_dick_1952_50 MD;_cat_Vi_ n591_a_dick_1952_1->n591_a_dick_1952_50 n591_a_dick_1952_52 IP-INF-CAT n591_a_dick_1952_1->n591_a_dick_1952_52 n591_a_dick_1952_55 PUNC n591_a_dick_1952_1->n591_a_dick_1952_55 n591_a_dick_1952_3 ADV n591_a_dick_1952_2->n591_a_dick_1952_3 n591_a_dick_1952_3->n591_a_dick_1952_4 n591_a_dick_1952_5->n591_a_dick_1952_6 n591_a_dick_1952_8 NLYR n591_a_dick_1952_7->n591_a_dick_1952_8 n591_a_dick_1952_9 NLYR n591_a_dick_1952_8->n591_a_dick_1952_9 n591_a_dick_1952_15 PUNC n591_a_dick_1952_8->n591_a_dick_1952_15 n591_a_dick_1952_17 CONJP n591_a_dick_1952_8->n591_a_dick_1952_17 n591_a_dick_1952_24 PUNC n591_a_dick_1952_8->n591_a_dick_1952_24 n591_a_dick_1952_26 CONJP n591_a_dick_1952_8->n591_a_dick_1952_26 n591_a_dick_1952_30 PUNC n591_a_dick_1952_8->n591_a_dick_1952_30 n591_a_dick_1952_32 CONJP n591_a_dick_1952_8->n591_a_dick_1952_32 n591_a_dick_1952_10 NP-GEN n591_a_dick_1952_9->n591_a_dick_1952_10 n591_a_dick_1952_13 NS n591_a_dick_1952_9->n591_a_dick_1952_13 n591_a_dick_1952_11 PRO;_genm_ n591_a_dick_1952_10->n591_a_dick_1952_11 n591_a_dick_1952_11->n591_a_dick_1952_12 n591_a_dick_1952_13->n591_a_dick_1952_14 n591_a_dick_1952_15->n591_a_dick_1952_16 n591_a_dick_1952_18 NLYR n591_a_dick_1952_17->n591_a_dick_1952_18 n591_a_dick_1952_19 NP-GEN n591_a_dick_1952_18->n591_a_dick_1952_19 n591_a_dick_1952_22 N n591_a_dick_1952_18->n591_a_dick_1952_22 n591_a_dick_1952_20 PRO;_genm_ n591_a_dick_1952_19->n591_a_dick_1952_20 n591_a_dick_1952_20->n591_a_dick_1952_21 n591_a_dick_1952_22->n591_a_dick_1952_23 n591_a_dick_1952_24->n591_a_dick_1952_25 n591_a_dick_1952_27 NLYR n591_a_dick_1952_26->n591_a_dick_1952_27 n591_a_dick_1952_28 NS n591_a_dick_1952_27->n591_a_dick_1952_28 n591_a_dick_1952_28->n591_a_dick_1952_29 n591_a_dick_1952_30->n591_a_dick_1952_31 n591_a_dick_1952_33 NLYR n591_a_dick_1952_32->n591_a_dick_1952_33 n591_a_dick_1952_34 NP-GEN n591_a_dick_1952_33->n591_a_dick_1952_34 n591_a_dick_1952_37 NS n591_a_dick_1952_33->n591_a_dick_1952_37 n591_a_dick_1952_35 PRO;_genm_ n591_a_dick_1952_34->n591_a_dick_1952_35 n591_a_dick_1952_35->n591_a_dick_1952_36 n591_a_dick_1952_37->n591_a_dick_1952_38 n591_a_dick_1952_39->n591_a_dick_1952_40 n591_a_dick_1952_42 Q;_nphd_ n591_a_dick_1952_41->n591_a_dick_1952_42 n591_a_dick_1952_44 PP n591_a_dick_1952_41->n591_a_dick_1952_44 n591_a_dick_1952_42->n591_a_dick_1952_43 n591_a_dick_1952_45 P-ROLE n591_a_dick_1952_44->n591_a_dick_1952_45 n591_a_dick_1952_47 NP n591_a_dick_1952_44->n591_a_dick_1952_47 n591_a_dick_1952_45->n591_a_dick_1952_46 n591_a_dick_1952_48 D;_nphd_ n591_a_dick_1952_47->n591_a_dick_1952_48 n591_a_dick_1952_48->n591_a_dick_1952_49 n591_a_dick_1952_50->n591_a_dick_1952_51 n591_a_dick_1952_53 VB;_I_ n591_a_dick_1952_52->n591_a_dick_1952_53 n591_a_dick_1952_53->n591_a_dick_1952_54 n591_a_dick_1952_55->n591_a_dick_1952_56 
( (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))