TSPC 53_a_paulfellows

53_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.

( (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 53_a_paulfellows))

arc(r_0053_0004__finished,r_0053_0002__2007,r_0053_0001__In__nim).
arc(r_0053_0004__finished,r_0053_0003__I,arg0).
arc(r_0053_0004__finished,r_0053_0006__association,arg1).
arc(r_0053_0006__association,r_0053_0003__I,gen).
arc(r_0053_0006__association,r_0053_0008__Amino_r_0053_0009__set_r_0053_0010__top_r_0053_0011__boxes,r_0053_0007__with).
arc(r_0053_0012__and,r_0053_0004__finished,conj1).
arc(r_0053_0012__and,r_0053_0013__did,conj2).
arc(r_0053_0013__did,r_0053_0002__2007,r_0053_0001__In__nim).
arc(r_0053_0013__did,r_0053_0003__I,arg0).
arc(r_0053_0013__did,r_0053_0014__another_r_0053_0015__company,arg1).
arc(r_0053_0013__did,r_0053_0019__and,r_0053_0016__with__nim).
arc(r_0053_0019__and,r_0053_0017__Adrian_r_0053_0018__Chritchlow,conj1).
arc(r_0053_0019__and,r_0053_0020__some_r_0053_0022__guys,conj2).
arc(r_0053_0020__some_r_0053_0022__guys,r_0053_0021__other,attrib).
arc(r_0053_0024__were_r_0053_0025__from,r_0053_0020__some_r_0053_0022__guys,arg0).
arc(r_0053_0024__were_r_0053_0025__from,r_0053_0026__the_r_0053_0027__Acorn_r_0053_0028__world,arg1).
arc(r_0053_0030__and,r_0053_0012__and,conj1).
arc(r_0053_0030__and,r_0053_0032__built,conj2).
arc(r_0053_0032__built,r_0053_0031__we,arg0).
arc(r_0053_0032__built,r_0053_0033__something,arg1).
arc(r_0053_0032__built,r_0053_0037__Cambridge,r_0053_0036__in__nim).
arc(r_0053_0034__called,r_0053_0033__something,inv_arg1).
arc(r_0053_0034__called,r_0053_0035__AlertMe_dot_com,prd).
arc(r_0053_0034__called,z_0053_5013___star_,arg0).
arc(r_0053_0039__does,r_0053_0033__something,arg0).
arc(r_0053_0039__does,r_0053_0040__home_r_0053_0041__gateways,arg1).
arc(r_0053_0044__are,r_0053_0045__connected,scope).
arc(r_0053_0045__connected,r_0053_0040__home_r_0053_0041__gateways,arg1).
arc(r_0053_0045__connected,r_0053_0047__the_r_0053_0048__internet,r_0053_0046__to__clr).
arc(r_0053_0045__connected,z_0053_5018___star_,arg0).
arc(r_0053_0050__have,r_0053_0040__home_r_0053_0041__gateways,arg0).
arc(r_0053_0050__have,r_0053_0051__a_r_0053_0052__modem,arg1).
arc(r_0053_0050__have,r_0053_0054__them,r_0053_0053__in__nim).
arc(r_0053_0055__and,r_0053_0044__are,conj1).
arc(r_0053_0055__and,r_0053_0050__have,conj2).
arc(r_0053_0055__and,r_0053_0063__have,conj3).
arc(r_0053_0057__a_r_0053_0058__collection,r_0053_0062__sensors,r_0053_0059__of).
arc(r_0053_0061__based,r_0053_0060__Zigbee,nim).
arc(r_0053_0062__sensors,r_0053_0061__based,attrib).
arc(r_0053_0063__have,r_0053_0057__a_r_0053_0058__collection,r_0053_0056__through__nim).
arc(r_0053_0063__have,r_0053_0064__got,scope).
arc(r_0053_0064__got,r_0053_0040__home_r_0053_0041__gateways,arg0).
arc(r_0053_0064__got,r_0053_0065__a_r_0053_0066__burglar_r_0053_0067__alarm_r_0053_0068__function,arg1).

fof(formula,axiom,
    ? [R_0053_0021__OTHER,R_0053_0020__SOME_R_0053_0022__GUYS,R_0053_0026__THE_R_0053_0027__ACORN_R_0053_0028__WORLD,R_0053_0024__WERE_R_0053_0025__FROM,R_0053_0002__2007,R_0053_0003__I,R_0053_0008__AMINO_R_0053_0009__SET_R_0053_0010__TOP_R_0053_0011__BOXES,R_0053_0006__ASSOCIATION,R_0053_0004__FINISHED,R_0053_0014__ANOTHER_R_0053_0015__COMPANY,R_0053_0017__ADRIAN_R_0053_0018__CHRITCHLOW,R_0053_0019__AND,R_0053_0013__DID,R_0053_0012__AND,R_0053_0031__WE,R_0053_0035__ALERTME_DOT_COM,Z_0053_5013___STAR_,R_0053_0034__CALLED,R_0053_0033__SOMETHING,R_0053_0037__CAMBRIDGE,R_0053_0032__BUILT,R_0053_0030__AND,R_0053_0040__HOME_R_0053_0041__GATEWAYS,R_0053_0039__DOES,R_0053_0047__THE_R_0053_0048__INTERNET,Z_0053_5018___STAR_,R_0053_0044__ARE_R_0053_0045__CONNECTED,R_0053_0051__A_R_0053_0052__MODEM,R_0053_0054__THEM,R_0053_0050__HAVE,R_0053_0060__ZIGBEE,R_0053_0061__BASED,R_0053_0062__SENSORS,R_0053_0057__A_R_0053_0058__COLLECTION,R_0053_0065__A_R_0053_0066__BURGLAR_R_0053_0067__ALARM_R_0053_0068__FUNCTION,R_0053_0063__HAVE_R_0053_0064__GOT,R_0053_0055__AND] :
      ( r_0053_0002__2007(R_0053_0002__2007)
      & r_0053_0003__I(R_0053_0003__I)
      & r_0053_0008__Amino_r_0053_0009__set_r_0053_0010__top_r_0053_0011__boxes(R_0053_0008__AMINO_R_0053_0009__SET_R_0053_0010__TOP_R_0053_0011__BOXES)
      & r_0053_0014__another_r_0053_0015__company(R_0053_0014__ANOTHER_R_0053_0015__COMPANY)
      & r_0053_0017__Adrian_r_0053_0018__Chritchlow(R_0053_0017__ADRIAN_R_0053_0018__CHRITCHLOW)
      & r_0053_0021__other(R_0053_0021__OTHER)
      & r_0053_0026__the_r_0053_0027__Acorn_r_0053_0028__world(R_0053_0026__THE_R_0053_0027__ACORN_R_0053_0028__WORLD)
      & r_0053_0031__we(R_0053_0031__WE)
      & r_0053_0035__AlertMe_dot_com(R_0053_0035__ALERTME_DOT_COM)
      & r_0053_0037__Cambridge(R_0053_0037__CAMBRIDGE)
      & r_0053_0040__home_r_0053_0041__gateways(R_0053_0040__HOME_R_0053_0041__GATEWAYS)
      & r_0053_0047__the_r_0053_0048__internet(R_0053_0047__THE_R_0053_0048__INTERNET)
      & r_0053_0051__a_r_0053_0052__modem(R_0053_0051__A_R_0053_0052__MODEM)
      & r_0053_0054__them(R_0053_0054__THEM)
      & r_0053_0060__Zigbee(R_0053_0060__ZIGBEE)
      & r_0053_0065__a_r_0053_0066__burglar_r_0053_0067__alarm_r_0053_0068__function(R_0053_0065__A_R_0053_0066__BURGLAR_R_0053_0067__ALARM_R_0053_0068__FUNCTION)
      & z_0053_5013___star_(Z_0053_5013___STAR_)
      & z_0053_5018___star_(Z_0053_5018___STAR_)
      & r_0053_0055__and(R_0053_0055__AND)
      & has_conj3(R_0053_0055__AND,R_0053_0063__HAVE_R_0053_0064__GOT)
      & r_0053_0063__have_r_0053_0064__got(R_0053_0063__HAVE_R_0053_0064__GOT)
      & has_arg1(R_0053_0063__HAVE_R_0053_0064__GOT,R_0053_0065__A_R_0053_0066__BURGLAR_R_0053_0067__ALARM_R_0053_0068__FUNCTION)
      & has_arg0(R_0053_0063__HAVE_R_0053_0064__GOT,R_0053_0040__HOME_R_0053_0041__GATEWAYS)
      & has_r_0053_0056__through__nim(R_0053_0063__HAVE_R_0053_0064__GOT,R_0053_0057__A_R_0053_0058__COLLECTION)
      & r_0053_0057__a_r_0053_0058__collection(R_0053_0057__A_R_0053_0058__COLLECTION)
      & has_r_0053_0059__of(R_0053_0057__A_R_0053_0058__COLLECTION,R_0053_0062__SENSORS)
      & r_0053_0062__sensors(R_0053_0062__SENSORS)
      & has_attrib(R_0053_0062__SENSORS,R_0053_0061__BASED)
      & r_0053_0061__based(R_0053_0061__BASED)
      & has_nim(R_0053_0061__BASED,R_0053_0060__ZIGBEE)
      & has_conj2(R_0053_0055__AND,R_0053_0050__HAVE)
      & r_0053_0050__have(R_0053_0050__HAVE)
      & has_r_0053_0053__in__nim(R_0053_0050__HAVE,R_0053_0054__THEM)
      & has_arg1(R_0053_0050__HAVE,R_0053_0051__A_R_0053_0052__MODEM)
      & has_arg0(R_0053_0050__HAVE,R_0053_0040__HOME_R_0053_0041__GATEWAYS)
      & has_conj1(R_0053_0055__AND,R_0053_0044__ARE_R_0053_0045__CONNECTED)
      & r_0053_0044__are_r_0053_0045__connected(R_0053_0044__ARE_R_0053_0045__CONNECTED)
      & has_arg0(R_0053_0044__ARE_R_0053_0045__CONNECTED,Z_0053_5018___STAR_)
      & has_r_0053_0046__to__clr(R_0053_0044__ARE_R_0053_0045__CONNECTED,R_0053_0047__THE_R_0053_0048__INTERNET)
      & has_arg1(R_0053_0044__ARE_R_0053_0045__CONNECTED,R_0053_0040__HOME_R_0053_0041__GATEWAYS)
      & r_0053_0039__does(R_0053_0039__DOES)
      & has_arg1(R_0053_0039__DOES,R_0053_0040__HOME_R_0053_0041__GATEWAYS)
      & has_arg0(R_0053_0039__DOES,R_0053_0033__SOMETHING)
      & r_0053_0033__something(R_0053_0033__SOMETHING)
      & has_inv_arg1(R_0053_0033__SOMETHING,R_0053_0034__CALLED)
      & r_0053_0034__called(R_0053_0034__CALLED)
      & has_arg0(R_0053_0034__CALLED,Z_0053_5013___STAR_)
      & has_prd(R_0053_0034__CALLED,R_0053_0035__ALERTME_DOT_COM)
      & r_0053_0030__and(R_0053_0030__AND)
      & has_conj2(R_0053_0030__AND,R_0053_0032__BUILT)
      & r_0053_0032__built(R_0053_0032__BUILT)
      & has_r_0053_0036__in__nim(R_0053_0032__BUILT,R_0053_0037__CAMBRIDGE)
      & has_arg1(R_0053_0032__BUILT,R_0053_0033__SOMETHING)
      & has_arg0(R_0053_0032__BUILT,R_0053_0031__WE)
      & has_conj1(R_0053_0030__AND,R_0053_0012__AND)
      & r_0053_0012__and(R_0053_0012__AND)
      & has_conj2(R_0053_0012__AND,R_0053_0013__DID)
      & r_0053_0013__did(R_0053_0013__DID)
      & has_r_0053_0016__with__nim(R_0053_0013__DID,R_0053_0019__AND)
      & r_0053_0019__and(R_0053_0019__AND)
      & has_conj2(R_0053_0019__AND,R_0053_0020__SOME_R_0053_0022__GUYS)
      & r_0053_0020__some_r_0053_0022__guys(R_0053_0020__SOME_R_0053_0022__GUYS)
      & has_attrib(R_0053_0020__SOME_R_0053_0022__GUYS,R_0053_0021__OTHER)
      & has_conj1(R_0053_0019__AND,R_0053_0017__ADRIAN_R_0053_0018__CHRITCHLOW)
      & has_arg1(R_0053_0013__DID,R_0053_0014__ANOTHER_R_0053_0015__COMPANY)
      & has_arg0(R_0053_0013__DID,R_0053_0003__I)
      & has_r_0053_0001__In__nim(R_0053_0013__DID,R_0053_0002__2007)
      & has_conj1(R_0053_0012__AND,R_0053_0004__FINISHED)
      & r_0053_0004__finished(R_0053_0004__FINISHED)
      & has_arg1(R_0053_0004__FINISHED,R_0053_0006__ASSOCIATION)
      & r_0053_0006__association(R_0053_0006__ASSOCIATION)
      & has_r_0053_0007__with(R_0053_0006__ASSOCIATION,R_0053_0008__AMINO_R_0053_0009__SET_R_0053_0010__TOP_R_0053_0011__BOXES)
      & has_gen(R_0053_0006__ASSOCIATION,R_0053_0003__I)
      & has_arg0(R_0053_0004__FINISHED,R_0053_0003__I)
      & has_r_0053_0001__In__nim(R_0053_0004__FINISHED,R_0053_0002__2007)
      & r_0053_0024__were_r_0053_0025__from(R_0053_0024__WERE_R_0053_0025__FROM)
      & has_arg1(R_0053_0024__WERE_R_0053_0025__FROM,R_0053_0026__THE_R_0053_0027__ACORN_R_0053_0028__WORLD)
      & has_arg0(R_0053_0024__WERE_R_0053_0025__FROM,R_0053_0020__SOME_R_0053_0022__GUYS) ) ).