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.
( (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))
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_0025_5008,r_0025_0019__than).
arc(r_0025_0014__instances,r_0025_0013__more,attrib).
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,inv_arg0).
arc(r_0025_0022__managed,r_0025_0020__Acorn,arg0).
arc(r_0025_0022__managed,r_0025_0021__ever,nim).
arc(r_0025_0022__managed,z_0025_5008,inv_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,R_0025_0020__ACORN,R_0025_0021__EVER,R_0025_0022__MANAGED,Z_0025_5008,R_0025_0013__MORE,R_0025_0017__OPERATING,R_0025_0016__AN_R_0025_0018__SYSTEM,R_0025_0014__INSTANCES,R_0025_0012__IS] :
( 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_0017__operating(R_0025_0017__OPERATING)
& r_0025_0020__Acorn(R_0025_0020__ACORN)
& r_0025_0021__ever(R_0025_0021__EVER)
& 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)
& r_0025_0016__an_r_0025_0018__system(R_0025_0016__AN_R_0025_0018__SYSTEM)
& has_inv_arg0(R_0025_0016__AN_R_0025_0018__SYSTEM,R_0025_0017__OPERATING)
& has_attrib(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_0025_5008)
& z_0025_5008(Z_0025_5008)
& has_inv_arg1(Z_0025_5008,R_0025_0022__MANAGED)
& r_0025_0022__managed(R_0025_0022__MANAGED)
& has_nim(R_0025_0022__MANAGED,R_0025_0021__EVER)
& has_arg0(R_0025_0022__MANAGED,R_0025_0020__ACORN)
& 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) ) ).