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, nim20).
arc(r_0268_0006__cities, r_0268_0005__ruined, attrib15).
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_nim35).
arc(r_0268_0013__age, r_0268_0012__old, attrib36).
arc(r_0268_0016__age, r_0268_0015__old, attrib47).
arc(r_0268_0017__and, r_0268_0016__age, conj1).
arc(r_0268_0017__and, r_0268_0018__fatigue, conj2).
arc(z_000_268_a_dick_1952_43, r_0268_0013__age, arg0).
arc(z_000_268_a_dick_1952_43, 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_000_268_A_DICK_1952_43] :
      ( 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_000_268_a_dick_1952_43(Z_000_268_A_DICK_1952_43)
      & has_prd(Z_000_268_A_DICK_1952_43,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_attrib47(R_0268_0016__AGE,R_0268_0015__OLD)
      & has_arg0(Z_000_268_A_DICK_1952_43,R_0268_0013__AGE)
      & r_0268_0013__age(R_0268_0013__AGE)
      & has_attrib36(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_nim35(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_attrib15(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_nim20(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) ) ).

( (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 ,)
                                         (IP-PPL (NP-PRD (NLYR (NLYR (ADJP (ADJ old;{old}))
                                                                     (N age;{age}))
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (N fatigue;{fatigue})))))))))))
          (PUNC .))
  (ID 268_a_dick_1952))