TSPC 70_a_paulfellows

70_a_paulfellows
In the boardroom at Acorn, in the morning the team from Paolo-Alto turned up with their 4MB A500 with a hard-drive running ARX to do a demonstration of how far they'd got and what a wonderful thing it was.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N boardroom;{boardroom})
                      (PP (P-ROLE at;{at})
                          (NP (NPR Acorn;{Acorn})))))
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N morning;{morning})))
          (NP-SBJ;{PA_TEAM} (D the;{the})
                            (N team;{team})
                            (PP (P-ROLE from;{from})
                                (NP (NPR Paolo_<hyphen>_Alto;{Paolo_Alto}))))
          (VBD;_phr_Vp_ turned;{turn[up]})
          (RP up;{up})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN;{PA_TEAM} (PRO;_genm_ their;{their}))
                      (NUM 4MB)
                      (NPR A500;{A500})
                      (PP (P-ROLE with;{with})
                          (NP (D a;{a})
                              (N hard_<hyphen>_drive;{hard_drive})
                              (IP-PPL (VAG;_Tn_ running;{run})
                                      (NP-OB1;{ARX} (NPR ARX;{ARX})))))))
          (PP-SCON (IP-INF (TO to;{to})
                           (DO;_Tn_ do;{do})
                           (NP-OB1 (D a;{a})
                                   (N demonstration;{demonstration})
                                   (PP (P-ROLE of;{of})
                                       (CP-QUE (IP-SUB (ILYR (ILYR (NP-161 (ADVP (ADVP (WADV how;{how}))
                                                                                 (ADV far;{far})))
                                                                   (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                                                                   (HVD;_cat_Ve_ <apos>d;{have})
                                                                   (IP-PPL-CAT (NP-OB1 *ICH*-161)
                                                                               (VVN;_Tn_ got;{get})))
                                                             (CONJP (CONJ and;{and})
                                                                    (ILYR (ILYR (NP-PRD (WD what;{what})
                                                                                        (D a;{a})
                                                                                        (ADJP (ADJ wonderful;{wonderful}))
                                                                                        (N thing;{thing}))
                                                                                (NP-SBJ;{ARX} (PRO it;{it}))
                                                                                (BED;_Ln_ was;{be})))))))))))
          (PUNC .))
  (ID 70_a_paulfellows))

arc(r_0070_0002__the_r_0070_0003__boardroom,r_0070_0005__Acorn,r_0070_0004__at).
arc(r_0070_0010__the_r_0070_0011__team,r_0070_0013__Paolo__hyphen__Alto,r_0070_0012__from).
arc(r_0070_0014__turned_r_0070_0015__up,r_0070_0002__the_r_0070_0003__boardroom,r_0070_0001__In__nim).
arc(r_0070_0014__turned_r_0070_0015__up,r_0070_0008__the_r_0070_0009__morning,r_0070_0007__in__nim).
arc(r_0070_0014__turned_r_0070_0015__up,r_0070_0010__the_r_0070_0011__team,arg0).
arc(r_0070_0014__turned_r_0070_0015__up,r_0070_0018__4MB_r_0070_0019__A500,r_0070_0016__with__nim).
arc(r_0070_0018__4MB_r_0070_0019__A500,r_0070_0010__the_r_0070_0011__team,gen).
arc(r_0070_0018__4MB_r_0070_0019__A500,r_0070_0021__a_r_0070_0022__hard__hyphen__drive,r_0070_0020__with).
arc(r_0070_0023__running,r_0070_0021__a_r_0070_0022__hard__hyphen__drive,inv_arg0).
arc(r_0070_0023__running,r_0070_0024__ARX,arg1).
arc(r_0070_0026__do,r_0070_0010__the_r_0070_0011__team,arg0).
arc(r_0070_0026__do,r_0070_0027__a_r_0070_0028__demonstration,arg1).
arc(r_0070_0027__a_r_0070_0028__demonstration,r_0070_0035__and,r_0070_0029__of).
arc(r_0070_0031__far,r_0070_0030__how,qual).
arc(r_0070_0033___apos_d,r_0070_0034__got,scope).
arc(r_0070_0034__got,r_0070_0010__the_r_0070_0011__team,arg0).
arc(r_0070_0034__got,z_0070_5011,arg1).
arc(r_0070_0035__and,r_0070_0033___apos_d,conj1).
arc(r_0070_0035__and,r_0070_0041__was,conj2).
arc(r_0070_0036__what_r_0070_0037__a_r_0070_0039__thing,r_0070_0038__wonderful,attrib).
arc(r_0070_0041__was,r_0070_0024__ARX,arg0).
arc(r_0070_0041__was,r_0070_0036__what_r_0070_0037__a_r_0070_0039__thing,prd).
arc(z_0070_5004,r_0070_0014__turned_r_0070_0015__up,scope).
arc(z_0070_5004,r_0070_0026__do,restriction).
arc(z_0070_5011,r_0070_0031__far,qual).

fof(formula,axiom,
    ? [R_0070_0005__ACORN,R_0070_0002__THE_R_0070_0003__BOARDROOM,R_0070_0008__THE_R_0070_0009__MORNING,R_0070_0013__PAOLO__HYPHEN__ALTO,R_0070_0010__THE_R_0070_0011__TEAM,R_0070_0024__ARX,R_0070_0023__RUNNING,R_0070_0021__A_R_0070_0022__HARD__HYPHEN__DRIVE,R_0070_0018__4MB_R_0070_0019__A500,R_0070_0014__TURNED_R_0070_0015__UP,R_0070_0030__HOW,R_0070_0031__FAR,Z_0070_5011,R_0070_0033___APOS_D_R_0070_0034__GOT,R_0070_0038__WONDERFUL,R_0070_0036__WHAT_R_0070_0037__A_R_0070_0039__THING,R_0070_0041__WAS,R_0070_0035__AND,R_0070_0027__A_R_0070_0028__DEMONSTRATION,R_0070_0026__DO,Z_0070_5004] :
      ( r_0070_0005__Acorn(R_0070_0005__ACORN)
      & r_0070_0008__the_r_0070_0009__morning(R_0070_0008__THE_R_0070_0009__MORNING)
      & r_0070_0013__Paolo__hyphen__Alto(R_0070_0013__PAOLO__HYPHEN__ALTO)
      & r_0070_0024__ARX(R_0070_0024__ARX)
      & r_0070_0030__how(R_0070_0030__HOW)
      & r_0070_0038__wonderful(R_0070_0038__WONDERFUL)
      & z_0070_5004(Z_0070_5004)
      & has_conj1(Z_0070_5004,R_0070_0026__DO)
      & r_0070_0026__do(R_0070_0026__DO)
      & has_arg1(R_0070_0026__DO,R_0070_0027__A_R_0070_0028__DEMONSTRATION)
      & r_0070_0027__a_r_0070_0028__demonstration(R_0070_0027__A_R_0070_0028__DEMONSTRATION)
      & has_r_0070_0029__of(R_0070_0027__A_R_0070_0028__DEMONSTRATION,R_0070_0035__AND)
      & r_0070_0035__and(R_0070_0035__AND)
      & has_conj2(R_0070_0035__AND,R_0070_0041__WAS)
      & r_0070_0041__was(R_0070_0041__WAS)
      & has_prd(R_0070_0041__WAS,R_0070_0036__WHAT_R_0070_0037__A_R_0070_0039__THING)
      & r_0070_0036__what_r_0070_0037__a_r_0070_0039__thing(R_0070_0036__WHAT_R_0070_0037__A_R_0070_0039__THING)
      & has_attrib(R_0070_0036__WHAT_R_0070_0037__A_R_0070_0039__THING,R_0070_0038__WONDERFUL)
      & has_arg0(R_0070_0041__WAS,R_0070_0024__ARX)
      & has_conj1(R_0070_0035__AND,R_0070_0033___APOS_D_R_0070_0034__GOT)
      & r_0070_0033___apos_d_r_0070_0034__got(R_0070_0033___APOS_D_R_0070_0034__GOT)
      & has_arg1(R_0070_0033___APOS_D_R_0070_0034__GOT,Z_0070_5011)
      & z_0070_5011(Z_0070_5011)
      & has_qual(Z_0070_5011,R_0070_0031__FAR)
      & r_0070_0031__far(R_0070_0031__FAR)
      & has_qual(R_0070_0031__FAR,R_0070_0030__HOW)
      & has_arg0(R_0070_0033___APOS_D_R_0070_0034__GOT,R_0070_0010__THE_R_0070_0011__TEAM)
      & r_0070_0010__the_r_0070_0011__team(R_0070_0010__THE_R_0070_0011__TEAM)
      & has_r_0070_0012__from(R_0070_0010__THE_R_0070_0011__TEAM,R_0070_0013__PAOLO__HYPHEN__ALTO)
      & has_arg0(R_0070_0026__DO,R_0070_0010__THE_R_0070_0011__TEAM)
      & has_conj2(Z_0070_5004,R_0070_0014__TURNED_R_0070_0015__UP)
      & r_0070_0014__turned_r_0070_0015__up(R_0070_0014__TURNED_R_0070_0015__UP)
      & has_r_0070_0016__with__nim(R_0070_0014__TURNED_R_0070_0015__UP,R_0070_0018__4MB_R_0070_0019__A500)
      & r_0070_0018__4MB_r_0070_0019__A500(R_0070_0018__4MB_R_0070_0019__A500)
      & has_r_0070_0020__with(R_0070_0018__4MB_R_0070_0019__A500,R_0070_0021__A_R_0070_0022__HARD__HYPHEN__DRIVE)
      & r_0070_0021__a_r_0070_0022__hard__hyphen__drive(R_0070_0021__A_R_0070_0022__HARD__HYPHEN__DRIVE)
      & has_inv_arg0(R_0070_0021__A_R_0070_0022__HARD__HYPHEN__DRIVE,R_0070_0023__RUNNING)
      & r_0070_0023__running(R_0070_0023__RUNNING)
      & has_arg1(R_0070_0023__RUNNING,R_0070_0024__ARX)
      & has_gen(R_0070_0018__4MB_R_0070_0019__A500,R_0070_0010__THE_R_0070_0011__TEAM)
      & has_arg0(R_0070_0014__TURNED_R_0070_0015__UP,R_0070_0010__THE_R_0070_0011__TEAM)
      & has_r_0070_0007__in__nim(R_0070_0014__TURNED_R_0070_0015__UP,R_0070_0008__THE_R_0070_0009__MORNING)
      & has_r_0070_0001__In__nim(R_0070_0014__TURNED_R_0070_0015__UP,R_0070_0002__THE_R_0070_0003__BOARDROOM)
      & r_0070_0002__the_r_0070_0003__boardroom(R_0070_0002__THE_R_0070_0003__BOARDROOM)
      & has_r_0070_0004__at(R_0070_0002__THE_R_0070_0003__BOARDROOM,R_0070_0005__ACORN) ) ).