TSPC 53_a_paulfellows

53_a_paulfellows
Underneath all versions of RISC OS still have a BBC inside them and in fact if you turn on one of my Amino set top boxes, with the debug lead in, it doesn't half look like that.

arc(r_0053_0002__all_quant, r_0053_0003__versions, restriction).
arc(r_0053_0002__all_quant, r_0053_0008__have, scope).
arc(r_0053_0003__versions, r_0053_0005__RISC_r_0053_0006__OS, r_0053_0004__of).
arc(r_0053_0008__have, r_0053_0001__Underneath, nim4).
arc(r_0053_0008__have, r_0053_0003__versions, arg0).
arc(r_0053_0008__have, r_0053_0007__still, nim20).
arc(r_0053_0008__have, r_0053_0009__a_r_0053_0010__BBC, arg1).
arc(r_0053_0009__a_r_0053_0010__BBC, r_0053_0005__RISC_r_0053_0006__OS, r_0053_0011__inside).
arc(r_0053_0013__and, r_0053_0002__all_quant, conj1).
arc(r_0053_0013__and, r_0053_0016__if, conj2).
arc(r_0053_0016__if, r_0053_0018__turn, restriction).
arc(r_0053_0016__if, r_0053_0036__n_apos_t, scope).
arc(r_0053_0018__turn, r_0053_0017__you, arg0).
arc(r_0053_0018__turn, r_0053_0019__on, nim55).
arc(r_0053_0018__turn, r_0053_0020__one, arg1).
arc(r_0053_0018__turn, r_0053_0029__the_r_0053_0030__debug_r_0053_0031__lead, r_0053_0028__with_nim81).
arc(r_0053_0020__one, r_0053_0023__Amino_r_0053_0024__set_r_0053_0025__top_r_0053_0026__boxes, r_0053_0021__of).
arc(r_0053_0023__Amino_r_0053_0024__set_r_0053_0025__top_r_0053_0026__boxes, r_0053_0022__my, gen).
arc(r_0053_0029__the_r_0053_0030__debug_r_0053_0031__lead, r_0053_0032__in, qual88).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0005__RISC_r_0053_0006__OS, arg0).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0015__fact, r_0053_0014__in_nim43).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0037__half, nim100).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0040__that, r_0053_0039__like_clr108).
arc(r_0053_0036__n_apos_t, r_0053_0035__does_r_0053_0038__look, keep_scope).

fof(formula,axiom,
    ? [R_0053_0013__AND] :
      ( r_0053_0013__and(R_0053_0013__AND)
      & ! [R_0053_0018__TURN,R_0053_0017__YOU,R_0053_0019__ON,R_0053_0022__MY,R_0053_0023__AMINO_R_0053_0024__SET_R_0053_0025__TOP_R_0053_0026__BOXES,R_0053_0020__ONE,R_0053_0032__IN,R_0053_0029__THE_R_0053_0030__DEBUG_R_0053_0031__LEAD] :
          ( ( r_0053_0017__you(R_0053_0017__YOU)
            & r_0053_0019__on(R_0053_0019__ON)
            & r_0053_0022__my(R_0053_0022__MY)
            & r_0053_0032__in(R_0053_0032__IN)
            & r_0053_0018__turn(R_0053_0018__TURN)
            & has_r_0053_0028__with_nim81(R_0053_0018__TURN,R_0053_0029__THE_R_0053_0030__DEBUG_R_0053_0031__LEAD)
            & r_0053_0029__the_r_0053_0030__debug_r_0053_0031__lead(R_0053_0029__THE_R_0053_0030__DEBUG_R_0053_0031__LEAD)
            & has_qual88(R_0053_0029__THE_R_0053_0030__DEBUG_R_0053_0031__LEAD,R_0053_0032__IN)
            & has_arg1(R_0053_0018__TURN,R_0053_0020__ONE)
            & r_0053_0020__one(R_0053_0020__ONE)
            & has_r_0053_0021__of(R_0053_0020__ONE,R_0053_0023__AMINO_R_0053_0024__SET_R_0053_0025__TOP_R_0053_0026__BOXES)
            & r_0053_0023__Amino_r_0053_0024__set_r_0053_0025__top_r_0053_0026__boxes(R_0053_0023__AMINO_R_0053_0024__SET_R_0053_0025__TOP_R_0053_0026__BOXES)
            & has_gen(R_0053_0023__AMINO_R_0053_0024__SET_R_0053_0025__TOP_R_0053_0026__BOXES,R_0053_0022__MY)
            & has_nim55(R_0053_0018__TURN,R_0053_0019__ON)
            & has_arg0(R_0053_0018__TURN,R_0053_0017__YOU) )
         => ~ ? [R_0053_0005__RISC_R_0053_0006__OS,R_0053_0015__FACT,R_0053_0037__HALF,R_0053_0040__THAT,R_0053_0035__DOES_R_0053_0038__LOOK] :
                ( r_0053_0005__RISC_r_0053_0006__OS(R_0053_0005__RISC_R_0053_0006__OS)
                & r_0053_0015__fact(R_0053_0015__FACT)
                & r_0053_0037__half(R_0053_0037__HALF)
                & r_0053_0040__that(R_0053_0040__THAT)
                & r_0053_0035__does_r_0053_0038__look(R_0053_0035__DOES_R_0053_0038__LOOK)
                & has_r_0053_0039__like_clr108(R_0053_0035__DOES_R_0053_0038__LOOK,R_0053_0040__THAT)
                & has_nim100(R_0053_0035__DOES_R_0053_0038__LOOK,R_0053_0037__HALF)
                & has_r_0053_0014__in_nim43(R_0053_0035__DOES_R_0053_0038__LOOK,R_0053_0015__FACT)
                & has_arg0(R_0053_0035__DOES_R_0053_0038__LOOK,R_0053_0005__RISC_R_0053_0006__OS) ) )
      & ! [R_0053_0003__VERSIONS,R_0053_0005__RISC_R_0053_0006__OS] :
          ( ( r_0053_0005__RISC_r_0053_0006__OS(R_0053_0005__RISC_R_0053_0006__OS)
            & r_0053_0003__versions(R_0053_0003__VERSIONS)
            & has_r_0053_0004__of(R_0053_0003__VERSIONS,R_0053_0005__RISC_R_0053_0006__OS) )
         => ? [R_0053_0001__UNDERNEATH,R_0053_0007__STILL,R_0053_0009__A_R_0053_0010__BBC,R_0053_0008__HAVE] :
              ( r_0053_0001__Underneath(R_0053_0001__UNDERNEATH)
              & r_0053_0007__still(R_0053_0007__STILL)
              & r_0053_0008__have(R_0053_0008__HAVE)
              & has_arg1(R_0053_0008__HAVE,R_0053_0009__A_R_0053_0010__BBC)
              & r_0053_0009__a_r_0053_0010__BBC(R_0053_0009__A_R_0053_0010__BBC)
              & has_r_0053_0011__inside(R_0053_0009__A_R_0053_0010__BBC,R_0053_0005__RISC_R_0053_0006__OS)
              & has_nim20(R_0053_0008__HAVE,R_0053_0007__STILL)
              & has_arg0(R_0053_0008__HAVE,R_0053_0003__VERSIONS)
              & has_nim4(R_0053_0008__HAVE,R_0053_0001__UNDERNEATH) ) ) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Underneath;{underneath}))
                      (NP-SBJ (Q all;{all})
                              (NS versions;{version})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR RISC;{RISC})
                                      (NPR OS;{OS}))))
                      (ADVP-NIM (ADV still;{still}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (D a;{a})
                              (NPR BBC;{BBC})
                              (PP (P-ROLE inside;{inside})
                                  (NP (PRO them;{they})))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (N fact;{fact})))
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (VBP;__ turn;{turn})
                                              (ADVP-NIM (RP on;{on}))
                                              (NP-OB1 (NUM one;{one})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NP-GEN (PRO;_genm_ my;{my}))
                                                              (NPR Amino;{Amino})
                                                              (N set;{set})
                                                              (N top;{top})
                                                              (NS boxes;{box}))))
                                              (PUNC ,)
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (D the;{the})
                                                          (N debug;{debug})
                                                          (N lead;{lead})
                                                          (ADVP (RP in;{in}))))))
                             (PUNC ,)
                             (NP-SBJ (PRO it;{it}))
                             (DOP does;{do})
                             (NEG;_clitic_ n<apos>t;{not})
                             (ADVP-NIM (ADV half;{half}))
                             (VB;_Ipr_ look;{look[like]})
                             (PP-CLR (P-ROLE like;{like})
                                     (NP (D;_nphd_ that;{that}))))))
          (PUNC .))
  (ID 53_a_paulfellows))