TSPC 71_a_paulfellows

71_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.

arc(r_0071_0002__the_r_0071_0003__boardroom, r_0071_0005__Acorn, r_0071_0004__at).
arc(r_0071_0010__the_r_0071_0011__team, r_0071_0013__Paolo__hyphen__Alto, r_0071_0012__from).
arc(r_0071_0014__turned_r_0071_0015__up, r_0071_0002__the_r_0071_0003__boardroom, r_0071_0001__In_nim5).
arc(r_0071_0014__turned_r_0071_0015__up, r_0071_0008__the_r_0071_0009__morning, r_0071_0007__in_nim21).
arc(r_0071_0014__turned_r_0071_0015__up, r_0071_0010__the_r_0071_0011__team, arg0).
arc(r_0071_0014__turned_r_0071_0015__up, r_0071_0018__4MB_r_0071_0019__A500, r_0071_0016__with_nim44).
arc(r_0071_0018__4MB_r_0071_0019__A500, r_0071_0010__the_r_0071_0011__team, gen).
arc(r_0071_0018__4MB_r_0071_0019__A500, r_0071_0021__a_r_0071_0022__hard__hyphen__drive, r_0071_0020__with).
arc(r_0071_0023__running, r_0071_0021__a_r_0071_0022__hard__hyphen__drive, arg0).
arc(r_0071_0023__running, r_0071_0024__ARX, arg1).
arc(r_0071_0025__to_r_0071_0026__do, r_0071_0010__the_r_0071_0011__team, arg0).
arc(r_0071_0025__to_r_0071_0026__do, r_0071_0027__a_r_0071_0028__demonstration, arg1).
arc(r_0071_0027__a_r_0071_0028__demonstration, r_0071_0035__and, r_0071_0029__of).
arc(r_0071_0031__far, r_0071_0030__how, qual86).
arc(r_0071_0033___apos_d, r_0071_0034__got, scope).
arc(r_0071_0034__got, r_0071_0010__the_r_0071_0011__team, arg0).
arc(r_0071_0034__got, z_000_71_a_paulfellows_84, arg1).
arc(r_0071_0035__and, r_0071_0033___apos_d, conj1).
arc(r_0071_0035__and, r_0071_0041__was, conj2).
arc(r_0071_0036__what_r_0071_0037__a_r_0071_0039__thing, r_0071_0038__wonderful, attrib111).
arc(r_0071_0041__was, r_0071_0024__ARX, arg0).
arc(r_0071_0041__was, r_0071_0036__what_r_0071_0037__a_r_0071_0039__thing, prd).
arc(z_000_71_a_paulfellows_66, r_0071_0014__turned_r_0071_0015__up, scope).
arc(z_000_71_a_paulfellows_66, r_0071_0025__to_r_0071_0026__do, restriction).
arc(z_000_71_a_paulfellows_84, r_0071_0031__far, qual85).

fof(formula,axiom,
    ? [R_0071_0021__A_R_0071_0022__HARD__HYPHEN__DRIVE,R_0071_0024__ARX,R_0071_0023__RUNNING,R_0071_0005__ACORN,R_0071_0002__THE_R_0071_0003__BOARDROOM,R_0071_0008__THE_R_0071_0009__MORNING,R_0071_0013__PAOLO__HYPHEN__ALTO,R_0071_0010__THE_R_0071_0011__TEAM,R_0071_0018__4MB_R_0071_0019__A500,R_0071_0014__TURNED_R_0071_0015__UP,R_0071_0030__HOW,R_0071_0031__FAR,Z_000_71_A_PAULFELLOWS_84,R_0071_0033___APOS_D_R_0071_0034__GOT,R_0071_0038__WONDERFUL,R_0071_0036__WHAT_R_0071_0037__A_R_0071_0039__THING,R_0071_0041__WAS,R_0071_0035__AND,R_0071_0027__A_R_0071_0028__DEMONSTRATION,R_0071_0025__TO_R_0071_0026__DO,Z_000_71_A_PAULFELLOWS_66] :
      ( r_0071_0005__Acorn(R_0071_0005__ACORN)
      & r_0071_0008__the_r_0071_0009__morning(R_0071_0008__THE_R_0071_0009__MORNING)
      & r_0071_0013__Paolo__hyphen__Alto(R_0071_0013__PAOLO__HYPHEN__ALTO)
      & r_0071_0021__a_r_0071_0022__hard__hyphen__drive(R_0071_0021__A_R_0071_0022__HARD__HYPHEN__DRIVE)
      & r_0071_0024__ARX(R_0071_0024__ARX)
      & r_0071_0030__how(R_0071_0030__HOW)
      & r_0071_0038__wonderful(R_0071_0038__WONDERFUL)
      & z_000_71_a_paulfellows_66(Z_000_71_A_PAULFELLOWS_66)
      & has_conj1(Z_000_71_A_PAULFELLOWS_66,R_0071_0025__TO_R_0071_0026__DO)
      & r_0071_0025__to_r_0071_0026__do(R_0071_0025__TO_R_0071_0026__DO)
      & has_arg1(R_0071_0025__TO_R_0071_0026__DO,R_0071_0027__A_R_0071_0028__DEMONSTRATION)
      & r_0071_0027__a_r_0071_0028__demonstration(R_0071_0027__A_R_0071_0028__DEMONSTRATION)
      & has_r_0071_0029__of(R_0071_0027__A_R_0071_0028__DEMONSTRATION,R_0071_0035__AND)
      & r_0071_0035__and(R_0071_0035__AND)
      & has_conj2(R_0071_0035__AND,R_0071_0041__WAS)
      & r_0071_0041__was(R_0071_0041__WAS)
      & has_prd(R_0071_0041__WAS,R_0071_0036__WHAT_R_0071_0037__A_R_0071_0039__THING)
      & r_0071_0036__what_r_0071_0037__a_r_0071_0039__thing(R_0071_0036__WHAT_R_0071_0037__A_R_0071_0039__THING)
      & has_attrib111(R_0071_0036__WHAT_R_0071_0037__A_R_0071_0039__THING,R_0071_0038__WONDERFUL)
      & has_arg0(R_0071_0041__WAS,R_0071_0024__ARX)
      & has_conj1(R_0071_0035__AND,R_0071_0033___APOS_D_R_0071_0034__GOT)
      & r_0071_0033___apos_d_r_0071_0034__got(R_0071_0033___APOS_D_R_0071_0034__GOT)
      & has_arg1(R_0071_0033___APOS_D_R_0071_0034__GOT,Z_000_71_A_PAULFELLOWS_84)
      & z_000_71_a_paulfellows_84(Z_000_71_A_PAULFELLOWS_84)
      & has_qual85(Z_000_71_A_PAULFELLOWS_84,R_0071_0031__FAR)
      & r_0071_0031__far(R_0071_0031__FAR)
      & has_qual86(R_0071_0031__FAR,R_0071_0030__HOW)
      & has_arg0(R_0071_0033___APOS_D_R_0071_0034__GOT,R_0071_0010__THE_R_0071_0011__TEAM)
      & r_0071_0010__the_r_0071_0011__team(R_0071_0010__THE_R_0071_0011__TEAM)
      & has_r_0071_0012__from(R_0071_0010__THE_R_0071_0011__TEAM,R_0071_0013__PAOLO__HYPHEN__ALTO)
      & has_arg0(R_0071_0025__TO_R_0071_0026__DO,R_0071_0010__THE_R_0071_0011__TEAM)
      & has_conj2(Z_000_71_A_PAULFELLOWS_66,R_0071_0014__TURNED_R_0071_0015__UP)
      & r_0071_0014__turned_r_0071_0015__up(R_0071_0014__TURNED_R_0071_0015__UP)
      & has_r_0071_0016__with_nim44(R_0071_0014__TURNED_R_0071_0015__UP,R_0071_0018__4MB_R_0071_0019__A500)
      & r_0071_0018__4MB_r_0071_0019__A500(R_0071_0018__4MB_R_0071_0019__A500)
      & has_r_0071_0020__with(R_0071_0018__4MB_R_0071_0019__A500,R_0071_0021__A_R_0071_0022__HARD__HYPHEN__DRIVE)
      & has_gen(R_0071_0018__4MB_R_0071_0019__A500,R_0071_0010__THE_R_0071_0011__TEAM)
      & has_arg0(R_0071_0014__TURNED_R_0071_0015__UP,R_0071_0010__THE_R_0071_0011__TEAM)
      & has_r_0071_0007__in_nim21(R_0071_0014__TURNED_R_0071_0015__UP,R_0071_0008__THE_R_0071_0009__MORNING)
      & has_r_0071_0001__In_nim5(R_0071_0014__TURNED_R_0071_0015__UP,R_0071_0002__THE_R_0071_0003__BOARDROOM)
      & r_0071_0002__the_r_0071_0003__boardroom(R_0071_0002__THE_R_0071_0003__BOARDROOM)
      & has_r_0071_0004__at(R_0071_0002__THE_R_0071_0003__BOARDROOM,R_0071_0005__ACORN)
      & r_0071_0023__running(R_0071_0023__RUNNING)
      & has_arg1(R_0071_0023__RUNNING,R_0071_0024__ARX)
      & has_arg0(R_0071_0023__RUNNING,R_0071_0021__A_R_0071_0022__HARD__HYPHEN__DRIVE) ) ).

( (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 71_a_paulfellows))