( (FRAG (ILYR (ILYR (NP-SBJ (D The;{the})
                            (ADJP (NP (NUM first;{first}))
                                  (ADJ stand_alone;{standalone}))
                            (N machine;{machine}))
                    (PUNC ,)
                    (NP-PRD (D the;{the})
                            (NPR A500;{A500}))
                    (PUNC ,)
                    (IP-CAR (NP-SBJ (RPRO which;{which}))
                            (BEP;_La_ is;{be})
                            (ADJP-PRD (ADVP (ADV very;{very}))
                                      (ADJ confusing;{confusing}))
                            (PP-SCON (P-CONN because;{because})
                                     (IP-ADV (NP-SBJ (PRO they;{they}))
                                             (BEP;_cat_VePASS_ <apos>re;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (ADVP-NIM (ADV both;{both}))
                                                         (VVN;_Cn.n_ called;{call})
                                                         (NP-PRD (NPR A500)))))))
              (PUNC ,)
              (CONJP (CONJ but;{but})
                     (ILYR (NP-SBJ (D the;{the})
                                   (ADJP (ADJ other;{other}))
                                   (NUM one;{one}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (D the;{the})
                                   (NPR A500)
                                   (ADJP (ADJ second;{second}))
                                   (N processor;{processor})))))
        (PUNC .))
  (ID 33_a_paulfellows))

arc(r_0033_0001__The_r_0033_0004__machine,r_0033_0003__stand_alone,attrib).
arc(r_0033_0003__stand_alone,r_0033_0002__first,nim).
arc(r_0033_0010__is,r_0033_0012__confusing,prd).
arc(r_0033_0010__is,z_0033_5014,arg0).
arc(r_0033_0012__confusing,r_0033_0011__very,qual).
arc(r_0033_0013__because,r_0033_0010__is,scope).
arc(r_0033_0013__because,r_0033_0015___apos_re,restriction).
arc(r_0033_0015___apos_re,r_0033_0017__called,scope).
arc(r_0033_0017__called,r_0033_0014__they,arg1).
arc(r_0033_0017__called,r_0033_0016__both,nim).
arc(r_0033_0017__called,r_0033_0018__A500,prd).
arc(r_0033_0017__called,z_0033_5008___star_,arg0).
arc(r_0033_0020__but,r_0033_0024__was,conj2).
arc(r_0033_0020__but,z_0033_5015,conj1).
arc(r_0033_0021__the_r_0033_0023__one,r_0033_0022__other,attrib).
arc(r_0033_0024__was,r_0033_0021__the_r_0033_0023__one,arg0).
arc(r_0033_0024__was,r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor,prd).
arc(r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor,r_0033_0027__second,attrib).
arc(z_0033_5015,r_0033_0001__The_r_0033_0004__machine,arg0).
arc(z_0033_5015,r_0033_0006__the_r_0033_0007__A500,prd).
arc(z_0033_5015,z_0033_5014,nim).

fof(formula,axiom,
    ? [R_0033_0011__VERY,R_0033_0012__CONFUSING,Z_0033_5014,R_0033_0010__IS,R_0033_0014__THEY,R_0033_0016__BOTH,R_0033_0018__A500,Z_0033_5008___STAR_,R_0033_0015___APOS_RE_R_0033_0017__CALLED,R_0033_0013__BECAUSE,R_0033_0022__OTHER,R_0033_0021__THE_R_0033_0023__ONE,R_0033_0027__SECOND,R_0033_0025__THE_R_0033_0026__A500_R_0033_0028__PROCESSOR,R_0033_0024__WAS,R_0033_0002__FIRST,R_0033_0003__STAND_ALONE,R_0033_0001__THE_R_0033_0004__MACHINE,R_0033_0006__THE_R_0033_0007__A500,Z_0033_5015,R_0033_0020__BUT] :
      ( r_0033_0002__first(R_0033_0002__FIRST)
      & r_0033_0006__the_r_0033_0007__A500(R_0033_0006__THE_R_0033_0007__A500)
      & r_0033_0011__very(R_0033_0011__VERY)
      & r_0033_0014__they(R_0033_0014__THEY)
      & r_0033_0016__both(R_0033_0016__BOTH)
      & r_0033_0018__A500(R_0033_0018__A500)
      & r_0033_0022__other(R_0033_0022__OTHER)
      & r_0033_0027__second(R_0033_0027__SECOND)
      & z_0033_5008___star_(Z_0033_5008___STAR_)
      & z_0033_5014(Z_0033_5014)
      & r_0033_0020__but(R_0033_0020__BUT)
      & has_conj1(R_0033_0020__BUT,Z_0033_5015)
      & z_0033_5015(Z_0033_5015)
      & has_nim(Z_0033_5015,Z_0033_5014)
      & has_prd(Z_0033_5015,R_0033_0006__THE_R_0033_0007__A500)
      & has_arg0(Z_0033_5015,R_0033_0001__THE_R_0033_0004__MACHINE)
      & r_0033_0001__The_r_0033_0004__machine(R_0033_0001__THE_R_0033_0004__MACHINE)
      & has_attrib(R_0033_0001__THE_R_0033_0004__MACHINE,R_0033_0003__STAND_ALONE)
      & r_0033_0003__stand_alone(R_0033_0003__STAND_ALONE)
      & has_nim(R_0033_0003__STAND_ALONE,R_0033_0002__FIRST)
      & has_conj2(R_0033_0020__BUT,R_0033_0024__WAS)
      & r_0033_0024__was(R_0033_0024__WAS)
      & has_prd(R_0033_0024__WAS,R_0033_0025__THE_R_0033_0026__A500_R_0033_0028__PROCESSOR)
      & r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor(R_0033_0025__THE_R_0033_0026__A500_R_0033_0028__PROCESSOR)
      & has_attrib(R_0033_0025__THE_R_0033_0026__A500_R_0033_0028__PROCESSOR,R_0033_0027__SECOND)
      & has_arg0(R_0033_0024__WAS,R_0033_0021__THE_R_0033_0023__ONE)
      & r_0033_0021__the_r_0033_0023__one(R_0033_0021__THE_R_0033_0023__ONE)
      & has_attrib(R_0033_0021__THE_R_0033_0023__ONE,R_0033_0022__OTHER)
      & r_0033_0013__because(R_0033_0013__BECAUSE)
      & has_conj1(R_0033_0013__BECAUSE,R_0033_0015___APOS_RE_R_0033_0017__CALLED)
      & r_0033_0015___apos_re_r_0033_0017__called(R_0033_0015___APOS_RE_R_0033_0017__CALLED)
      & has_arg0(R_0033_0015___APOS_RE_R_0033_0017__CALLED,Z_0033_5008___STAR_)
      & has_prd(R_0033_0015___APOS_RE_R_0033_0017__CALLED,R_0033_0018__A500)
      & has_nim(R_0033_0015___APOS_RE_R_0033_0017__CALLED,R_0033_0016__BOTH)
      & has_arg1(R_0033_0015___APOS_RE_R_0033_0017__CALLED,R_0033_0014__THEY)
      & has_conj2(R_0033_0013__BECAUSE,R_0033_0010__IS)
      & r_0033_0010__is(R_0033_0010__IS)
      & has_arg0(R_0033_0010__IS,Z_0033_5014)
      & has_prd(R_0033_0010__IS,R_0033_0012__CONFUSING)
      & r_0033_0012__confusing(R_0033_0012__CONFUSING)
      & has_qual(R_0033_0012__CONFUSING,R_0033_0011__VERY) ) ).