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_0495_0003__THEIR,R_0495_0004__BIG,R_0495_0005__CITIES,R_0495_0007__BUILDINGS,R_0495_0009__INDUSTRIES,R_0495_0008__AND_R_0495_0006__AND,Z_000_495_A_DICK_1952_34,R_0495_0010__WERE_R_0495_0011__DESTROYED,R_0495_0012__THEY,R_0495_0013__PROBABLY,R_0495_0017__BACK,R_0495_0016__COME,R_0495_0020__THIS,R_0495_0019__FIND,R_0495_0018__AND,R_0495_0014__HOPED,R_0495_0001__EVEN_R_0495_0002__AFTER] :
      ( r_0495_0003__their(R_0495_0003__THEIR)
      & r_0495_0004__big(R_0495_0004__BIG)
      & r_0495_0007__buildings(R_0495_0007__BUILDINGS)
      & r_0495_0009__industries(R_0495_0009__INDUSTRIES)
      & r_0495_0012__they(R_0495_0012__THEY)
      & r_0495_0013__probably(R_0495_0013__PROBABLY)
      & r_0495_0017__back(R_0495_0017__BACK)
      & r_0495_0020__this(R_0495_0020__THIS)
      & z_000_495_a_dick_1952_34(Z_000_495_A_DICK_1952_34)
      & r_0495_0001__Even_r_0495_0002__after(R_0495_0001__EVEN_R_0495_0002__AFTER)
      & has_conj2(R_0495_0001__EVEN_R_0495_0002__AFTER,R_0495_0014__HOPED)
      & r_0495_0014__hoped(R_0495_0014__HOPED)
      & has_arg1(R_0495_0014__HOPED,R_0495_0018__AND)
      & r_0495_0018__and(R_0495_0018__AND)
      & has_conj2(R_0495_0018__AND,R_0495_0019__FIND)
      & r_0495_0019__find(R_0495_0019__FIND)
      & has_arg1(R_0495_0019__FIND,R_0495_0020__THIS)
      & has_arg0(R_0495_0019__FIND,R_0495_0012__THEY)
      & has_conj1(R_0495_0018__AND,R_0495_0016__COME)
      & r_0495_0016__come(R_0495_0016__COME)
      & has_nim53(R_0495_0016__COME,R_0495_0017__BACK)
      & has_arg0(R_0495_0016__COME,R_0495_0012__THEY)
      & has_nim41(R_0495_0014__HOPED,R_0495_0013__PROBABLY)
      & has_arg0(R_0495_0014__HOPED,R_0495_0012__THEY)
      & has_conj1(R_0495_0001__EVEN_R_0495_0002__AFTER,R_0495_0010__WERE_R_0495_0011__DESTROYED)
      & r_0495_0010__were_r_0495_0011__destroyed(R_0495_0010__WERE_R_0495_0011__DESTROYED)
      & has_arg0(R_0495_0010__WERE_R_0495_0011__DESTROYED,Z_000_495_A_DICK_1952_34)
      & has_arg1(R_0495_0010__WERE_R_0495_0011__DESTROYED,R_0495_0008__AND_R_0495_0006__AND)
      & r_0495_0008__and_r_0495_0006__and(R_0495_0008__AND_R_0495_0006__AND)
      & has_conj3(R_0495_0008__AND_R_0495_0006__AND,R_0495_0009__INDUSTRIES)
      & has_conj2(R_0495_0008__AND_R_0495_0006__AND,R_0495_0007__BUILDINGS)
      & has_conj1(R_0495_0008__AND_R_0495_0006__AND,R_0495_0005__CITIES)
      & r_0495_0005__cities(R_0495_0005__CITIES)
      & has_attrib14(R_0495_0005__CITIES,R_0495_0004__BIG)
      & has_gen(R_0495_0008__AND_R_0495_0006__AND,R_0495_0003__THEIR) ) ).


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