( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{DORLE} (PRO I;{I}))
                      (HVP;_cat_Ve_ <apos>ve;{have})
                      (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                  (NP-OB1;{CITIES} (ADJP (ADJ ruined;{ruined}))
                                                   (NS cities;{city}))
                                  (ADVP-NIM (ADV before;{before}))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{CITIES} (PRO they;{they}))
                             (VBD;_I_ died;{die})
                             (PP-NIM (P-ROLE of;{of})
                                     (NP (ADJP (ADJ old;{old}))
                                         (N age;{age})
                                         (PUNC ,)
                                         (PRN (NP (NLYR (NLYR (ADJP (ADJ old;{old}))
                                                              (N age;{age}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (N fatigue;{fatigue})))))))))))
          (PUNC .))
  (ID 268_a_dick_1952))

arc(r_0268_0003___apos_ve,r_0268_0004__seen,scope).
arc(r_0268_0004__seen,r_0268_0002__I,arg0).
arc(r_0268_0004__seen,r_0268_0006__cities,arg1).
arc(r_0268_0004__seen,r_0268_0007__before,nim).
arc(r_0268_0006__cities,r_0268_0005__ruined,attrib).
arc(r_0268_0008__but,r_0268_0003___apos_ve,conj1).
arc(r_0268_0008__but,r_0268_0010__died,conj2).
arc(r_0268_0010__died,r_0268_0006__cities,arg0).
arc(r_0268_0010__died,r_0268_0013__age,r_0268_0011__of__nim).
arc(r_0268_0013__age,r_0268_0012__old,attrib).
arc(r_0268_0016__age,r_0268_0015__old,attrib).
arc(r_0268_0017__and,r_0268_0016__age,conj1).
arc(r_0268_0017__and,r_0268_0018__fatigue,conj2).
arc(z_0268_5014,r_0268_0013__age,arg0).
arc(z_0268_5014,r_0268_0017__and,prd).

fof(formula,axiom,
    ? [R_0268_0002__I,R_0268_0005__RUINED,R_0268_0006__CITIES,R_0268_0007__BEFORE,R_0268_0003___APOS_VE_R_0268_0004__SEEN,R_0268_0012__OLD,R_0268_0013__AGE,R_0268_0010__DIED,R_0268_0008__BUT,R_0268_0015__OLD,R_0268_0016__AGE,R_0268_0018__FATIGUE,R_0268_0017__AND,Z_0268_5014] :
      ( r_0268_0002__I(R_0268_0002__I)
      & r_0268_0005__ruined(R_0268_0005__RUINED)
      & r_0268_0007__before(R_0268_0007__BEFORE)
      & r_0268_0012__old(R_0268_0012__OLD)
      & r_0268_0015__old(R_0268_0015__OLD)
      & r_0268_0018__fatigue(R_0268_0018__FATIGUE)
      & z_0268_5014(Z_0268_5014)
      & has_prd(Z_0268_5014,R_0268_0017__AND)
      & r_0268_0017__and(R_0268_0017__AND)
      & has_conj2(R_0268_0017__AND,R_0268_0018__FATIGUE)
      & has_conj1(R_0268_0017__AND,R_0268_0016__AGE)
      & r_0268_0016__age(R_0268_0016__AGE)
      & has_attrib(R_0268_0016__AGE,R_0268_0015__OLD)
      & has_arg0(Z_0268_5014,R_0268_0013__AGE)
      & r_0268_0013__age(R_0268_0013__AGE)
      & has_attrib(R_0268_0013__AGE,R_0268_0012__OLD)
      & r_0268_0008__but(R_0268_0008__BUT)
      & has_conj2(R_0268_0008__BUT,R_0268_0010__DIED)
      & r_0268_0010__died(R_0268_0010__DIED)
      & has_r_0268_0011__of__nim(R_0268_0010__DIED,R_0268_0013__AGE)
      & has_arg0(R_0268_0010__DIED,R_0268_0006__CITIES)
      & r_0268_0006__cities(R_0268_0006__CITIES)
      & has_attrib(R_0268_0006__CITIES,R_0268_0005__RUINED)
      & has_conj1(R_0268_0008__BUT,R_0268_0003___APOS_VE_R_0268_0004__SEEN)
      & r_0268_0003___apos_ve_r_0268_0004__seen(R_0268_0003___APOS_VE_R_0268_0004__SEEN)
      & has_nim(R_0268_0003___APOS_VE_R_0268_0004__SEEN,R_0268_0007__BEFORE)
      & has_arg1(R_0268_0003___APOS_VE_R_0268_0004__SEEN,R_0268_0006__CITIES)
      & has_arg0(R_0268_0003___APOS_VE_R_0268_0004__SEEN,R_0268_0002__I) ) ).