TSPC 54_a_paulfellows

54_a_paulfellows
In 2007 I finished my association with Amino set top boxes and did another company with Adrian Chritchlow and some other guys who were from the Acorn world, and we built something called AlertMe.com in Cambridge which does home gateways, which are connected to the internet, have a modem in them and through a collection of Zigbee based sensors have got a burglar alarm function.

arc(r_0054_0004__finished, r_0054_0002__2007, r_0054_0001__In_nim7).
arc(r_0054_0004__finished, r_0054_0003__I, arg0).
arc(r_0054_0004__finished, r_0054_0006__association, arg1).
arc(r_0054_0006__association, r_0054_0003__I, gen).
arc(r_0054_0006__association, r_0054_0008__Amino_r_0054_0009__set_r_0054_0010__top_r_0054_0011__boxes, r_0054_0007__with).
arc(r_0054_0012__and, r_0054_0004__finished, conj1).
arc(r_0054_0012__and, r_0054_0013__did, conj2).
arc(r_0054_0013__did, r_0054_0002__2007, r_0054_0001__In_nim7).
arc(r_0054_0013__did, r_0054_0003__I, arg0).
arc(r_0054_0013__did, r_0054_0014__another_r_0054_0015__company, arg1).
arc(r_0054_0013__did, r_0054_0019__and, r_0054_0016__with_nim49).
arc(r_0054_0019__and, r_0054_0017__Adrian_r_0054_0018__Chritchlow, conj1).
arc(r_0054_0019__and, r_0054_0020__some_r_0054_0022__guys, conj2).
arc(r_0054_0020__some_r_0054_0022__guys, r_0054_0021__other, attrib62).
arc(r_0054_0024__were, r_0054_0020__some_r_0054_0022__guys, arg0).
arc(r_0054_0024__were, r_0054_0026__the_r_0054_0027__Acorn_r_0054_0028__world, r_0054_0025__from_clr76).
arc(r_0054_0030__and, r_0054_0012__and, conj1).
arc(r_0054_0030__and, r_0054_0032__built, conj2).
arc(r_0054_0032__built, r_0054_0031__we, arg0).
arc(r_0054_0032__built, r_0054_0033__something, arg1).
arc(r_0054_0032__built, r_0054_0037__Cambridge, r_0054_0036__in_nim110).
arc(r_0054_0034__called, r_0054_0033__something, arg1).
arc(r_0054_0034__called, r_0054_0035__AlertMe_dot_com, prd).
arc(r_0054_0034__called, z_000_54_a_paulfellows_98, arg0).
arc(r_0054_0039__does, r_0054_0033__something, arg0).
arc(r_0054_0039__does, r_0054_0040__home_r_0054_0041__gateways, arg1).
arc(r_0054_0044__are, r_0054_0045__connected, scope).
arc(r_0054_0045__connected, r_0054_0040__home_r_0054_0041__gateways, arg1).
arc(r_0054_0045__connected, r_0054_0047__the_r_0054_0048__internet, r_0054_0046__to_clr142).
arc(r_0054_0045__connected, z_000_54_a_paulfellows_135, arg0).
arc(r_0054_0050__have, r_0054_0008__Amino_r_0054_0009__set_r_0054_0010__top_r_0054_0011__boxes, r_0054_0053__in_nim161).
arc(r_0054_0050__have, r_0054_0040__home_r_0054_0041__gateways, arg0).
arc(r_0054_0050__have, r_0054_0051__a_r_0054_0052__modem, arg1).
arc(r_0054_0055__and, r_0054_0044__are, conj1).
arc(r_0054_0055__and, r_0054_0050__have, conj2).
arc(r_0054_0055__and, r_0054_0063__have, conj3).
arc(r_0054_0057__a_r_0054_0058__collection, r_0054_0062__sensors, r_0054_0059__of).
arc(r_0054_0061__based, r_0054_0060__Zigbee, nim181).
arc(r_0054_0062__sensors, r_0054_0061__based, attrib180).
arc(r_0054_0063__have, r_0054_0057__a_r_0054_0058__collection, r_0054_0056__through_nim171).
arc(r_0054_0063__have, r_0054_0064__got, scope).
arc(r_0054_0064__got, r_0054_0040__home_r_0054_0041__gateways, arg0).
arc(r_0054_0064__got, r_0054_0065__a_r_0054_0066__burglar_r_0054_0067__alarm_r_0054_0068__function, arg1).

fof(formula,axiom,
    ? [R_0054_0021__OTHER,R_0054_0020__SOME_R_0054_0022__GUYS,R_0054_0026__THE_R_0054_0027__ACORN_R_0054_0028__WORLD,R_0054_0024__WERE,R_0054_0002__2007,R_0054_0003__I,R_0054_0008__AMINO_R_0054_0009__SET_R_0054_0010__TOP_R_0054_0011__BOXES,R_0054_0006__ASSOCIATION,R_0054_0004__FINISHED,R_0054_0014__ANOTHER_R_0054_0015__COMPANY,R_0054_0017__ADRIAN_R_0054_0018__CHRITCHLOW,R_0054_0019__AND,R_0054_0013__DID,R_0054_0012__AND,R_0054_0031__WE,R_0054_0033__SOMETHING,R_0054_0037__CAMBRIDGE,R_0054_0032__BUILT,R_0054_0030__AND,R_0054_0035__ALERTME_DOT_COM,Z_000_54_A_PAULFELLOWS_98,R_0054_0034__CALLED,R_0054_0040__HOME_R_0054_0041__GATEWAYS,R_0054_0039__DOES,R_0054_0047__THE_R_0054_0048__INTERNET,Z_000_54_A_PAULFELLOWS_135,R_0054_0044__ARE_R_0054_0045__CONNECTED,R_0054_0051__A_R_0054_0052__MODEM,R_0054_0050__HAVE,R_0054_0060__ZIGBEE,R_0054_0061__BASED,R_0054_0062__SENSORS,R_0054_0057__A_R_0054_0058__COLLECTION,R_0054_0065__A_R_0054_0066__BURGLAR_R_0054_0067__ALARM_R_0054_0068__FUNCTION,R_0054_0063__HAVE_R_0054_0064__GOT,R_0054_0055__AND] :
      ( r_0054_0002__2007(R_0054_0002__2007)
      & r_0054_0003__I(R_0054_0003__I)
      & r_0054_0008__Amino_r_0054_0009__set_r_0054_0010__top_r_0054_0011__boxes(R_0054_0008__AMINO_R_0054_0009__SET_R_0054_0010__TOP_R_0054_0011__BOXES)
      & r_0054_0014__another_r_0054_0015__company(R_0054_0014__ANOTHER_R_0054_0015__COMPANY)
      & r_0054_0017__Adrian_r_0054_0018__Chritchlow(R_0054_0017__ADRIAN_R_0054_0018__CHRITCHLOW)
      & r_0054_0021__other(R_0054_0021__OTHER)
      & r_0054_0026__the_r_0054_0027__Acorn_r_0054_0028__world(R_0054_0026__THE_R_0054_0027__ACORN_R_0054_0028__WORLD)
      & r_0054_0031__we(R_0054_0031__WE)
      & r_0054_0033__something(R_0054_0033__SOMETHING)
      & r_0054_0035__AlertMe_dot_com(R_0054_0035__ALERTME_DOT_COM)
      & r_0054_0037__Cambridge(R_0054_0037__CAMBRIDGE)
      & r_0054_0040__home_r_0054_0041__gateways(R_0054_0040__HOME_R_0054_0041__GATEWAYS)
      & r_0054_0047__the_r_0054_0048__internet(R_0054_0047__THE_R_0054_0048__INTERNET)
      & r_0054_0051__a_r_0054_0052__modem(R_0054_0051__A_R_0054_0052__MODEM)
      & r_0054_0060__Zigbee(R_0054_0060__ZIGBEE)
      & r_0054_0065__a_r_0054_0066__burglar_r_0054_0067__alarm_r_0054_0068__function(R_0054_0065__A_R_0054_0066__BURGLAR_R_0054_0067__ALARM_R_0054_0068__FUNCTION)
      & z_000_54_a_paulfellows_135(Z_000_54_A_PAULFELLOWS_135)
      & z_000_54_a_paulfellows_98(Z_000_54_A_PAULFELLOWS_98)
      & r_0054_0055__and(R_0054_0055__AND)
      & has_conj3(R_0054_0055__AND,R_0054_0063__HAVE_R_0054_0064__GOT)
      & r_0054_0063__have_r_0054_0064__got(R_0054_0063__HAVE_R_0054_0064__GOT)
      & has_arg1(R_0054_0063__HAVE_R_0054_0064__GOT,R_0054_0065__A_R_0054_0066__BURGLAR_R_0054_0067__ALARM_R_0054_0068__FUNCTION)
      & has_arg0(R_0054_0063__HAVE_R_0054_0064__GOT,R_0054_0040__HOME_R_0054_0041__GATEWAYS)
      & has_r_0054_0056__through_nim171(R_0054_0063__HAVE_R_0054_0064__GOT,R_0054_0057__A_R_0054_0058__COLLECTION)
      & r_0054_0057__a_r_0054_0058__collection(R_0054_0057__A_R_0054_0058__COLLECTION)
      & has_r_0054_0059__of(R_0054_0057__A_R_0054_0058__COLLECTION,R_0054_0062__SENSORS)
      & r_0054_0062__sensors(R_0054_0062__SENSORS)
      & has_attrib180(R_0054_0062__SENSORS,R_0054_0061__BASED)
      & r_0054_0061__based(R_0054_0061__BASED)
      & has_nim181(R_0054_0061__BASED,R_0054_0060__ZIGBEE)
      & has_conj2(R_0054_0055__AND,R_0054_0050__HAVE)
      & r_0054_0050__have(R_0054_0050__HAVE)
      & has_arg1(R_0054_0050__HAVE,R_0054_0051__A_R_0054_0052__MODEM)
      & has_arg0(R_0054_0050__HAVE,R_0054_0040__HOME_R_0054_0041__GATEWAYS)
      & has_r_0054_0053__in_nim161(R_0054_0050__HAVE,R_0054_0008__AMINO_R_0054_0009__SET_R_0054_0010__TOP_R_0054_0011__BOXES)
      & has_conj1(R_0054_0055__AND,R_0054_0044__ARE_R_0054_0045__CONNECTED)
      & r_0054_0044__are_r_0054_0045__connected(R_0054_0044__ARE_R_0054_0045__CONNECTED)
      & has_arg0(R_0054_0044__ARE_R_0054_0045__CONNECTED,Z_000_54_A_PAULFELLOWS_135)
      & has_r_0054_0046__to_clr142(R_0054_0044__ARE_R_0054_0045__CONNECTED,R_0054_0047__THE_R_0054_0048__INTERNET)
      & has_arg1(R_0054_0044__ARE_R_0054_0045__CONNECTED,R_0054_0040__HOME_R_0054_0041__GATEWAYS)
      & r_0054_0039__does(R_0054_0039__DOES)
      & has_arg1(R_0054_0039__DOES,R_0054_0040__HOME_R_0054_0041__GATEWAYS)
      & has_arg0(R_0054_0039__DOES,R_0054_0033__SOMETHING)
      & r_0054_0034__called(R_0054_0034__CALLED)
      & has_arg0(R_0054_0034__CALLED,Z_000_54_A_PAULFELLOWS_98)
      & has_prd(R_0054_0034__CALLED,R_0054_0035__ALERTME_DOT_COM)
      & has_arg1(R_0054_0034__CALLED,R_0054_0033__SOMETHING)
      & r_0054_0030__and(R_0054_0030__AND)
      & has_conj2(R_0054_0030__AND,R_0054_0032__BUILT)
      & r_0054_0032__built(R_0054_0032__BUILT)
      & has_r_0054_0036__in_nim110(R_0054_0032__BUILT,R_0054_0037__CAMBRIDGE)
      & has_arg1(R_0054_0032__BUILT,R_0054_0033__SOMETHING)
      & has_arg0(R_0054_0032__BUILT,R_0054_0031__WE)
      & has_conj1(R_0054_0030__AND,R_0054_0012__AND)
      & r_0054_0012__and(R_0054_0012__AND)
      & has_conj2(R_0054_0012__AND,R_0054_0013__DID)
      & r_0054_0013__did(R_0054_0013__DID)
      & has_r_0054_0016__with_nim49(R_0054_0013__DID,R_0054_0019__AND)
      & r_0054_0019__and(R_0054_0019__AND)
      & has_conj2(R_0054_0019__AND,R_0054_0020__SOME_R_0054_0022__GUYS)
      & r_0054_0020__some_r_0054_0022__guys(R_0054_0020__SOME_R_0054_0022__GUYS)
      & has_attrib62(R_0054_0020__SOME_R_0054_0022__GUYS,R_0054_0021__OTHER)
      & has_conj1(R_0054_0019__AND,R_0054_0017__ADRIAN_R_0054_0018__CHRITCHLOW)
      & has_arg1(R_0054_0013__DID,R_0054_0014__ANOTHER_R_0054_0015__COMPANY)
      & has_arg0(R_0054_0013__DID,R_0054_0003__I)
      & has_r_0054_0001__In_nim7(R_0054_0013__DID,R_0054_0002__2007)
      & has_conj1(R_0054_0012__AND,R_0054_0004__FINISHED)
      & r_0054_0004__finished(R_0054_0004__FINISHED)
      & has_arg1(R_0054_0004__FINISHED,R_0054_0006__ASSOCIATION)
      & r_0054_0006__association(R_0054_0006__ASSOCIATION)
      & has_r_0054_0007__with(R_0054_0006__ASSOCIATION,R_0054_0008__AMINO_R_0054_0009__SET_R_0054_0010__TOP_R_0054_0011__BOXES)
      & has_gen(R_0054_0006__ASSOCIATION,R_0054_0003__I)
      & has_arg0(R_0054_0004__FINISHED,R_0054_0003__I)
      & has_r_0054_0001__In_nim7(R_0054_0004__FINISHED,R_0054_0002__2007)
      & r_0054_0024__were(R_0054_0024__WERE)
      & has_r_0054_0025__from_clr76(R_0054_0024__WERE,R_0054_0026__THE_R_0054_0027__ACORN_R_0054_0028__WORLD)
      & has_arg0(R_0054_0024__WERE,R_0054_0020__SOME_R_0054_0022__GUYS) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (NPR 2007)))
                      (NP-SBJ (PRO I;{I}))
                      (ILYR (ILYR (VBD;__ finished;{finish})
                                  (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                          (N association;{association})
                                          (PP (P-ROLE with;{with})
                                              (NP (NPR Amino;{Amino})
                                                  (N set;{set})
                                                  (N top;{top})
                                                  (NS boxes;{box})))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (DOD;_Tn_ did;{do})
                                         (NP-OB1 (D another;{another})
                                                 (N company;{company}))
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (NLYR (NLYR (NPR Adrian;{Adrian})
                                                                 (NPR Chritchlow;{Chritchlow}))
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (D some;{some})
                                                                        (ADJP (ADJ other;{other}))
                                                                        (NS guys;{guy})
                                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                (BED;_Ipr_ were;{be[from]})
                                                                                (PP-CLR (P-ROLE from;{from})
                                                                                        (NP (D the;{the})
                                                                                            (NPR Acorn;{Acorn})
                                                                                            (N world;{world})))))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO we;{we}))
                             (VBD;__ built;{build})
                             (NP-OB1 (D;_nphd_ something;{something})
                                     (IP-PPL (NP-LGS *)
                                             (VVN;_Cn.n_ called;{call})
                                             (NP-PRD (NPR AlertMe<dot>com)))
                                     (IP-REL *ICH*-173))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (NPR Cambridge;{Cambridge})))
                             (IP-REL-EPD-173 (NP-SBJ (RPRO which;{which}))
                                             (DOP;_Tn_ does;{do})
                                             (NP-OB1 (N home;{home})
                                                     (NS gateways;{gateway})
                                                     (PUNC ,)
                                                     (IP-REL (NP-SBJ (RPRO which;{which}))
                                                             (ILYR (ILYR (BEP;_cat_VePASS_ are;{be})
                                                                         (IP-PPL-CAT (NP-LGS *)
                                                                                     (VVN;__ connected;{connect})
                                                                                     (PP-CLR (P-ROLE to;{to})
                                                                                             (NP (D the;{the})
                                                                                                 (N internet;{internet})))))
                                                                   (PUNC ,)
                                                                   (CONJP (ILYR (HVP;_Tn_ have;{have})
                                                                                (NP-OB1 (D a;{a})
                                                                                        (N modem;{modem}))
                                                                                (PP-NIM (P-ROLE in;{in})
                                                                                        (NP (PRO them;{they})))))
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (PP-NIM (P-ROLE through;{through})
                                                                                        (NP (D a;{a})
                                                                                            (N collection;{collection})
                                                                                            (PP (P-ROLE of;{of})
                                                                                                (NP (ADJP (NP (NPR Zigbee;{Zigbee}))
                                                                                                          (ADJ based;{based}))
                                                                                                    (NS sensors;{sensor})))))
                                                                                (HVP;_cat_Ve_ have;{have})
                                                                                (IP-PPL-CAT (VVN;__ got;{get})
                                                                                            (NP-OB1 (D a;{a})
                                                                                                    (N burglar;{burglar})
                                                                                                    (N alarm;{alarm})
                                                                                                    (N function;{function}))))))))))))
          (PUNC .))
  (ID 54_a_paulfellows))