TSPC 26_a_paulfellows

26_a_paulfellows
Things got serious when I got some hardware on my desk, this is the first piece of hardware I got (A500 second processor card), you can see the four core chips, the ARM, MEMC, VIDC and IOC, in their square flat-pack holders, the RAM over there, some operating system software of some sort in these EEPROMs here, and the TUBE interface.

( (IP-MAT (NP-SBJ (NS Things;{thing}))
          (VBD;_La_ got;{get})
          (ADJP-PRD (ADJ serious;{serious}))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Tn_ got;{get})
                           (NP-OB1 (D some;{some})
                                   (N hardware;{hardware}))
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (NP-GEN (PRO;_genm_ my;{my}))
                                       (N desk;{desk})))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (D;_nphd_ this;{this}))
                       (BEP;_Ln_ is;{be})
                       (NP-PRD (D the;{the})
                               (ADJP (ADJ first;{first}))
                               (N piece;{piece})
                               (PP (P-ROLE of;{of})
                                   (NP (N hardware;{hardware})))
                               (IP-REL (NP-OB1 *T*)
                                       (NP-SBJ (PRO I;{I}))
                                       (VBD;_Tn_ got;{get}))
                               (PULB -LRB-)
                               (PRN (NP (NPR A500)
                                        (ADJP (ADJ second;{second}))
                                        (N processor;{processor})
                                        (N card;{card})))
                               (PURB -RRB-))
                       (PUNC ,)
                       (PRN (IP-MAT (NP-SBJ (PRO you;{you}))
                                    (MD;_cat_Vi_ can;{can})
                                    (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ see;{see})
                                                            (NP-OB1;{FOUR_CHIPS} (D the;{the})
                                                                                 (NUM four;{four})
                                                                                 (N core;{core})
                                                                                 (NS chips;{chip})
                                                                                 (PUNC ,)
                                                                                 (PRN (NP (D the;{the})
                                                                                          (NLYR (NLYR (NPR ARM;{ARM}))
                                                                                                (PUNC ,)
                                                                                                (CONJP (NLYR (NPR MEMC;{MEMC})))
                                                                                                (PUNC ,)
                                                                                                (CONJP (NLYR (NPR VIDC;{VIDC})))
                                                                                                (CONJP (CONJ and;{and})
                                                                                                       (NLYR (NPR IOC;{IOC})))))))
                                                            (PUNC ,)
                                                            (PP-NIM (P-ROLE in;{in})
                                                                    (NP (NP-GEN;{FOUR_CHIPS} (PRO;_genm_ their;{their}))
                                                                        (N square;{square})
                                                                        (N flat_<hyphen>_pack;{flat_pack})
                                                                        (NS holders;{holder}))))
                                                      (PUNC ,)
                                                      (CONJP (ILYR (NP-OB1 (D the;{the})
                                                                           (N RAM;{ram}))
                                                                   (ADVP-NIM (ADVP (ADV over;{over}))
                                                                             (ADV there;{there}))))
                                                      (PUNC ,)
                                                      (CONJP (ILYR (NP-OB1 (D some;{some})
                                                                           (IP-PPL (VAG;_I_ operating;{operate}))
                                                                           (N system;{system})
                                                                           (N software;{software})
                                                                           (PP (P-ROLE of;{of})
                                                                               (NP (D some;{some})
                                                                                   (N sort;{sort}))))
                                                                   (PP-NIM (P-ROLE in;{in})
                                                                           (NP (D these;{these})
                                                                               (NS EEPROMs;{eeproms})))
                                                                   (ADVP-NIM (ADV here;{here}))))
                                                      (PUNC ,)
                                                      (CONJP (CONJ and;{and})
                                                             (ILYR (NP-OB1 (D the;{the})
                                                                           (NPR TUBE;{TUBE})
                                                                           (N interface;{interface}))))))))))
          (PUNC .))
  (ID 26_a_paulfellows))

arc(r_0026_0002__got,r_0026_0001__Things,arg0).
arc(r_0026_0002__got,r_0026_0003__serious,prd).
arc(r_0026_0002__got,r_0026_0014__is,prn).
arc(r_0026_0004__when,r_0026_0002__got,scope).
arc(r_0026_0004__when,r_0026_0006__got,restriction).
arc(r_0026_0006__got,r_0026_0005__I,arg0).
arc(r_0026_0006__got,r_0026_0007__some_r_0026_0008__hardware,arg1).
arc(r_0026_0006__got,r_0026_0011__desk,r_0026_0009__on__nim).
arc(r_0026_0011__desk,r_0026_0005__I,gen).
arc(r_0026_0014__is,r_0026_0013__this,arg0).
arc(r_0026_0014__is,r_0026_0015__the_r_0026_0017__piece,prd).
arc(r_0026_0014__is,r_0026_0030__can,prn).
arc(r_0026_0015__the_r_0026_0017__piece,r_0026_0016__first,attrib).
arc(r_0026_0015__the_r_0026_0017__piece,r_0026_0019__hardware,r_0026_0018__of).
arc(r_0026_0021__got,r_0026_0015__the_r_0026_0017__piece,inv_arg1).
arc(r_0026_0021__got,r_0026_0020__I,arg0).
arc(r_0026_0023__A500_r_0026_0025__processor_r_0026_0026__card,r_0026_0024__second,attrib).
arc(r_0026_0030__can,r_0026_0069__and,scope).
arc(r_0026_0031__see,r_0026_0029__you,arg0).
arc(r_0026_0031__see,r_0026_0032__the_r_0026_0033__four_r_0026_0034__core_r_0026_0035__chips,arg1).
arc(r_0026_0031__see,r_0026_0048__square_r_0026_0049__flat__hyphen__pack_r_0026_0050__holders,r_0026_0046__in__nim).
arc(r_0026_0048__square_r_0026_0049__flat__hyphen__pack_r_0026_0050__holders,r_0026_0032__the_r_0026_0033__four_r_0026_0034__core_r_0026_0035__chips,gen).
arc(r_0026_0055__there,r_0026_0054__over,qual).
arc(r_0026_0057__some_r_0026_0059__system_r_0026_0060__software,r_0026_0062__some_r_0026_0063__sort,r_0026_0061__of).
arc(r_0026_0058__operating,r_0026_0057__some_r_0026_0059__system_r_0026_0060__software,inv_arg0).
arc(r_0026_0069__and,r_0026_0031__see,conj1).
arc(r_0026_0069__and,z_0026_5015,conj2).
arc(r_0026_0069__and,z_0026_5022,conj3).
arc(r_0026_0069__and,z_0026_5025,conj4).
arc(z_0026_5007,r_0026_0032__the_r_0026_0033__four_r_0026_0034__core_r_0026_0035__chips,arg0).
arc(z_0026_5007,r_0026_0037__the_r_0026_0038__ARM_r_0026_0040__MEMC_r_0026_0042__VIDC_r_0026_0043__and_r_0026_0044__IOC,prd).
arc(z_0026_5015,r_0026_0029__you,arg0).
arc(z_0026_5015,r_0026_0052__the_r_0026_0053__RAM,arg1).
arc(z_0026_5015,r_0026_0055__there,nim).
arc(z_0026_5022,r_0026_0029__you,arg0).
arc(z_0026_5022,r_0026_0057__some_r_0026_0059__system_r_0026_0060__software,arg1).
arc(z_0026_5022,r_0026_0065__these_r_0026_0066__EEPROMs,r_0026_0064__in__nim).
arc(z_0026_5022,r_0026_0067__here,nim).
arc(z_0026_5025,r_0026_0029__you,arg0).
arc(z_0026_5025,r_0026_0070__the_r_0026_0071__TUBE_r_0026_0072__interface,arg1).
arc(z_0026_5036,r_0026_0015__the_r_0026_0017__piece,arg0).
arc(z_0026_5036,r_0026_0023__A500_r_0026_0025__processor_r_0026_0026__card,prd).

fof(formula,axiom,
    ? [R_0026_0032__THE_R_0026_0033__FOUR_R_0026_0034__CORE_R_0026_0035__CHIPS,R_0026_0037__THE_R_0026_0038__ARM_R_0026_0040__MEMC_R_0026_0042__VIDC_R_0026_0043__AND_R_0026_0044__IOC,Z_0026_5007,R_0026_0016__FIRST,R_0026_0019__HARDWARE,R_0026_0020__I,R_0026_0021__GOT,R_0026_0015__THE_R_0026_0017__PIECE,R_0026_0024__SECOND,R_0026_0023__A500_R_0026_0025__PROCESSOR_R_0026_0026__CARD,Z_0026_5036] :
      ( r_0026_0016__first(R_0026_0016__FIRST)
      & r_0026_0019__hardware(R_0026_0019__HARDWARE)
      & r_0026_0020__I(R_0026_0020__I)
      & r_0026_0024__second(R_0026_0024__SECOND)
      & r_0026_0032__the_r_0026_0033__four_r_0026_0034__core_r_0026_0035__chips(R_0026_0032__THE_R_0026_0033__FOUR_R_0026_0034__CORE_R_0026_0035__CHIPS)
      & r_0026_0037__the_r_0026_0038__ARM_r_0026_0040__MEMC_r_0026_0042__VIDC_r_0026_0043__and_r_0026_0044__IOC(R_0026_0037__THE_R_0026_0038__ARM_R_0026_0040__MEMC_R_0026_0042__VIDC_R_0026_0043__AND_R_0026_0044__IOC)
      & z_0026_5036(Z_0026_5036)
      & has_prd(Z_0026_5036,R_0026_0023__A500_R_0026_0025__PROCESSOR_R_0026_0026__CARD)
      & r_0026_0023__A500_r_0026_0025__processor_r_0026_0026__card(R_0026_0023__A500_R_0026_0025__PROCESSOR_R_0026_0026__CARD)
      & has_attrib(R_0026_0023__A500_R_0026_0025__PROCESSOR_R_0026_0026__CARD,R_0026_0024__SECOND)
      & has_arg0(Z_0026_5036,R_0026_0015__THE_R_0026_0017__PIECE)
      & r_0026_0015__the_r_0026_0017__piece(R_0026_0015__THE_R_0026_0017__PIECE)
      & has_inv_arg1(R_0026_0015__THE_R_0026_0017__PIECE,R_0026_0021__GOT)
      & r_0026_0021__got(R_0026_0021__GOT)
      & has_arg0(R_0026_0021__GOT,R_0026_0020__I)
      & has_r_0026_0018__of(R_0026_0015__THE_R_0026_0017__PIECE,R_0026_0019__HARDWARE)
      & has_attrib(R_0026_0015__THE_R_0026_0017__PIECE,R_0026_0016__FIRST)
      & z_0026_5007(Z_0026_5007)
      & has_prd(Z_0026_5007,R_0026_0037__THE_R_0026_0038__ARM_R_0026_0040__MEMC_R_0026_0042__VIDC_R_0026_0043__AND_R_0026_0044__IOC)
      & has_arg0(Z_0026_5007,R_0026_0032__THE_R_0026_0033__FOUR_R_0026_0034__CORE_R_0026_0035__CHIPS)
      & ! [R_0026_0006__GOT,R_0026_0005__I,R_0026_0007__SOME_R_0026_0008__HARDWARE,R_0026_0011__DESK] :
          ( ( r_0026_0005__I(R_0026_0005__I)
            & r_0026_0007__some_r_0026_0008__hardware(R_0026_0007__SOME_R_0026_0008__HARDWARE)
            & r_0026_0006__got(R_0026_0006__GOT)
            & has_r_0026_0009__on__nim(R_0026_0006__GOT,R_0026_0011__DESK)
            & r_0026_0011__desk(R_0026_0011__DESK)
            & has_gen(R_0026_0011__DESK,R_0026_0005__I)
            & has_arg1(R_0026_0006__GOT,R_0026_0007__SOME_R_0026_0008__HARDWARE)
            & has_arg0(R_0026_0006__GOT,R_0026_0005__I) )
         => ? [R_0026_0001__THINGS,R_0026_0003__SERIOUS,R_0026_0013__THIS,R_0026_0029__YOU,R_0026_0048__SQUARE_R_0026_0049__FLAT__HYPHEN__PACK_R_0026_0050__HOLDERS,R_0026_0031__SEE,R_0026_0052__THE_R_0026_0053__RAM,R_0026_0054__OVER,R_0026_0055__THERE,Z_0026_5015,R_0026_0062__SOME_R_0026_0063__SORT,R_0026_0058__OPERATING,R_0026_0057__SOME_R_0026_0059__SYSTEM_R_0026_0060__SOFTWARE,R_0026_0065__THESE_R_0026_0066__EEPROMS,R_0026_0067__HERE,Z_0026_5022,R_0026_0070__THE_R_0026_0071__TUBE_R_0026_0072__INTERFACE,Z_0026_5025,R_0026_0069__AND,R_0026_0030__CAN,R_0026_0014__IS,R_0026_0002__GOT] :
              ( r_0026_0001__Things(R_0026_0001__THINGS)
              & r_0026_0003__serious(R_0026_0003__SERIOUS)
              & r_0026_0013__this(R_0026_0013__THIS)
              & r_0026_0029__you(R_0026_0029__YOU)
              & r_0026_0052__the_r_0026_0053__RAM(R_0026_0052__THE_R_0026_0053__RAM)
              & r_0026_0054__over(R_0026_0054__OVER)
              & r_0026_0058__operating(R_0026_0058__OPERATING)
              & r_0026_0062__some_r_0026_0063__sort(R_0026_0062__SOME_R_0026_0063__SORT)
              & r_0026_0065__these_r_0026_0066__EEPROMs(R_0026_0065__THESE_R_0026_0066__EEPROMS)
              & r_0026_0067__here(R_0026_0067__HERE)
              & r_0026_0070__the_r_0026_0071__TUBE_r_0026_0072__interface(R_0026_0070__THE_R_0026_0071__TUBE_R_0026_0072__INTERFACE)
              & r_0026_0002__got(R_0026_0002__GOT)
              & has_prn(R_0026_0002__GOT,R_0026_0014__IS)
              & r_0026_0014__is(R_0026_0014__IS)
              & has_prn(R_0026_0014__IS,R_0026_0030__CAN)
              & r_0026_0030__can(R_0026_0030__CAN)
              & has_keep_scope(R_0026_0030__CAN,R_0026_0069__AND)
              & r_0026_0069__and(R_0026_0069__AND)
              & has_conj4(R_0026_0069__AND,Z_0026_5025)
              & z_0026_5025(Z_0026_5025)
              & has_arg1(Z_0026_5025,R_0026_0070__THE_R_0026_0071__TUBE_R_0026_0072__INTERFACE)
              & has_arg0(Z_0026_5025,R_0026_0029__YOU)
              & has_conj3(R_0026_0069__AND,Z_0026_5022)
              & z_0026_5022(Z_0026_5022)
              & has_nim(Z_0026_5022,R_0026_0067__HERE)
              & has_r_0026_0064__in__nim(Z_0026_5022,R_0026_0065__THESE_R_0026_0066__EEPROMS)
              & has_arg1(Z_0026_5022,R_0026_0057__SOME_R_0026_0059__SYSTEM_R_0026_0060__SOFTWARE)
              & r_0026_0057__some_r_0026_0059__system_r_0026_0060__software(R_0026_0057__SOME_R_0026_0059__SYSTEM_R_0026_0060__SOFTWARE)
              & has_inv_arg0(R_0026_0057__SOME_R_0026_0059__SYSTEM_R_0026_0060__SOFTWARE,R_0026_0058__OPERATING)
              & has_r_0026_0061__of(R_0026_0057__SOME_R_0026_0059__SYSTEM_R_0026_0060__SOFTWARE,R_0026_0062__SOME_R_0026_0063__SORT)
              & has_arg0(Z_0026_5022,R_0026_0029__YOU)
              & has_conj2(R_0026_0069__AND,Z_0026_5015)
              & z_0026_5015(Z_0026_5015)
              & has_nim(Z_0026_5015,R_0026_0055__THERE)
              & r_0026_0055__there(R_0026_0055__THERE)
              & has_qual(R_0026_0055__THERE,R_0026_0054__OVER)
              & has_arg1(Z_0026_5015,R_0026_0052__THE_R_0026_0053__RAM)
              & has_arg0(Z_0026_5015,R_0026_0029__YOU)
              & has_conj1(R_0026_0069__AND,R_0026_0031__SEE)
              & r_0026_0031__see(R_0026_0031__SEE)
              & has_r_0026_0046__in__nim(R_0026_0031__SEE,R_0026_0048__SQUARE_R_0026_0049__FLAT__HYPHEN__PACK_R_0026_0050__HOLDERS)
              & r_0026_0048__square_r_0026_0049__flat__hyphen__pack_r_0026_0050__holders(R_0026_0048__SQUARE_R_0026_0049__FLAT__HYPHEN__PACK_R_0026_0050__HOLDERS)
              & has_gen(R_0026_0048__SQUARE_R_0026_0049__FLAT__HYPHEN__PACK_R_0026_0050__HOLDERS,R_0026_0032__THE_R_0026_0033__FOUR_R_0026_0034__CORE_R_0026_0035__CHIPS)
              & has_arg1(R_0026_0031__SEE,R_0026_0032__THE_R_0026_0033__FOUR_R_0026_0034__CORE_R_0026_0035__CHIPS)
              & has_arg0(R_0026_0031__SEE,R_0026_0029__YOU)
              & has_prd(R_0026_0014__IS,R_0026_0015__THE_R_0026_0017__PIECE)
              & has_arg0(R_0026_0014__IS,R_0026_0013__THIS)
              & has_prd(R_0026_0002__GOT,R_0026_0003__SERIOUS)
              & has_arg0(R_0026_0002__GOT,R_0026_0001__THINGS) ) ) ) ).