25_a_paulfellows
I think we sold 4.5 million of those set-top-boxes, which is more instances of an operating system than Acorn ever managed.
arc(r_0025_0002__think, r_0025_0001__I, arg0).
arc(r_0025_0002__think, r_0025_0004__sold, arg1).
arc(r_0025_0004__sold, r_0025_0003__we, arg0).
arc(r_0025_0004__sold, r_0025_0005__4_dot_5_r_0025_0006__million, arg1).
arc(r_0025_0005__4_dot_5_r_0025_0006__million, r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes, r_0025_0007__of).
arc(r_0025_0012__is, r_0025_0005__4_dot_5_r_0025_0006__million, arg0).
arc(r_0025_0012__is, r_0025_0014__instances, prd).
arc(r_0025_0013__more, z_000_25_a_paulfellows_57, r_0025_0019__than).
arc(r_0025_0014__instances, r_0025_0013__more, attrib36).
arc(r_0025_0014__instances, r_0025_0016__an_r_0025_0018__system, r_0025_0015__of).
arc(r_0025_0017__operating, r_0025_0016__an_r_0025_0018__system, arg0).
arc(r_0025_0022__managed, r_0025_0020__Acorn, arg0).
arc(r_0025_0022__managed, r_0025_0021__ever, nim64).
arc(r_0025_0022__managed, z_000_25_a_paulfellows_57, arg1).
fof(formula,axiom,
? [R_0025_0001__I,R_0025_0003__WE,R_0025_0008__THOSE_R_0025_0009__SET__HYPHEN__TOP__HYPHEN__BOXES,R_0025_0005__4_DOT_5_R_0025_0006__MILLION,R_0025_0004__SOLD,R_0025_0002__THINK,Z_000_25_A_PAULFELLOWS_57,R_0025_0013__MORE,R_0025_0016__AN_R_0025_0018__SYSTEM,R_0025_0014__INSTANCES,R_0025_0012__IS,R_0025_0017__OPERATING,R_0025_0020__ACORN,R_0025_0021__EVER,R_0025_0022__MANAGED] :
( r_0025_0001__I(R_0025_0001__I)
& r_0025_0003__we(R_0025_0003__WE)
& r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes(R_0025_0008__THOSE_R_0025_0009__SET__HYPHEN__TOP__HYPHEN__BOXES)
& r_0025_0016__an_r_0025_0018__system(R_0025_0016__AN_R_0025_0018__SYSTEM)
& r_0025_0020__Acorn(R_0025_0020__ACORN)
& r_0025_0021__ever(R_0025_0021__EVER)
& z_000_25_a_paulfellows_57(Z_000_25_A_PAULFELLOWS_57)
& r_0025_0022__managed(R_0025_0022__MANAGED)
& has_arg1(R_0025_0022__MANAGED,Z_000_25_A_PAULFELLOWS_57)
& has_nim64(R_0025_0022__MANAGED,R_0025_0021__EVER)
& has_arg0(R_0025_0022__MANAGED,R_0025_0020__ACORN)
& r_0025_0017__operating(R_0025_0017__OPERATING)
& has_arg0(R_0025_0017__OPERATING,R_0025_0016__AN_R_0025_0018__SYSTEM)
& r_0025_0012__is(R_0025_0012__IS)
& has_prd(R_0025_0012__IS,R_0025_0014__INSTANCES)
& r_0025_0014__instances(R_0025_0014__INSTANCES)
& has_r_0025_0015__of(R_0025_0014__INSTANCES,R_0025_0016__AN_R_0025_0018__SYSTEM)
& has_attrib36(R_0025_0014__INSTANCES,R_0025_0013__MORE)
& r_0025_0013__more(R_0025_0013__MORE)
& has_r_0025_0019__than(R_0025_0013__MORE,Z_000_25_A_PAULFELLOWS_57)
& has_arg0(R_0025_0012__IS,R_0025_0005__4_DOT_5_R_0025_0006__MILLION)
& r_0025_0005__4_dot_5_r_0025_0006__million(R_0025_0005__4_DOT_5_R_0025_0006__MILLION)
& has_r_0025_0007__of(R_0025_0005__4_DOT_5_R_0025_0006__MILLION,R_0025_0008__THOSE_R_0025_0009__SET__HYPHEN__TOP__HYPHEN__BOXES)
& r_0025_0002__think(R_0025_0002__THINK)
& has_arg1(R_0025_0002__THINK,R_0025_0004__SOLD)
& r_0025_0004__sold(R_0025_0004__SOLD)
& has_arg1(R_0025_0004__SOLD,R_0025_0005__4_DOT_5_R_0025_0006__MILLION)
& has_arg0(R_0025_0004__SOLD,R_0025_0003__WE)
& has_arg0(R_0025_0002__THINK,R_0025_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO we;{we}))
(VBD;_Tn_ sold;{sell})
(NP-OB1 (NUM 4<dot>5)
(N million;{million})
(PP (P-ROLE of;{of})
(NP (D those;{those})
(NS set_<hyphen>_top_<hyphen>_boxes;{set_top_boxes})))
(PUNC ,)
(IP-REL (NP-SBJ (RPRO which;{which}))
(BEP;_Ln_ is;{be})
(NP-PRD (ADJP (ADJR more;{more})
(PP *ICH*-178))
(NS instances;{instance})
(PP (P-ROLE of;{of})
(NP (D an;{an})
(IP-PPL (VAG;_I_ operating;{operate}))
(N system;{system})))
(PP-EPD-178 (P-ROLE than;{than})
(NP (IP-REL (NP-OB1 *T*)
(NP-SBJ (NPR Acorn;{Acorn}))
(ADVP-NIM (ADV ever;{ever}))
(VBD;_Tn_ managed;{manage})))))))))
(PUNC .))
(ID 25_a_paulfellows))