27_a_paulfellows
So this was plugged into, via a tube interface, a BBC Micro, so it was a giant second processor (as it says on the board “A500 second processor”).

%3 r_0027_0003__was was r_0027_0001__So So r_0027_0003__was->r_0027_0001__So [nim] r_0027_0004__plugged plugged r_0027_0003__was->r_0027_0004__plugged [scope] r_0027_0002__this this r_0027_0004__plugged->r_0027_0002__this [arg1] r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro a BBC Micro r_0027_0004__plugged->r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro into [clr] z_000_27_a_paulfellows_11 r_0027_0004__plugged->z_000_27_a_paulfellows_11 [arg0] r_0027_0008__a_r_0027_0009__tube_r_0027_0010__interface a tube interface r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro->r_0027_0008__a_r_0027_0009__tube_r_0027_0010__interface via
arc(r_0027_0003__was, r_0027_0001__So, nim2).
arc(r_0027_0003__was, r_0027_0004__plugged, scope).
arc(r_0027_0004__plugged, r_0027_0002__this, arg1).
arc(r_0027_0004__plugged, r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro, r_0027_0005__into_clr20).
arc(r_0027_0004__plugged, z_000_27_a_paulfellows_11, arg0).
arc(r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro, r_0027_0008__a_r_0027_0009__tube_r_0027_0010__interface, r_0027_0007__via).



%3 r_0027_0003__was_r_0027_0004__plugged was plugged r_0027_0001__So So r_0027_0003__was_r_0027_0004__plugged->r_0027_0001__So [nim] r_0027_0002__this this r_0027_0003__was_r_0027_0004__plugged->r_0027_0002__this [arg1] r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro a BBC Micro r_0027_0003__was_r_0027_0004__plugged->r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro into [clr] z_000_27_a_paulfellows_11 r_0027_0003__was_r_0027_0004__plugged->z_000_27_a_paulfellows_11 [arg0] r_0027_0008__a_r_0027_0009__tube_r_0027_0010__interface a tube interface r_0027_0012__a_r_0027_0013__BBC_r_0027_0014__Micro->r_0027_0008__a_r_0027_0009__tube_r_0027_0010__interface via
fof(formula,axiom,
    ? [R_27_3_WAS_PLUGGED,Z_27_A_PAULFELLOWS_11,R_27_2_THIS,R_27_1_SO,R_27_12_A_BBC_MICRO,R_27_8_A_TUBE_INTERFACE] :
      ( this(R_27_2_THIS)
      & so(R_27_1_SO)
      & a_tube_interface(R_27_8_A_TUBE_INTERFACE)
      & was_plugged(R_27_3_WAS_PLUGGED,Z_27_A_PAULFELLOWS_11,R_27_2_THIS)
      & nim2(R_27_3_WAS_PLUGGED,R_27_1_SO)
      & into_clr20(R_27_3_WAS_PLUGGED,R_27_12_A_BBC_MICRO)
      & a_BBC_Micro(R_27_12_A_BBC_MICRO)
      & via(R_27_12_A_BBC_MICRO,R_27_8_A_TUBE_INTERFACE) ) ).



n27_a_paulfellows n27_a_paulfellows_4 So n27_a_paulfellows_7 this n27_a_paulfellows_9 was n27_a_paulfellows_12 * n27_a_paulfellows_14 plugged n27_a_paulfellows_17 into n27_a_paulfellows_19 , n27_a_paulfellows_23 via n27_a_paulfellows_26 a n27_a_paulfellows_28 tube n27_a_paulfellows_30 interface n27_a_paulfellows_32 , n27_a_paulfellows_34 a n27_a_paulfellows_36 BBC n27_a_paulfellows_38 Micro n27_a_paulfellows_40 , n27_a_paulfellows_45 so n27_a_paulfellows_48 it n27_a_paulfellows_50 was n27_a_paulfellows_53 a n27_a_paulfellows_56 giant n27_a_paulfellows_59 second n27_a_paulfellows_61 processor n27_a_paulfellows_63 -LRB- n27_a_paulfellows_68 as n27_a_paulfellows_72 it n27_a_paulfellows_74 says n27_a_paulfellows_77 on n27_a_paulfellows_80 the n27_a_paulfellows_82 board n27_a_paulfellows_84 <ldquo> n27_a_paulfellows_86 A500 n27_a_paulfellows_89 second n27_a_paulfellows_91 processor n27_a_paulfellows_93 <rdquo> n27_a_paulfellows_95 -RRB- n27_a_paulfellows_97 . n27_a_paulfellows_1 IP-MAT n27_a_paulfellows_2 ADVP-NIM n27_a_paulfellows_1->n27_a_paulfellows_2 n27_a_paulfellows_5 NP-SBJ n27_a_paulfellows_1->n27_a_paulfellows_5 n27_a_paulfellows_8 BED;_cat_VePASS_ n27_a_paulfellows_1->n27_a_paulfellows_8 n27_a_paulfellows_10 IP-PPL-CAT n27_a_paulfellows_1->n27_a_paulfellows_10 n27_a_paulfellows_39 PUNC n27_a_paulfellows_1->n27_a_paulfellows_39 n27_a_paulfellows_41 PRN n27_a_paulfellows_1->n27_a_paulfellows_41 n27_a_paulfellows_96 PUNC n27_a_paulfellows_1->n27_a_paulfellows_96 n27_a_paulfellows_3 ADV n27_a_paulfellows_2->n27_a_paulfellows_3 n27_a_paulfellows_3->n27_a_paulfellows_4 n27_a_paulfellows_6 D;_nphd_ n27_a_paulfellows_5->n27_a_paulfellows_6 n27_a_paulfellows_6->n27_a_paulfellows_7 n27_a_paulfellows_8->n27_a_paulfellows_9 n27_a_paulfellows_11 NP-LGS n27_a_paulfellows_10->n27_a_paulfellows_11 n27_a_paulfellows_13 VVN;_Tn.pr_ n27_a_paulfellows_10->n27_a_paulfellows_13 n27_a_paulfellows_15 PP-CLR n27_a_paulfellows_10->n27_a_paulfellows_15 n27_a_paulfellows_11->n27_a_paulfellows_12 n27_a_paulfellows_13->n27_a_paulfellows_14 n27_a_paulfellows_16 P-ROLE n27_a_paulfellows_15->n27_a_paulfellows_16 n27_a_paulfellows_18 PUNC n27_a_paulfellows_15->n27_a_paulfellows_18 n27_a_paulfellows_20 NP n27_a_paulfellows_15->n27_a_paulfellows_20 n27_a_paulfellows_16->n27_a_paulfellows_17 n27_a_paulfellows_18->n27_a_paulfellows_19 n27_a_paulfellows_21 PP n27_a_paulfellows_20->n27_a_paulfellows_21 n27_a_paulfellows_31 PUNC n27_a_paulfellows_20->n27_a_paulfellows_31 n27_a_paulfellows_33 D n27_a_paulfellows_20->n27_a_paulfellows_33 n27_a_paulfellows_35 NPR n27_a_paulfellows_20->n27_a_paulfellows_35 n27_a_paulfellows_37 NPR n27_a_paulfellows_20->n27_a_paulfellows_37 n27_a_paulfellows_22 P-ROLE n27_a_paulfellows_21->n27_a_paulfellows_22 n27_a_paulfellows_24 NP n27_a_paulfellows_21->n27_a_paulfellows_24 n27_a_paulfellows_22->n27_a_paulfellows_23 n27_a_paulfellows_25 D n27_a_paulfellows_24->n27_a_paulfellows_25 n27_a_paulfellows_27 N n27_a_paulfellows_24->n27_a_paulfellows_27 n27_a_paulfellows_29 N n27_a_paulfellows_24->n27_a_paulfellows_29 n27_a_paulfellows_25->n27_a_paulfellows_26 n27_a_paulfellows_27->n27_a_paulfellows_28 n27_a_paulfellows_29->n27_a_paulfellows_30 n27_a_paulfellows_31->n27_a_paulfellows_32 n27_a_paulfellows_33->n27_a_paulfellows_34 n27_a_paulfellows_35->n27_a_paulfellows_36 n27_a_paulfellows_37->n27_a_paulfellows_38 n27_a_paulfellows_39->n27_a_paulfellows_40 n27_a_paulfellows_42 IP-MAT n27_a_paulfellows_41->n27_a_paulfellows_42 n27_a_paulfellows_43 ADVP-NIM n27_a_paulfellows_42->n27_a_paulfellows_43 n27_a_paulfellows_46 NP-SBJ n27_a_paulfellows_42->n27_a_paulfellows_46 n27_a_paulfellows_49 BED;_Ln_ n27_a_paulfellows_42->n27_a_paulfellows_49 n27_a_paulfellows_51 NP-PRD n27_a_paulfellows_42->n27_a_paulfellows_51 n27_a_paulfellows_44 ADV n27_a_paulfellows_43->n27_a_paulfellows_44 n27_a_paulfellows_44->n27_a_paulfellows_45 n27_a_paulfellows_47 PRO n27_a_paulfellows_46->n27_a_paulfellows_47 n27_a_paulfellows_47->n27_a_paulfellows_48 n27_a_paulfellows_49->n27_a_paulfellows_50 n27_a_paulfellows_52 D n27_a_paulfellows_51->n27_a_paulfellows_52 n27_a_paulfellows_54 ADJP n27_a_paulfellows_51->n27_a_paulfellows_54 n27_a_paulfellows_57 ADJP n27_a_paulfellows_51->n27_a_paulfellows_57 n27_a_paulfellows_60 N n27_a_paulfellows_51->n27_a_paulfellows_60 n27_a_paulfellows_62 PULB n27_a_paulfellows_51->n27_a_paulfellows_62 n27_a_paulfellows_64 IP-PPL n27_a_paulfellows_51->n27_a_paulfellows_64 n27_a_paulfellows_94 PURB n27_a_paulfellows_51->n27_a_paulfellows_94 n27_a_paulfellows_52->n27_a_paulfellows_53 n27_a_paulfellows_55 ADJ n27_a_paulfellows_54->n27_a_paulfellows_55 n27_a_paulfellows_55->n27_a_paulfellows_56 n27_a_paulfellows_58 ADJ n27_a_paulfellows_57->n27_a_paulfellows_58 n27_a_paulfellows_58->n27_a_paulfellows_59 n27_a_paulfellows_60->n27_a_paulfellows_61 n27_a_paulfellows_62->n27_a_paulfellows_63 n27_a_paulfellows_65 NP-PRD n27_a_paulfellows_64->n27_a_paulfellows_65 n27_a_paulfellows_66 PP-SCON n27_a_paulfellows_65->n27_a_paulfellows_66 n27_a_paulfellows_83 PULQ n27_a_paulfellows_65->n27_a_paulfellows_83 n27_a_paulfellows_85 NPR n27_a_paulfellows_65->n27_a_paulfellows_85 n27_a_paulfellows_87 ADJP n27_a_paulfellows_65->n27_a_paulfellows_87 n27_a_paulfellows_90 N n27_a_paulfellows_65->n27_a_paulfellows_90 n27_a_paulfellows_92 PURQ n27_a_paulfellows_65->n27_a_paulfellows_92 n27_a_paulfellows_67 P-CONN n27_a_paulfellows_66->n27_a_paulfellows_67 n27_a_paulfellows_69 IP-ADV n27_a_paulfellows_66->n27_a_paulfellows_69 n27_a_paulfellows_67->n27_a_paulfellows_68 n27_a_paulfellows_70 NP-SBJ n27_a_paulfellows_69->n27_a_paulfellows_70 n27_a_paulfellows_73 VBP;__ n27_a_paulfellows_69->n27_a_paulfellows_73 n27_a_paulfellows_75 PP-NIM n27_a_paulfellows_69->n27_a_paulfellows_75 n27_a_paulfellows_71 PRO n27_a_paulfellows_70->n27_a_paulfellows_71 n27_a_paulfellows_71->n27_a_paulfellows_72 n27_a_paulfellows_73->n27_a_paulfellows_74 n27_a_paulfellows_76 P-ROLE n27_a_paulfellows_75->n27_a_paulfellows_76 n27_a_paulfellows_78 NP n27_a_paulfellows_75->n27_a_paulfellows_78 n27_a_paulfellows_76->n27_a_paulfellows_77 n27_a_paulfellows_79 D n27_a_paulfellows_78->n27_a_paulfellows_79 n27_a_paulfellows_81 N n27_a_paulfellows_78->n27_a_paulfellows_81 n27_a_paulfellows_79->n27_a_paulfellows_80 n27_a_paulfellows_81->n27_a_paulfellows_82 n27_a_paulfellows_83->n27_a_paulfellows_84 n27_a_paulfellows_85->n27_a_paulfellows_86 n27_a_paulfellows_88 ADJ n27_a_paulfellows_87->n27_a_paulfellows_88 n27_a_paulfellows_88->n27_a_paulfellows_89 n27_a_paulfellows_90->n27_a_paulfellows_91 n27_a_paulfellows_92->n27_a_paulfellows_93 n27_a_paulfellows_94->n27_a_paulfellows_95 n27_a_paulfellows_96->n27_a_paulfellows_97
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{DEV_BOARD} (D;_nphd_ this;{this}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ plugged;{plug[into]})
                      (PP-CLR (P-ROLE into;{into})
                              (PUNC ,)
                              (NP (PP (P-ROLE via;{via})
                                      (NP (D a;{a})
                                          (N tube;{tube})
                                          (N interface;{interface})))
                                  (PUNC ,)
                                  (D a;{a})
                                  (NPR BBC;{BBC})
                                  (NPR Micro;{Micro}))))
          (PUNC ,)
          (PRN (IP-MAT (ADVP-NIM (ADV so;{so}))
                       (NP-SBJ;{DEV_BOARD} (PRO it;{it}))
                       (BED;_Ln_ was;{be})
                       (NP-PRD (D a;{a})
                               (ADJP (ADJ giant;{giant}))
                               (ADJP (ADJ second;{second}))
                               (N processor;{processor})
                               (PULB -LRB-)
                               (IP-PPL (NP-PRD (PP-SCON (P-CONN as;{as})
                                                        (IP-ADV (NP-SBJ (PRO it;{it}))
                                                                (VBP;__ says;{say})
                                                                (PP-NIM (P-ROLE on;{on})
                                                                        (NP (D the;{the})
                                                                            (N board;{board})))))
                                               (PULQ <ldquo>)
                                               (NPR A500;{A500})
                                               (ADJP (ADJ second;{second}))
                                               (N processor;{processor})
                                               (PURQ <rdquo>)))
                               (PURB -RRB-))))
          (PUNC .))
  (ID 27_a_paulfellows))