TSPC 495_a_dick

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

( (IP-MAT (PP-SCON (ADVP-NIM (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))

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,attrib).
arc(r_0495_0006__and_r_0495_0008__and,r_0495_0003__their,gen).
arc(r_0495_0006__and_r_0495_0008__and,r_0495_0005__cities,conj1).
arc(r_0495_0006__and_r_0495_0008__and,r_0495_0007__buildings,conj2).
arc(r_0495_0006__and_r_0495_0008__and,r_0495_0009__industries,conj3).
arc(r_0495_0010__were,r_0495_0011__destroyed,scope).
arc(r_0495_0011__destroyed,r_0495_0006__and_r_0495_0008__and,arg1).
arc(r_0495_0011__destroyed,z_0495_5008___star_,arg0).
arc(r_0495_0014__hoped,r_0495_0003__their,arg0).
arc(r_0495_0014__hoped,r_0495_0013__probably,nim).
arc(r_0495_0014__hoped,r_0495_0018__and,arg1).
arc(r_0495_0016__come,r_0495_0003__their,arg0).
arc(r_0495_0016__come,r_0495_0017__back,nim).
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_0003__their,arg0).
arc(r_0495_0019__find,r_0495_0020__this,arg1).

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_0006__AND_R_0495_0008__AND,Z_0495_5008___STAR_,R_0495_0010__WERE_R_0495_0011__DESTROYED,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_0013__probably(R_0495_0013__PROBABLY)
      & r_0495_0017__back(R_0495_0017__BACK)
      & r_0495_0020__this(R_0495_0020__THIS)
      & z_0495_5008___star_(Z_0495_5008___STAR_)
      & 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_0003__THEIR)
      & has_conj1(R_0495_0018__AND,R_0495_0016__COME)
      & r_0495_0016__come(R_0495_0016__COME)
      & has_nim(R_0495_0016__COME,R_0495_0017__BACK)
      & has_arg0(R_0495_0016__COME,R_0495_0003__THEIR)
      & has_nim(R_0495_0014__HOPED,R_0495_0013__PROBABLY)
      & has_arg0(R_0495_0014__HOPED,R_0495_0003__THEIR)
      & 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_0495_5008___STAR_)
      & has_arg1(R_0495_0010__WERE_R_0495_0011__DESTROYED,R_0495_0006__AND_R_0495_0008__AND)
      & r_0495_0006__and_r_0495_0008__and(R_0495_0006__AND_R_0495_0008__AND)
      & has_conj3(R_0495_0006__AND_R_0495_0008__AND,R_0495_0009__INDUSTRIES)
      & has_conj2(R_0495_0006__AND_R_0495_0008__AND,R_0495_0007__BUILDINGS)
      & has_conj1(R_0495_0006__AND_R_0495_0008__AND,R_0495_0005__CITIES)
      & r_0495_0005__cities(R_0495_0005__CITIES)
      & has_attrib(R_0495_0005__CITIES,R_0495_0004__BIG)
      & has_gen(R_0495_0006__AND_R_0495_0008__AND,R_0495_0003__THEIR) ) ).