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_71_23_RUNNING,Z_71_A_PAULFELLOWS_66,R_71_25_TO_DO,R_71_27_A_DEMONSTRATION,R_71_35_AND,R_71_33__APOS_D_GOT,Z_71_A_PAULFELLOWS_84,R_71_31_FAR,R_71_30_HOW,R_71_41_WAS,R_71_24_ARX,R_71_36_WHAT_A_THING,R_71_38_WONDERFUL,R_71_14_TURNED_UP,R_71_2_THE_BOARDROOM,R_71_5_ACORN,R_71_8_THE_MORNING,R_71_18_4MB_A500,R_71_10_THE_TEAM,R_71_13_PAOLO_HYPHEN_ALTO,R_71_21_A_HARD_HYPHEN_DRIVE] :
      ( how(R_71_30_HOW)
      & aRX(R_71_24_ARX)
      & wonderful(R_71_38_WONDERFUL)
      & acorn(R_71_5_ACORN)
      & the_morning(R_71_8_THE_MORNING)
      & paolo_hyphen_Alto(R_71_13_PAOLO_HYPHEN_ALTO)
      & a_hard_hyphen_drive(R_71_21_A_HARD_HYPHEN_DRIVE)
      & running(R_71_23_RUNNING,R_71_21_A_HARD_HYPHEN_DRIVE,R_71_24_ARX)
      & z_71_a_paulfellows_66(Z_71_A_PAULFELLOWS_66)
      & conj1(Z_71_A_PAULFELLOWS_66,R_71_25_TO_DO)
      & to_do(R_71_25_TO_DO,R_71_10_THE_TEAM,R_71_27_A_DEMONSTRATION)
      & the_team(R_71_10_THE_TEAM)
      & from(R_71_10_THE_TEAM,R_71_13_PAOLO_HYPHEN_ALTO)
      & a_demonstration(R_71_27_A_DEMONSTRATION)
      & of(R_71_27_A_DEMONSTRATION,R_71_35_AND)
      & and(R_71_35_AND)
      & conj1(R_71_35_AND,R_71_33__APOS_D_GOT)
      & _apos_d_got(R_71_33__APOS_D_GOT,R_71_10_THE_TEAM,Z_71_A_PAULFELLOWS_84)
      & z_71_a_paulfellows_84(Z_71_A_PAULFELLOWS_84)
      & qual85(Z_71_A_PAULFELLOWS_84,R_71_31_FAR)
      & far(R_71_31_FAR)
      & qual86(R_71_31_FAR,R_71_30_HOW)
      & conj2(R_71_35_AND,R_71_41_WAS)
      & was(R_71_41_WAS,R_71_24_ARX,R_71_36_WHAT_A_THING)
      & what_a_thing(R_71_36_WHAT_A_THING)
      & attrib111(R_71_36_WHAT_A_THING,R_71_38_WONDERFUL)
      & conj2(Z_71_A_PAULFELLOWS_66,R_71_14_TURNED_UP)
      & turned_up(R_71_14_TURNED_UP,R_71_10_THE_TEAM)
      & in_nim5(R_71_14_TURNED_UP,R_71_2_THE_BOARDROOM)
      & the_boardroom(R_71_2_THE_BOARDROOM)
      & at(R_71_2_THE_BOARDROOM,R_71_5_ACORN)
      & in_nim21(R_71_14_TURNED_UP,R_71_8_THE_MORNING)
      & with_nim44(R_71_14_TURNED_UP,R_71_18_4MB_A500)
      & 4MB_A500(R_71_18_4MB_A500)
      & gen(R_71_18_4MB_A500,R_71_10_THE_TEAM)
      & with(R_71_18_4MB_A500,R_71_21_A_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))