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))