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_0019__find find r_0495_0020__this this r_0495_0019__find->r_0495_0020__this [arg1] r_0495_0012__they they r_0495_0019__find->r_0495_0012__they [arg0] r_0495_0018__and and r_0495_0018__and->r_0495_0019__find [conj2] r_0495_0016__come come r_0495_0018__and->r_0495_0016__come [conj1] 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_0014__hoped hoped r_0495_0014__hoped->r_0495_0012__they [arg0] r_0495_0014__hoped->r_0495_0018__and [arg1] r_0495_0013__probably probably r_0495_0014__hoped->r_0495_0013__probably [nim] r_0495_0010__were_r_0495_0011__destroyed were destroyed 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_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] r_0495_0009__industries industries r_0495_0008__and_r_0495_0006__and->r_0495_0009__industries [conj3] r_0495_0007__buildings buildings r_0495_0008__and_r_0495_0006__and->r_0495_0007__buildings [conj2] r_0495_0005__cities cities 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_0004__big big r_0495_0005__cities->r_0495_0004__big [attrib] r_0495_0001__Even_r_0495_0002__after Even after r_0495_0001__Even_r_0495_0002__after->r_0495_0014__hoped [conj2] r_0495_0001__Even_r_0495_0002__after->r_0495_0010__were_r_0495_0011__destroyed [conj1] 
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__1_1_1_1 Even n495_a_dick_1952__1_1_2_1 after n495_a_dick_1952__1_1_3_1_1_1_1 their n495_a_dick_1952__1_1_3_1_2_1_1_1_1 big n495_a_dick_1952__1_1_3_1_2_1_2_1 cities n495_a_dick_1952__1_1_3_1_2_2_1_1 and n495_a_dick_1952__1_1_3_1_2_2_2_1_1 buildings n495_a_dick_1952__1_1_3_1_2_3_1_1 and n495_a_dick_1952__1_1_3_1_2_3_2_1_1 industries n495_a_dick_1952__1_1_3_2_1 were n495_a_dick_1952__1_1_3_3_1_1 * n495_a_dick_1952__1_1_3_3_2_1 destroyed n495_a_dick_1952__1_2_1_1 they n495_a_dick_1952__1_3_1_1 probably n495_a_dick_1952__1_4_1 hoped n495_a_dick_1952__1_5_1_1 to n495_a_dick_1952__1_5_2_1_1_1 come n495_a_dick_1952__1_5_2_1_2_1_1 back n495_a_dick_1952__1_5_2_2_1_1 and n495_a_dick_1952__1_5_2_2_2_1_1 find n495_a_dick_1952__1_5_2_2_2_2_1_1 this n495_a_dick_1952__1_6_1 . n495_a_dick_1952__1 IP-MAT n495_a_dick_1952__1_1 PP-SCON n495_a_dick_1952__1->n495_a_dick_1952__1_1 n495_a_dick_1952__1_2 NP-SBJ n495_a_dick_1952__1->n495_a_dick_1952__1_2 n495_a_dick_1952__1_3 ADVP-NIM n495_a_dick_1952__1->n495_a_dick_1952__1_3 n495_a_dick_1952__1_4 VBD;_Tt_ n495_a_dick_1952__1->n495_a_dick_1952__1_4 n495_a_dick_1952__1_5 IP-INF-OB1 n495_a_dick_1952__1->n495_a_dick_1952__1_5 n495_a_dick_1952__1_6 PUNC n495_a_dick_1952__1->n495_a_dick_1952__1_6 n495_a_dick_1952__1_1_1 ADV n495_a_dick_1952__1_1->n495_a_dick_1952__1_1_1 n495_a_dick_1952__1_1_2 P-CONN n495_a_dick_1952__1_1->n495_a_dick_1952__1_1_2 n495_a_dick_1952__1_1_3 IP-ADV n495_a_dick_1952__1_1->n495_a_dick_1952__1_1_3 n495_a_dick_1952__1_1_1->n495_a_dick_1952__1_1_1_1 n495_a_dick_1952__1_1_2->n495_a_dick_1952__1_1_2_1 n495_a_dick_1952__1_1_3_1 NP-SBJ n495_a_dick_1952__1_1_3->n495_a_dick_1952__1_1_3_1 n495_a_dick_1952__1_1_3_2 BED;_cat_VePASS_ n495_a_dick_1952__1_1_3->n495_a_dick_1952__1_1_3_2 n495_a_dick_1952__1_1_3_3 IP-PPL-CAT n495_a_dick_1952__1_1_3->n495_a_dick_1952__1_1_3_3 n495_a_dick_1952__1_1_3_1_1 NP-GEN n495_a_dick_1952__1_1_3_1->n495_a_dick_1952__1_1_3_1_1 n495_a_dick_1952__1_1_3_1_2 NLYR n495_a_dick_1952__1_1_3_1->n495_a_dick_1952__1_1_3_1_2 n495_a_dick_1952__1_1_3_1_1_1 PRO;_genm_ n495_a_dick_1952__1_1_3_1_1->n495_a_dick_1952__1_1_3_1_1_1 n495_a_dick_1952__1_1_3_1_1_1->n495_a_dick_1952__1_1_3_1_1_1_1 n495_a_dick_1952__1_1_3_1_2_1 NLYR n495_a_dick_1952__1_1_3_1_2->n495_a_dick_1952__1_1_3_1_2_1 n495_a_dick_1952__1_1_3_1_2_2 CONJP n495_a_dick_1952__1_1_3_1_2->n495_a_dick_1952__1_1_3_1_2_2 n495_a_dick_1952__1_1_3_1_2_3 CONJP n495_a_dick_1952__1_1_3_1_2->n495_a_dick_1952__1_1_3_1_2_3 n495_a_dick_1952__1_1_3_1_2_1_1 ADJP n495_a_dick_1952__1_1_3_1_2_1->n495_a_dick_1952__1_1_3_1_2_1_1 n495_a_dick_1952__1_1_3_1_2_1_2 NS n495_a_dick_1952__1_1_3_1_2_1->n495_a_dick_1952__1_1_3_1_2_1_2 n495_a_dick_1952__1_1_3_1_2_1_1_1 ADJ n495_a_dick_1952__1_1_3_1_2_1_1->n495_a_dick_1952__1_1_3_1_2_1_1_1 n495_a_dick_1952__1_1_3_1_2_1_1_1->n495_a_dick_1952__1_1_3_1_2_1_1_1_1 n495_a_dick_1952__1_1_3_1_2_1_2->n495_a_dick_1952__1_1_3_1_2_1_2_1 n495_a_dick_1952__1_1_3_1_2_2_1 CONJ n495_a_dick_1952__1_1_3_1_2_2->n495_a_dick_1952__1_1_3_1_2_2_1 n495_a_dick_1952__1_1_3_1_2_2_2 NLYR n495_a_dick_1952__1_1_3_1_2_2->n495_a_dick_1952__1_1_3_1_2_2_2 n495_a_dick_1952__1_1_3_1_2_2_1->n495_a_dick_1952__1_1_3_1_2_2_1_1 n495_a_dick_1952__1_1_3_1_2_2_2_1 NS n495_a_dick_1952__1_1_3_1_2_2_2->n495_a_dick_1952__1_1_3_1_2_2_2_1 n495_a_dick_1952__1_1_3_1_2_2_2_1->n495_a_dick_1952__1_1_3_1_2_2_2_1_1 n495_a_dick_1952__1_1_3_1_2_3_1 CONJ n495_a_dick_1952__1_1_3_1_2_3->n495_a_dick_1952__1_1_3_1_2_3_1 n495_a_dick_1952__1_1_3_1_2_3_2 NLYR n495_a_dick_1952__1_1_3_1_2_3->n495_a_dick_1952__1_1_3_1_2_3_2 n495_a_dick_1952__1_1_3_1_2_3_1->n495_a_dick_1952__1_1_3_1_2_3_1_1 n495_a_dick_1952__1_1_3_1_2_3_2_1 NS n495_a_dick_1952__1_1_3_1_2_3_2->n495_a_dick_1952__1_1_3_1_2_3_2_1 n495_a_dick_1952__1_1_3_1_2_3_2_1->n495_a_dick_1952__1_1_3_1_2_3_2_1_1 n495_a_dick_1952__1_1_3_2->n495_a_dick_1952__1_1_3_2_1 n495_a_dick_1952__1_1_3_3_1 NP-LGS n495_a_dick_1952__1_1_3_3->n495_a_dick_1952__1_1_3_3_1 n495_a_dick_1952__1_1_3_3_2 VVN;_Tn_ n495_a_dick_1952__1_1_3_3->n495_a_dick_1952__1_1_3_3_2 n495_a_dick_1952__1_1_3_3_1->n495_a_dick_1952__1_1_3_3_1_1 n495_a_dick_1952__1_1_3_3_2->n495_a_dick_1952__1_1_3_3_2_1 n495_a_dick_1952__1_2_1 PRO n495_a_dick_1952__1_2->n495_a_dick_1952__1_2_1 n495_a_dick_1952__1_2_1->n495_a_dick_1952__1_2_1_1 n495_a_dick_1952__1_3_1 ADV n495_a_dick_1952__1_3->n495_a_dick_1952__1_3_1 n495_a_dick_1952__1_3_1->n495_a_dick_1952__1_3_1_1 n495_a_dick_1952__1_4->n495_a_dick_1952__1_4_1 n495_a_dick_1952__1_5_1 TO n495_a_dick_1952__1_5->n495_a_dick_1952__1_5_1 n495_a_dick_1952__1_5_2 ILYR n495_a_dick_1952__1_5->n495_a_dick_1952__1_5_2 n495_a_dick_1952__1_5_1->n495_a_dick_1952__1_5_1_1 n495_a_dick_1952__1_5_2_1 ILYR n495_a_dick_1952__1_5_2->n495_a_dick_1952__1_5_2_1 n495_a_dick_1952__1_5_2_2 CONJP n495_a_dick_1952__1_5_2->n495_a_dick_1952__1_5_2_2 n495_a_dick_1952__1_5_2_1_1 VB;_Ip_ n495_a_dick_1952__1_5_2_1->n495_a_dick_1952__1_5_2_1_1 n495_a_dick_1952__1_5_2_1_2 ADVP-NIM n495_a_dick_1952__1_5_2_1->n495_a_dick_1952__1_5_2_1_2 n495_a_dick_1952__1_5_2_1_1->n495_a_dick_1952__1_5_2_1_1_1 n495_a_dick_1952__1_5_2_1_2_1 RP n495_a_dick_1952__1_5_2_1_2->n495_a_dick_1952__1_5_2_1_2_1 n495_a_dick_1952__1_5_2_1_2_1->n495_a_dick_1952__1_5_2_1_2_1_1 n495_a_dick_1952__1_5_2_2_1 CONJ n495_a_dick_1952__1_5_2_2->n495_a_dick_1952__1_5_2_2_1 n495_a_dick_1952__1_5_2_2_2 ILYR n495_a_dick_1952__1_5_2_2->n495_a_dick_1952__1_5_2_2_2 n495_a_dick_1952__1_5_2_2_1->n495_a_dick_1952__1_5_2_2_1_1 n495_a_dick_1952__1_5_2_2_2_1 VB;_Tn_ n495_a_dick_1952__1_5_2_2_2->n495_a_dick_1952__1_5_2_2_2_1 n495_a_dick_1952__1_5_2_2_2_2 NP-OB1 n495_a_dick_1952__1_5_2_2_2->n495_a_dick_1952__1_5_2_2_2_2 n495_a_dick_1952__1_5_2_2_2_1->n495_a_dick_1952__1_5_2_2_2_1_1 n495_a_dick_1952__1_5_2_2_2_2_1 D;_nphd_ n495_a_dick_1952__1_5_2_2_2_2->n495_a_dick_1952__1_5_2_2_2_2_1 n495_a_dick_1952__1_5_2_2_2_2_1->n495_a_dick_1952__1_5_2_2_2_2_1_1 n495_a_dick_1952__1_6->n495_a_dick_1952__1_6_1 
( (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))