Context                Previous, Next                Top


495_a_dick_1952
Even after their big cities and buildings and industries were destroyed they probably hoped to come back and find this.

%3 r_0495_0001__Even_r_0495_0002__after Even after r_0495_0010__were were r_0495_0001__Even_r_0495_0002__after->r_0495_0010__were [restriction] r_0495_0014__hoped hoped r_0495_0001__Even_r_0495_0002__after->r_0495_0014__hoped [scope] r_0495_0011__destroyed destroyed r_0495_0010__were->r_0495_0011__destroyed [scope] r_0495_0012__they they r_0495_0014__hoped->r_0495_0012__they [arg0] r_0495_0013__probably probably r_0495_0014__hoped->r_0495_0013__probably [nim] r_0495_0018__and and r_0495_0014__hoped->r_0495_0018__and [arg1] r_0495_0005__cities cities r_0495_0004__big big r_0495_0005__cities->r_0495_0004__big [attrib] r_0495_0008__and_r_0495_0006__and and and r_0495_0008__and_r_0495_0006__and->r_0495_0005__cities [conj1] r_0495_0003__their their r_0495_0008__and_r_0495_0006__and->r_0495_0003__their [gen] r_0495_0007__buildings buildings r_0495_0008__and_r_0495_0006__and->r_0495_0007__buildings [conj2] r_0495_0009__industries industries r_0495_0008__and_r_0495_0006__and->r_0495_0009__industries [conj3] r_0495_0011__destroyed->r_0495_0008__and_r_0495_0006__and [arg1] z_000_495_a_dick_1952_34 r_0495_0011__destroyed->z_000_495_a_dick_1952_34 [arg0] r_0495_0016__come come r_0495_0018__and->r_0495_0016__come [conj1] r_0495_0019__find find r_0495_0018__and->r_0495_0019__find [conj2] r_0495_0016__come->r_0495_0012__they [arg0] r_0495_0017__back back r_0495_0016__come->r_0495_0017__back [nim] r_0495_0019__find->r_0495_0012__they [arg0] r_0495_0020__this this r_0495_0019__find->r_0495_0020__this [arg1] 
arc(r_0495_0001__Even_r_0495_0002__after, r_0495_0010__were, restriction).
arc(r_0495_0001__Even_r_0495_0002__after, r_0495_0014__hoped, scope).
arc(r_0495_0005__cities, r_0495_0004__big, attrib14).
arc(r_0495_0008__and_r_0495_0006__and, r_0495_0003__their, gen).
arc(r_0495_0008__and_r_0495_0006__and, r_0495_0005__cities, conj1).
arc(r_0495_0008__and_r_0495_0006__and, r_0495_0007__buildings, conj2).
arc(r_0495_0008__and_r_0495_0006__and, r_0495_0009__industries, conj3).
arc(r_0495_0010__were, r_0495_0011__destroyed, scope).
arc(r_0495_0011__destroyed, r_0495_0008__and_r_0495_0006__and, arg1).
arc(r_0495_0011__destroyed, z_000_495_a_dick_1952_34, arg0).
arc(r_0495_0014__hoped, r_0495_0012__they, arg0).
arc(r_0495_0014__hoped, r_0495_0013__probably, nim41).
arc(r_0495_0014__hoped, r_0495_0018__and, arg1).
arc(r_0495_0016__come, r_0495_0012__they, arg0).
arc(r_0495_0016__come, r_0495_0017__back, nim53).
arc(r_0495_0018__and, r_0495_0016__come, conj1).
arc(r_0495_0018__and, r_0495_0019__find, conj2).
arc(r_0495_0019__find, r_0495_0012__they, arg0).
arc(r_0495_0019__find, r_0495_0020__this, arg1).


%3 r_0495_0001__Even_r_0495_0002__after Even after r_0495_0010__were_r_0495_0011__destroyed were destroyed r_0495_0001__Even_r_0495_0002__after->r_0495_0010__were_r_0495_0011__destroyed [conj1] r_0495_0014__hoped hoped r_0495_0001__Even_r_0495_0002__after->r_0495_0014__hoped [conj2] r_0495_0008__and_r_0495_0006__and and and r_0495_0010__were_r_0495_0011__destroyed->r_0495_0008__and_r_0495_0006__and [arg1] z_000_495_a_dick_1952_34 r_0495_0010__were_r_0495_0011__destroyed->z_000_495_a_dick_1952_34 [arg0] r_0495_0012__they they r_0495_0014__hoped->r_0495_0012__they [arg0] r_0495_0013__probably probably r_0495_0014__hoped->r_0495_0013__probably [nim] r_0495_0018__and and r_0495_0014__hoped->r_0495_0018__and [arg1] r_0495_0005__cities cities r_0495_0004__big big r_0495_0005__cities->r_0495_0004__big [attrib] r_0495_0008__and_r_0495_0006__and->r_0495_0005__cities [conj1] r_0495_0003__their their r_0495_0008__and_r_0495_0006__and->r_0495_0003__their [gen] r_0495_0007__buildings buildings r_0495_0008__and_r_0495_0006__and->r_0495_0007__buildings [conj2] r_0495_0009__industries industries r_0495_0008__and_r_0495_0006__and->r_0495_0009__industries [conj3] r_0495_0016__come come r_0495_0018__and->r_0495_0016__come [conj1] r_0495_0019__find find r_0495_0018__and->r_0495_0019__find [conj2] r_0495_0016__come->r_0495_0012__they [arg0] r_0495_0017__back back r_0495_0016__come->r_0495_0017__back [nim] r_0495_0019__find->r_0495_0012__they [arg0] r_0495_0020__this this r_0495_0019__find->r_0495_0020__this [arg1] 
fof(formula,axiom,
    ? [R_495_1_EVEN_AFTER,R_495_10_WERE_DESTROYED,Z_495_A_DICK_1952_34,R_495_8_AND_AND,R_495_5_CITIES,R_495_4_BIG,R_495_7_BUILDINGS,R_495_9_INDUSTRIES,R_495_3_THEIR,R_495_14_HOPED,R_495_18_AND,R_495_16_COME,R_495_17_BACK,R_495_19_FIND,R_495_12_THEY,R_495_20_THIS,R_495_13_PROBABLY] :
      ( big(R_495_4_BIG)
      & buildings(R_495_7_BUILDINGS)
      & industries(R_495_9_INDUSTRIES)
      & their(R_495_3_THEIR)
      & back(R_495_17_BACK)
      & they(R_495_12_THEY)
      & this(R_495_20_THIS)
      & probably(R_495_13_PROBABLY)
      & even_after(R_495_1_EVEN_AFTER)
      & conj1(R_495_1_EVEN_AFTER,R_495_10_WERE_DESTROYED)
      & were_destroyed(R_495_10_WERE_DESTROYED,Z_495_A_DICK_1952_34,R_495_8_AND_AND)
      & and_and(R_495_8_AND_AND)
      & conj1(R_495_8_AND_AND,R_495_5_CITIES)
      & cities(R_495_5_CITIES)
      & attrib14(R_495_5_CITIES,R_495_4_BIG)
      & conj2(R_495_8_AND_AND,R_495_7_BUILDINGS)
      & conj3(R_495_8_AND_AND,R_495_9_INDUSTRIES)
      & gen(R_495_8_AND_AND,R_495_3_THEIR)
      & conj2(R_495_1_EVEN_AFTER,R_495_14_HOPED)
      & hoped(R_495_14_HOPED,R_495_12_THEY,R_495_18_AND)
      & and(R_495_18_AND)
      & conj1(R_495_18_AND,R_495_16_COME)
      & come(R_495_16_COME,R_495_12_THEY)
      & nim53(R_495_16_COME,R_495_17_BACK)
      & conj2(R_495_18_AND,R_495_19_FIND)
      & find(R_495_19_FIND,R_495_12_THEY,R_495_20_THIS)
      & nim41(R_495_14_HOPED,R_495_13_PROBABLY) ) ).


n495_a_dick_1952 n495_a_dick_1952_4 Even n495_a_dick_1952_6 after n495_a_dick_1952_11 their n495_a_dick_1952_16 big n495_a_dick_1952_18 cities n495_a_dick_1952_21 and n495_a_dick_1952_24 buildings n495_a_dick_1952_27 and n495_a_dick_1952_30 industries n495_a_dick_1952_32 were n495_a_dick_1952_35 * n495_a_dick_1952_37 destroyed n495_a_dick_1952_40 they n495_a_dick_1952_43 probably n495_a_dick_1952_45 hoped n495_a_dick_1952_48 to n495_a_dick_1952_52 come n495_a_dick_1952_55 back n495_a_dick_1952_58 and n495_a_dick_1952_61 find n495_a_dick_1952_64 this n495_a_dick_1952_66 . n495_a_dick_1952_1 IP-MAT n495_a_dick_1952_2 PP-SCON n495_a_dick_1952_1->n495_a_dick_1952_2 n495_a_dick_1952_38 NP-SBJ n495_a_dick_1952_1->n495_a_dick_1952_38 n495_a_dick_1952_41 ADVP-NIM n495_a_dick_1952_1->n495_a_dick_1952_41 n495_a_dick_1952_44 VBD;_Tt_ n495_a_dick_1952_1->n495_a_dick_1952_44 n495_a_dick_1952_46 IP-INF-OB1 n495_a_dick_1952_1->n495_a_dick_1952_46 n495_a_dick_1952_65 PUNC n495_a_dick_1952_1->n495_a_dick_1952_65 n495_a_dick_1952_3 ADV n495_a_dick_1952_2->n495_a_dick_1952_3 n495_a_dick_1952_5 P-CONN n495_a_dick_1952_2->n495_a_dick_1952_5 n495_a_dick_1952_7 IP-ADV n495_a_dick_1952_2->n495_a_dick_1952_7 n495_a_dick_1952_3->n495_a_dick_1952_4 n495_a_dick_1952_5->n495_a_dick_1952_6 n495_a_dick_1952_8 NP-SBJ n495_a_dick_1952_7->n495_a_dick_1952_8 n495_a_dick_1952_31 BED;_cat_VePASS_ n495_a_dick_1952_7->n495_a_dick_1952_31 n495_a_dick_1952_33 IP-PPL-CAT n495_a_dick_1952_7->n495_a_dick_1952_33 n495_a_dick_1952_9 NP-GEN n495_a_dick_1952_8->n495_a_dick_1952_9 n495_a_dick_1952_12 NLYR n495_a_dick_1952_8->n495_a_dick_1952_12 n495_a_dick_1952_10 PRO;_genm_ n495_a_dick_1952_9->n495_a_dick_1952_10 n495_a_dick_1952_10->n495_a_dick_1952_11 n495_a_dick_1952_13 NLYR n495_a_dick_1952_12->n495_a_dick_1952_13 n495_a_dick_1952_19 CONJP n495_a_dick_1952_12->n495_a_dick_1952_19 n495_a_dick_1952_25 CONJP n495_a_dick_1952_12->n495_a_dick_1952_25 n495_a_dick_1952_14 ADJP n495_a_dick_1952_13->n495_a_dick_1952_14 n495_a_dick_1952_17 NS n495_a_dick_1952_13->n495_a_dick_1952_17 n495_a_dick_1952_15 ADJ n495_a_dick_1952_14->n495_a_dick_1952_15 n495_a_dick_1952_15->n495_a_dick_1952_16 n495_a_dick_1952_17->n495_a_dick_1952_18 n495_a_dick_1952_20 CONJ n495_a_dick_1952_19->n495_a_dick_1952_20 n495_a_dick_1952_22 NLYR n495_a_dick_1952_19->n495_a_dick_1952_22 n495_a_dick_1952_20->n495_a_dick_1952_21 n495_a_dick_1952_23 NS n495_a_dick_1952_22->n495_a_dick_1952_23 n495_a_dick_1952_23->n495_a_dick_1952_24 n495_a_dick_1952_26 CONJ n495_a_dick_1952_25->n495_a_dick_1952_26 n495_a_dick_1952_28 NLYR n495_a_dick_1952_25->n495_a_dick_1952_28 n495_a_dick_1952_26->n495_a_dick_1952_27 n495_a_dick_1952_29 NS n495_a_dick_1952_28->n495_a_dick_1952_29 n495_a_dick_1952_29->n495_a_dick_1952_30 n495_a_dick_1952_31->n495_a_dick_1952_32 n495_a_dick_1952_34 NP-LGS n495_a_dick_1952_33->n495_a_dick_1952_34 n495_a_dick_1952_36 VVN;_Tn_ n495_a_dick_1952_33->n495_a_dick_1952_36 n495_a_dick_1952_34->n495_a_dick_1952_35 n495_a_dick_1952_36->n495_a_dick_1952_37 n495_a_dick_1952_39 PRO n495_a_dick_1952_38->n495_a_dick_1952_39 n495_a_dick_1952_39->n495_a_dick_1952_40 n495_a_dick_1952_42 ADV n495_a_dick_1952_41->n495_a_dick_1952_42 n495_a_dick_1952_42->n495_a_dick_1952_43 n495_a_dick_1952_44->n495_a_dick_1952_45 n495_a_dick_1952_47 TO n495_a_dick_1952_46->n495_a_dick_1952_47 n495_a_dick_1952_49 ILYR n495_a_dick_1952_46->n495_a_dick_1952_49 n495_a_dick_1952_47->n495_a_dick_1952_48 n495_a_dick_1952_50 ILYR n495_a_dick_1952_49->n495_a_dick_1952_50 n495_a_dick_1952_56 CONJP n495_a_dick_1952_49->n495_a_dick_1952_56 n495_a_dick_1952_51 VB;_Ip_ n495_a_dick_1952_50->n495_a_dick_1952_51 n495_a_dick_1952_53 ADVP-NIM n495_a_dick_1952_50->n495_a_dick_1952_53 n495_a_dick_1952_51->n495_a_dick_1952_52 n495_a_dick_1952_54 RP n495_a_dick_1952_53->n495_a_dick_1952_54 n495_a_dick_1952_54->n495_a_dick_1952_55 n495_a_dick_1952_57 CONJ n495_a_dick_1952_56->n495_a_dick_1952_57 n495_a_dick_1952_59 ILYR n495_a_dick_1952_56->n495_a_dick_1952_59 n495_a_dick_1952_57->n495_a_dick_1952_58 n495_a_dick_1952_60 VB;_Tn_ n495_a_dick_1952_59->n495_a_dick_1952_60 n495_a_dick_1952_62 NP-OB1 n495_a_dick_1952_59->n495_a_dick_1952_62 n495_a_dick_1952_60->n495_a_dick_1952_61 n495_a_dick_1952_63 D;_nphd_ n495_a_dick_1952_62->n495_a_dick_1952_63 n495_a_dick_1952_63->n495_a_dick_1952_64 n495_a_dick_1952_65->n495_a_dick_1952_66 
( (IP-MAT (PP-SCON (ADV Even;{even})
                   (P-CONN after;{after})
                   (IP-ADV (NP-SBJ (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                   (NLYR (NLYR (ADJP (ADJ big;{big}))
                                               (NS cities;{city}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (NS buildings;{building})))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (NS industries;{industry})))))
                           (BED;_cat_VePASS_ were;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ destroyed;{destroy}))))
          (NP-SBJ;{INHABITANTS} (PRO they;{they}))
          (ADVP-NIM (ADV probably;{probably}))
          (VBD;_Tt_ hoped;{hope})
          (IP-INF-OB1 (TO to;{to})
                      (ILYR (ILYR (VB;_Ip_ come;{come[back]})
                                  (ADVP-NIM (RP back;{back})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ find;{find})
                                         (NP-OB1 (D;_nphd_ this;{this}))))))
          (PUNC .))
  (ID 495_a_dick_1952))