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_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] 
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_4 I n25_a_paulfellows_6 think n25_a_paulfellows_11 we n25_a_paulfellows_13 sold n25_a_paulfellows_16 4.5 n25_a_paulfellows_18 million n25_a_paulfellows_21 of n25_a_paulfellows_24 those n25_a_paulfellows_26 set-top-boxes n25_a_paulfellows_28 , n25_a_paulfellows_32 which n25_a_paulfellows_34 is n25_a_paulfellows_38 more n25_a_paulfellows_40 *ICH*-178 n25_a_paulfellows_42 instances n25_a_paulfellows_45 of n25_a_paulfellows_48 an n25_a_paulfellows_51 operating n25_a_paulfellows_53 system n25_a_paulfellows_56 than n25_a_paulfellows_60 *T* n25_a_paulfellows_63 Acorn n25_a_paulfellows_66 ever n25_a_paulfellows_68 managed n25_a_paulfellows_70 . n25_a_paulfellows_1 IP-MAT n25_a_paulfellows_2 NP-SBJ n25_a_paulfellows_1->n25_a_paulfellows_2 n25_a_paulfellows_5 VBP;_Tf_ n25_a_paulfellows_1->n25_a_paulfellows_5 n25_a_paulfellows_7 CP-THT-OB1 n25_a_paulfellows_1->n25_a_paulfellows_7 n25_a_paulfellows_69 PUNC n25_a_paulfellows_1->n25_a_paulfellows_69 n25_a_paulfellows_3 PRO n25_a_paulfellows_2->n25_a_paulfellows_3 n25_a_paulfellows_3->n25_a_paulfellows_4 n25_a_paulfellows_5->n25_a_paulfellows_6 n25_a_paulfellows_8 IP-SUB n25_a_paulfellows_7->n25_a_paulfellows_8 n25_a_paulfellows_9 NP-SBJ n25_a_paulfellows_8->n25_a_paulfellows_9 n25_a_paulfellows_12 VBD;_Tn_ n25_a_paulfellows_8->n25_a_paulfellows_12 n25_a_paulfellows_14 NP-OB1 n25_a_paulfellows_8->n25_a_paulfellows_14 n25_a_paulfellows_10 PRO n25_a_paulfellows_9->n25_a_paulfellows_10 n25_a_paulfellows_10->n25_a_paulfellows_11 n25_a_paulfellows_12->n25_a_paulfellows_13 n25_a_paulfellows_15 NUM n25_a_paulfellows_14->n25_a_paulfellows_15 n25_a_paulfellows_17 N n25_a_paulfellows_14->n25_a_paulfellows_17 n25_a_paulfellows_19 PP n25_a_paulfellows_14->n25_a_paulfellows_19 n25_a_paulfellows_27 PUNC n25_a_paulfellows_14->n25_a_paulfellows_27 n25_a_paulfellows_29 IP-REL n25_a_paulfellows_14->n25_a_paulfellows_29 n25_a_paulfellows_15->n25_a_paulfellows_16 n25_a_paulfellows_17->n25_a_paulfellows_18 n25_a_paulfellows_20 P-ROLE n25_a_paulfellows_19->n25_a_paulfellows_20 n25_a_paulfellows_22 NP n25_a_paulfellows_19->n25_a_paulfellows_22 n25_a_paulfellows_20->n25_a_paulfellows_21 n25_a_paulfellows_23 D n25_a_paulfellows_22->n25_a_paulfellows_23 n25_a_paulfellows_25 NS n25_a_paulfellows_22->n25_a_paulfellows_25 n25_a_paulfellows_23->n25_a_paulfellows_24 n25_a_paulfellows_25->n25_a_paulfellows_26 n25_a_paulfellows_27->n25_a_paulfellows_28 n25_a_paulfellows_30 NP-SBJ n25_a_paulfellows_29->n25_a_paulfellows_30 n25_a_paulfellows_33 BEP;_Ln_ n25_a_paulfellows_29->n25_a_paulfellows_33 n25_a_paulfellows_35 NP-PRD n25_a_paulfellows_29->n25_a_paulfellows_35 n25_a_paulfellows_31 RPRO n25_a_paulfellows_30->n25_a_paulfellows_31 n25_a_paulfellows_31->n25_a_paulfellows_32 n25_a_paulfellows_33->n25_a_paulfellows_34 n25_a_paulfellows_36 ADJP n25_a_paulfellows_35->n25_a_paulfellows_36 n25_a_paulfellows_41 NS n25_a_paulfellows_35->n25_a_paulfellows_41 n25_a_paulfellows_43 PP n25_a_paulfellows_35->n25_a_paulfellows_43 n25_a_paulfellows_54 PP-EPD-178 n25_a_paulfellows_35->n25_a_paulfellows_54 n25_a_paulfellows_37 ADJR n25_a_paulfellows_36->n25_a_paulfellows_37 n25_a_paulfellows_39 PP n25_a_paulfellows_36->n25_a_paulfellows_39 n25_a_paulfellows_37->n25_a_paulfellows_38 n25_a_paulfellows_39->n25_a_paulfellows_40 n25_a_paulfellows_41->n25_a_paulfellows_42 n25_a_paulfellows_44 P-ROLE n25_a_paulfellows_43->n25_a_paulfellows_44 n25_a_paulfellows_46 NP n25_a_paulfellows_43->n25_a_paulfellows_46 n25_a_paulfellows_44->n25_a_paulfellows_45 n25_a_paulfellows_47 D n25_a_paulfellows_46->n25_a_paulfellows_47 n25_a_paulfellows_49 IP-PPL n25_a_paulfellows_46->n25_a_paulfellows_49 n25_a_paulfellows_52 N n25_a_paulfellows_46->n25_a_paulfellows_52 n25_a_paulfellows_47->n25_a_paulfellows_48 n25_a_paulfellows_50 VAG;_I_ n25_a_paulfellows_49->n25_a_paulfellows_50 n25_a_paulfellows_50->n25_a_paulfellows_51 n25_a_paulfellows_52->n25_a_paulfellows_53 n25_a_paulfellows_55 P-ROLE n25_a_paulfellows_54->n25_a_paulfellows_55 n25_a_paulfellows_57 NP n25_a_paulfellows_54->n25_a_paulfellows_57 n25_a_paulfellows_55->n25_a_paulfellows_56 n25_a_paulfellows_58 IP-REL n25_a_paulfellows_57->n25_a_paulfellows_58 n25_a_paulfellows_59 NP-OB1 n25_a_paulfellows_58->n25_a_paulfellows_59 n25_a_paulfellows_61 NP-SBJ n25_a_paulfellows_58->n25_a_paulfellows_61 n25_a_paulfellows_64 ADVP-NIM n25_a_paulfellows_58->n25_a_paulfellows_64 n25_a_paulfellows_67 VBD;_Tn_ n25_a_paulfellows_58->n25_a_paulfellows_67 n25_a_paulfellows_59->n25_a_paulfellows_60 n25_a_paulfellows_62 NPR n25_a_paulfellows_61->n25_a_paulfellows_62 n25_a_paulfellows_62->n25_a_paulfellows_63 n25_a_paulfellows_65 ADV n25_a_paulfellows_64->n25_a_paulfellows_65 n25_a_paulfellows_65->n25_a_paulfellows_66 n25_a_paulfellows_67->n25_a_paulfellows_68 n25_a_paulfellows_69->n25_a_paulfellows_70 
( (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))