( (IP-MAT (NP-SBJ;{NEIL} (PRO He;{he}))
          (VBD;_La_ got;{get})
          (ADJP-PRD (ADJ interested;{interested})
                    (PP (P-ROLE in;{in})
                        (IP-PPL (VAG;_Tn_ writing;{write})
                                (NP-OB1 (D a;{a})
                                        (N font;{font})
                                        (N manager;{manager}))
                                (PP-SCON (IP-INF (TO to;{to})
                                                 (VB;_I_ run;{run})
                                                 (PP-NIM (P-ROLE on;{on})
                                                         (NP (NPR Arthur;{Arthur}))))))))
          (PUNC ,)
          (PRN (IP-MAT (ADVP-NIM (ADV so;{so}))
                       (NP-SBJ;{NEIL} (PRO he;{he}))
                       (VBD;_Tn_ wrote;{write})
                       (NP-OB1 (NUM two;{two})
                               (PUNC ,)
                               (PRN (NP (D a;{a})
                                        (N bitmap;{bitmap})
                                        (N one;{one})
                                        (IP-REL (NP-SBJ (RPRO which;{which}))
                                                (BED;_La_ was;{be})
                                                (ADJP-PRD (AJLYR (AJLYR (NP (Q;_nphd_ all;{all}))
                                                                        (AJLYR (AJLYR (ADJ well;{well}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (AJLYR (ADJ good;{good})))))
                                                                 (CONJP (CONJ but;{but})
                                                                        (AJLYR (NP (D;_nphd_ a_bit;{a_bit}))
                                                                               (AJLYR (AJLYR (ADJ clunky;{clunky}))
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (AJLYR (ADJ horrible;{horrible}))))))))))))))
          (PUNC .))
  (ID 63_a_paulfellows))

arc(r_0063_0002__got,r_0063_0001__He,arg0).
arc(r_0063_0002__got,r_0063_0003__interested,prd).
arc(r_0063_0002__got,r_0063_0016__wrote,prn).
arc(r_0063_0003__interested,z_0063_5025,r_0063_0004__in).
arc(r_0063_0005__writing,r_0063_0006__a_r_0063_0007__font_r_0063_0008__manager,arg1).
arc(r_0063_0005__writing,z_0063_5023,arg0).
arc(r_0063_0010__run,r_0063_0006__a_r_0063_0007__font_r_0063_0008__manager,arg0).
arc(r_0063_0010__run,r_0063_0012__Arthur,r_0063_0011__on__nim).
arc(r_0063_0016__wrote,r_0063_0001__He,arg0).
arc(r_0063_0016__wrote,r_0063_0014__so,nim).
arc(r_0063_0016__wrote,r_0063_0017__two,arg1).
arc(r_0063_0023__was,r_0063_0019__a_r_0063_0020__bitmap_r_0063_0021__one,arg0).
arc(r_0063_0023__was,r_0063_0028__but,prd).
arc(r_0063_0024__all__quant,r_0063_0026__and,scope).
arc(r_0063_0024__all__quant,z_0063_5010,restriction).
arc(r_0063_0026__and,r_0063_0025__well,conj1).
arc(r_0063_0026__and,r_0063_0027__good,conj2).
arc(r_0063_0026__and,z_0063_5010,nim).
arc(r_0063_0028__but,r_0063_0026__and,conj1).
arc(r_0063_0028__but,r_0063_0031__and,conj2).
arc(r_0063_0031__and,r_0063_0029__a_bit,nim).
arc(r_0063_0031__and,r_0063_0030__clunky,conj1).
arc(r_0063_0031__and,r_0063_0032__horrible,conj2).
arc(z_0063_5017,r_0063_0017__two,arg0).
arc(z_0063_5017,r_0063_0019__a_r_0063_0020__bitmap_r_0063_0021__one,prd).
arc(z_0063_5025,r_0063_0005__writing,scope).
arc(z_0063_5025,r_0063_0010__run,restriction).

fof(formula,axiom,
    ? [R_0063_0001__HE,R_0063_0006__A_R_0063_0007__FONT_R_0063_0008__MANAGER,Z_0063_5023,R_0063_0005__WRITING,R_0063_0012__ARTHUR,R_0063_0010__RUN,Z_0063_5025,R_0063_0003__INTERESTED,R_0063_0014__SO,R_0063_0017__TWO,R_0063_0016__WROTE,R_0063_0002__GOT,R_0063_0019__A_R_0063_0020__BITMAP_R_0063_0021__ONE,R_0063_0025__WELL,R_0063_0027__GOOD,Z_0063_5010,R_0063_0026__AND,R_0063_0029__A_BIT,R_0063_0030__CLUNKY,R_0063_0032__HORRIBLE,R_0063_0031__AND,R_0063_0028__BUT,R_0063_0023__WAS,Z_0063_5017] :
      ( r_0063_0001__He(R_0063_0001__HE)
      & r_0063_0006__a_r_0063_0007__font_r_0063_0008__manager(R_0063_0006__A_R_0063_0007__FONT_R_0063_0008__MANAGER)
      & r_0063_0012__Arthur(R_0063_0012__ARTHUR)
      & r_0063_0014__so(R_0063_0014__SO)
      & r_0063_0017__two(R_0063_0017__TWO)
      & r_0063_0019__a_r_0063_0020__bitmap_r_0063_0021__one(R_0063_0019__A_R_0063_0020__BITMAP_R_0063_0021__ONE)
      & r_0063_0025__well(R_0063_0025__WELL)
      & r_0063_0027__good(R_0063_0027__GOOD)
      & r_0063_0029__a_bit(R_0063_0029__A_BIT)
      & r_0063_0030__clunky(R_0063_0030__CLUNKY)
      & r_0063_0032__horrible(R_0063_0032__HORRIBLE)
      & z_0063_5010(Z_0063_5010)
      & z_0063_5023(Z_0063_5023)
      & z_0063_5017(Z_0063_5017)
      & has_prd(Z_0063_5017,R_0063_0019__A_R_0063_0020__BITMAP_R_0063_0021__ONE)
      & has_arg0(Z_0063_5017,R_0063_0017__TWO)
      & ( z_0063_5010(Z_0063_5010)
       => r_0063_0026__and(R_0063_0026__AND) )
      & r_0063_0023__was(R_0063_0023__WAS)
      & has_prd(R_0063_0023__WAS,R_0063_0028__BUT)
      & r_0063_0028__but(R_0063_0028__BUT)
      & has_conj2(R_0063_0028__BUT,R_0063_0031__AND)
      & r_0063_0031__and(R_0063_0031__AND)
      & has_conj2(R_0063_0031__AND,R_0063_0032__HORRIBLE)
      & has_conj1(R_0063_0031__AND,R_0063_0030__CLUNKY)
      & has_nim(R_0063_0031__AND,R_0063_0029__A_BIT)
      & has_conj1(R_0063_0028__BUT,R_0063_0026__AND)
      & r_0063_0026__and(R_0063_0026__AND)
      & has_nim(R_0063_0026__AND,Z_0063_5010)
      & has_conj2(R_0063_0026__AND,R_0063_0027__GOOD)
      & has_conj1(R_0063_0026__AND,R_0063_0025__WELL)
      & has_arg0(R_0063_0023__WAS,R_0063_0019__A_R_0063_0020__BITMAP_R_0063_0021__ONE)
      & r_0063_0002__got(R_0063_0002__GOT)
      & has_prn(R_0063_0002__GOT,R_0063_0016__WROTE)
      & r_0063_0016__wrote(R_0063_0016__WROTE)
      & has_arg1(R_0063_0016__WROTE,R_0063_0017__TWO)
      & has_nim(R_0063_0016__WROTE,R_0063_0014__SO)
      & has_arg0(R_0063_0016__WROTE,R_0063_0001__HE)
      & has_prd(R_0063_0002__GOT,R_0063_0003__INTERESTED)
      & r_0063_0003__interested(R_0063_0003__INTERESTED)
      & has_r_0063_0004__in(R_0063_0003__INTERESTED,Z_0063_5025)
      & z_0063_5025(Z_0063_5025)
      & has_conj1(Z_0063_5025,R_0063_0010__RUN)
      & r_0063_0010__run(R_0063_0010__RUN)
      & has_r_0063_0011__on__nim(R_0063_0010__RUN,R_0063_0012__ARTHUR)
      & has_arg0(R_0063_0010__RUN,R_0063_0006__A_R_0063_0007__FONT_R_0063_0008__MANAGER)
      & has_conj2(Z_0063_5025,R_0063_0005__WRITING)
      & r_0063_0005__writing(R_0063_0005__WRITING)
      & has_arg0(R_0063_0005__WRITING,Z_0063_5023)
      & has_arg1(R_0063_0005__WRITING,R_0063_0006__A_R_0063_0007__FONT_R_0063_0008__MANAGER)
      & has_arg0(R_0063_0002__GOT,R_0063_0001__HE) ) ).