Context                Previous, Next                Top


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.

%3 r_0025_0002__think think r_0025_0001__I I r_0025_0002__think->r_0025_0001__I [arg0] r_0025_0004__sold sold r_0025_0002__think->r_0025_0004__sold [arg1] r_0025_0003__we we r_0025_0004__sold->r_0025_0003__we [arg0] r_0025_0005__4_dot_5_r_0025_0006__million 4.5 million r_0025_0004__sold->r_0025_0005__4_dot_5_r_0025_0006__million [arg1] r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes those set-top-boxes r_0025_0005__4_dot_5_r_0025_0006__million->r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes of r_0025_0012__is is r_0025_0012__is->r_0025_0005__4_dot_5_r_0025_0006__million [arg0] r_0025_0014__instances instances r_0025_0012__is->r_0025_0014__instances [prd] r_0025_0013__more more r_0025_0014__instances->r_0025_0013__more [attrib] r_0025_0016__an_r_0025_0018__system an system r_0025_0014__instances->r_0025_0016__an_r_0025_0018__system of z_000_25_a_paulfellows_57 r_0025_0013__more->z_000_25_a_paulfellows_57 than r_0025_0017__operating operating r_0025_0017__operating->r_0025_0016__an_r_0025_0018__system [arg0] r_0025_0022__managed managed r_0025_0022__managed->z_000_25_a_paulfellows_57 [arg1] r_0025_0020__Acorn Acorn r_0025_0022__managed->r_0025_0020__Acorn [arg0] r_0025_0021__ever ever r_0025_0022__managed->r_0025_0021__ever [nim] 
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).


%3 r_0025_0022__managed managed z_000_25_a_paulfellows_57 r_0025_0022__managed->z_000_25_a_paulfellows_57 [arg1] r_0025_0021__ever ever r_0025_0022__managed->r_0025_0021__ever [nim] r_0025_0020__Acorn Acorn r_0025_0022__managed->r_0025_0020__Acorn [arg0] r_0025_0017__operating operating r_0025_0016__an_r_0025_0018__system an system r_0025_0017__operating->r_0025_0016__an_r_0025_0018__system [arg0] r_0025_0014__instances instances r_0025_0014__instances->r_0025_0016__an_r_0025_0018__system of r_0025_0013__more more r_0025_0014__instances->r_0025_0013__more [attrib] r_0025_0013__more->z_000_25_a_paulfellows_57 than r_0025_0012__is is r_0025_0012__is->r_0025_0014__instances [prd] r_0025_0005__4_dot_5_r_0025_0006__million 4.5 million r_0025_0012__is->r_0025_0005__4_dot_5_r_0025_0006__million [arg0] r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes those set-top-boxes r_0025_0005__4_dot_5_r_0025_0006__million->r_0025_0008__those_r_0025_0009__set__hyphen__top__hyphen__boxes of r_0025_0004__sold sold r_0025_0004__sold->r_0025_0005__4_dot_5_r_0025_0006__million [arg1] r_0025_0003__we we r_0025_0004__sold->r_0025_0003__we [arg0] r_0025_0002__think think r_0025_0002__think->r_0025_0004__sold [arg1] r_0025_0001__I I r_0025_0002__think->r_0025_0001__I [arg0] 
fof(formula,axiom,
    ? [R_25_2_THINK,R_25_1_I,R_25_4_SOLD,R_25_3_WE,R_25_12_IS,R_25_5_4_DOT_5_MILLION,R_25_8_THOSE_SET_HYPHEN_TOP_HYPHEN_BOXES,R_25_14_INSTANCES,R_25_13_MORE,R_25_17_OPERATING,R_25_16_AN_SYSTEM,R_25_22_MANAGED,R_25_20_ACORN,Z_25_A_PAULFELLOWS_57,R_25_21_EVER] :
      ( i(R_25_1_I)
      & we(R_25_3_WE)
      & those_set_hyphen_top_hyphen_boxes(R_25_8_THOSE_SET_HYPHEN_TOP_HYPHEN_BOXES)
      & an_system(R_25_16_AN_SYSTEM)
      & acorn(R_25_20_ACORN)
      & ever(R_25_21_EVER)
      & think(R_25_2_THINK,R_25_1_I,R_25_4_SOLD)
      & sold(R_25_4_SOLD,R_25_3_WE,R_25_5_4_DOT_5_MILLION)
      & 4_dot_5_million(R_25_5_4_DOT_5_MILLION)
      & of(R_25_5_4_DOT_5_MILLION,R_25_8_THOSE_SET_HYPHEN_TOP_HYPHEN_BOXES)
      & is(R_25_12_IS,R_25_5_4_DOT_5_MILLION,R_25_14_INSTANCES)
      & instances(R_25_14_INSTANCES)
      & attrib36(R_25_14_INSTANCES,R_25_13_MORE)
      & more(R_25_13_MORE)
      & than(R_25_13_MORE,Z_25_A_PAULFELLOWS_57)
      & of(R_25_14_INSTANCES,R_25_16_AN_SYSTEM)
      & operating(R_25_17_OPERATING,R_25_16_AN_SYSTEM)
      & managed(R_25_22_MANAGED,R_25_20_ACORN,Z_25_A_PAULFELLOWS_57)
      & nim64(R_25_22_MANAGED,R_25_21_EVER) ) ).


n25_a_paulfellows n25_a_paulfellows__1_1_1_1 I n25_a_paulfellows__1_2_1 think n25_a_paulfellows__1_3_1_1_1_1 we n25_a_paulfellows__1_3_1_2_1 sold n25_a_paulfellows__1_3_1_3_1_1 4.5 n25_a_paulfellows__1_3_1_3_2_1 million n25_a_paulfellows__1_3_1_3_3_1_1 of n25_a_paulfellows__1_3_1_3_3_2_1_1 those n25_a_paulfellows__1_3_1_3_3_2_2_1 set-top-boxes n25_a_paulfellows__1_3_1_3_4_1 , n25_a_paulfellows__1_3_1_3_5_1_1_1 which n25_a_paulfellows__1_3_1_3_5_2_1 is n25_a_paulfellows__1_3_1_3_5_3_1_1_1 more n25_a_paulfellows__1_3_1_3_5_3_1_2_1 *ICH*-178 n25_a_paulfellows__1_3_1_3_5_3_2_1 instances n25_a_paulfellows__1_3_1_3_5_3_3_1_1 of n25_a_paulfellows__1_3_1_3_5_3_3_2_1_1 an n25_a_paulfellows__1_3_1_3_5_3_3_2_2_1_1 operating n25_a_paulfellows__1_3_1_3_5_3_3_2_3_1 system n25_a_paulfellows__1_3_1_3_5_3_4_1_1 than n25_a_paulfellows__1_3_1_3_5_3_4_2_1_1_1 *T* n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2_1_1 Acorn n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3_1_1 ever n25_a_paulfellows__1_3_1_3_5_3_4_2_1_4_1 managed n25_a_paulfellows__1_4_1 . n25_a_paulfellows__1 IP-MAT n25_a_paulfellows__1_1 NP-SBJ n25_a_paulfellows__1->n25_a_paulfellows__1_1 n25_a_paulfellows__1_2 VBP;_Tf_ n25_a_paulfellows__1->n25_a_paulfellows__1_2 n25_a_paulfellows__1_3 CP-THT-OB1 n25_a_paulfellows__1->n25_a_paulfellows__1_3 n25_a_paulfellows__1_4 PUNC n25_a_paulfellows__1->n25_a_paulfellows__1_4 n25_a_paulfellows__1_1_1 PRO n25_a_paulfellows__1_1->n25_a_paulfellows__1_1_1 n25_a_paulfellows__1_1_1->n25_a_paulfellows__1_1_1_1 n25_a_paulfellows__1_2->n25_a_paulfellows__1_2_1 n25_a_paulfellows__1_3_1 IP-SUB n25_a_paulfellows__1_3->n25_a_paulfellows__1_3_1 n25_a_paulfellows__1_3_1_1 NP-SBJ n25_a_paulfellows__1_3_1->n25_a_paulfellows__1_3_1_1 n25_a_paulfellows__1_3_1_2 VBD;_Tn_ n25_a_paulfellows__1_3_1->n25_a_paulfellows__1_3_1_2 n25_a_paulfellows__1_3_1_3 NP-OB1 n25_a_paulfellows__1_3_1->n25_a_paulfellows__1_3_1_3 n25_a_paulfellows__1_3_1_1_1 PRO n25_a_paulfellows__1_3_1_1->n25_a_paulfellows__1_3_1_1_1 n25_a_paulfellows__1_3_1_1_1->n25_a_paulfellows__1_3_1_1_1_1 n25_a_paulfellows__1_3_1_2->n25_a_paulfellows__1_3_1_2_1 n25_a_paulfellows__1_3_1_3_1 NUM n25_a_paulfellows__1_3_1_3->n25_a_paulfellows__1_3_1_3_1 n25_a_paulfellows__1_3_1_3_2 N n25_a_paulfellows__1_3_1_3->n25_a_paulfellows__1_3_1_3_2 n25_a_paulfellows__1_3_1_3_3 PP n25_a_paulfellows__1_3_1_3->n25_a_paulfellows__1_3_1_3_3 n25_a_paulfellows__1_3_1_3_4 PUNC n25_a_paulfellows__1_3_1_3->n25_a_paulfellows__1_3_1_3_4 n25_a_paulfellows__1_3_1_3_5 IP-REL n25_a_paulfellows__1_3_1_3->n25_a_paulfellows__1_3_1_3_5 n25_a_paulfellows__1_3_1_3_1->n25_a_paulfellows__1_3_1_3_1_1 n25_a_paulfellows__1_3_1_3_2->n25_a_paulfellows__1_3_1_3_2_1 n25_a_paulfellows__1_3_1_3_3_1 P-ROLE n25_a_paulfellows__1_3_1_3_3->n25_a_paulfellows__1_3_1_3_3_1 n25_a_paulfellows__1_3_1_3_3_2 NP n25_a_paulfellows__1_3_1_3_3->n25_a_paulfellows__1_3_1_3_3_2 n25_a_paulfellows__1_3_1_3_3_1->n25_a_paulfellows__1_3_1_3_3_1_1 n25_a_paulfellows__1_3_1_3_3_2_1 D n25_a_paulfellows__1_3_1_3_3_2->n25_a_paulfellows__1_3_1_3_3_2_1 n25_a_paulfellows__1_3_1_3_3_2_2 NS n25_a_paulfellows__1_3_1_3_3_2->n25_a_paulfellows__1_3_1_3_3_2_2 n25_a_paulfellows__1_3_1_3_3_2_1->n25_a_paulfellows__1_3_1_3_3_2_1_1 n25_a_paulfellows__1_3_1_3_3_2_2->n25_a_paulfellows__1_3_1_3_3_2_2_1 n25_a_paulfellows__1_3_1_3_4->n25_a_paulfellows__1_3_1_3_4_1 n25_a_paulfellows__1_3_1_3_5_1 NP-SBJ n25_a_paulfellows__1_3_1_3_5->n25_a_paulfellows__1_3_1_3_5_1 n25_a_paulfellows__1_3_1_3_5_2 BEP;_Ln_ n25_a_paulfellows__1_3_1_3_5->n25_a_paulfellows__1_3_1_3_5_2 n25_a_paulfellows__1_3_1_3_5_3 NP-PRD n25_a_paulfellows__1_3_1_3_5->n25_a_paulfellows__1_3_1_3_5_3 n25_a_paulfellows__1_3_1_3_5_1_1 RPRO n25_a_paulfellows__1_3_1_3_5_1->n25_a_paulfellows__1_3_1_3_5_1_1 n25_a_paulfellows__1_3_1_3_5_1_1->n25_a_paulfellows__1_3_1_3_5_1_1_1 n25_a_paulfellows__1_3_1_3_5_2->n25_a_paulfellows__1_3_1_3_5_2_1 n25_a_paulfellows__1_3_1_3_5_3_1 ADJP n25_a_paulfellows__1_3_1_3_5_3->n25_a_paulfellows__1_3_1_3_5_3_1 n25_a_paulfellows__1_3_1_3_5_3_2 NS n25_a_paulfellows__1_3_1_3_5_3->n25_a_paulfellows__1_3_1_3_5_3_2 n25_a_paulfellows__1_3_1_3_5_3_3 PP n25_a_paulfellows__1_3_1_3_5_3->n25_a_paulfellows__1_3_1_3_5_3_3 n25_a_paulfellows__1_3_1_3_5_3_4 PP-EPD-178 n25_a_paulfellows__1_3_1_3_5_3->n25_a_paulfellows__1_3_1_3_5_3_4 n25_a_paulfellows__1_3_1_3_5_3_1_1 ADJR n25_a_paulfellows__1_3_1_3_5_3_1->n25_a_paulfellows__1_3_1_3_5_3_1_1 n25_a_paulfellows__1_3_1_3_5_3_1_2 PP n25_a_paulfellows__1_3_1_3_5_3_1->n25_a_paulfellows__1_3_1_3_5_3_1_2 n25_a_paulfellows__1_3_1_3_5_3_1_1->n25_a_paulfellows__1_3_1_3_5_3_1_1_1 n25_a_paulfellows__1_3_1_3_5_3_1_2->n25_a_paulfellows__1_3_1_3_5_3_1_2_1 n25_a_paulfellows__1_3_1_3_5_3_2->n25_a_paulfellows__1_3_1_3_5_3_2_1 n25_a_paulfellows__1_3_1_3_5_3_3_1 P-ROLE n25_a_paulfellows__1_3_1_3_5_3_3->n25_a_paulfellows__1_3_1_3_5_3_3_1 n25_a_paulfellows__1_3_1_3_5_3_3_2 NP n25_a_paulfellows__1_3_1_3_5_3_3->n25_a_paulfellows__1_3_1_3_5_3_3_2 n25_a_paulfellows__1_3_1_3_5_3_3_1->n25_a_paulfellows__1_3_1_3_5_3_3_1_1 n25_a_paulfellows__1_3_1_3_5_3_3_2_1 D n25_a_paulfellows__1_3_1_3_5_3_3_2->n25_a_paulfellows__1_3_1_3_5_3_3_2_1 n25_a_paulfellows__1_3_1_3_5_3_3_2_2 IP-PPL n25_a_paulfellows__1_3_1_3_5_3_3_2->n25_a_paulfellows__1_3_1_3_5_3_3_2_2 n25_a_paulfellows__1_3_1_3_5_3_3_2_3 N n25_a_paulfellows__1_3_1_3_5_3_3_2->n25_a_paulfellows__1_3_1_3_5_3_3_2_3 n25_a_paulfellows__1_3_1_3_5_3_3_2_1->n25_a_paulfellows__1_3_1_3_5_3_3_2_1_1 n25_a_paulfellows__1_3_1_3_5_3_3_2_2_1 VAG;_I_ n25_a_paulfellows__1_3_1_3_5_3_3_2_2->n25_a_paulfellows__1_3_1_3_5_3_3_2_2_1 n25_a_paulfellows__1_3_1_3_5_3_3_2_2_1->n25_a_paulfellows__1_3_1_3_5_3_3_2_2_1_1 n25_a_paulfellows__1_3_1_3_5_3_3_2_3->n25_a_paulfellows__1_3_1_3_5_3_3_2_3_1 n25_a_paulfellows__1_3_1_3_5_3_4_1 P-ROLE n25_a_paulfellows__1_3_1_3_5_3_4->n25_a_paulfellows__1_3_1_3_5_3_4_1 n25_a_paulfellows__1_3_1_3_5_3_4_2 NP n25_a_paulfellows__1_3_1_3_5_3_4->n25_a_paulfellows__1_3_1_3_5_3_4_2 n25_a_paulfellows__1_3_1_3_5_3_4_1->n25_a_paulfellows__1_3_1_3_5_3_4_1_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1 IP-REL n25_a_paulfellows__1_3_1_3_5_3_4_2->n25_a_paulfellows__1_3_1_3_5_3_4_2_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_1 NP-OB1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2 NP-SBJ n25_a_paulfellows__1_3_1_3_5_3_4_2_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3 ADVP-NIM n25_a_paulfellows__1_3_1_3_5_3_4_2_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_4 VBD;_Tn_ n25_a_paulfellows__1_3_1_3_5_3_4_2_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_4 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_1_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2_1 NPR n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_2_1_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3_1 ADV n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3_1->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_3_1_1 n25_a_paulfellows__1_3_1_3_5_3_4_2_1_4->n25_a_paulfellows__1_3_1_3_5_3_4_2_1_4_1 n25_a_paulfellows__1_4->n25_a_paulfellows__1_4_1 
( (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))