TSPC 13_a_paulfellows

13_a_paulfellows
It turned out, it would boot fine if you left it long enough, but if you didn't turn it off for very long then it didn't reset properly, and this was because the fan on the board was still spinning and the back EMF on the fan was enough power to keep the ARM running.

arc(r_0013_0002__turned_r_0013_0003__out, r_0013_0016__but, arg0).
arc(r_0013_0006__would, r_0013_0007__boot, scope).
arc(r_0013_0007__boot, r_0013_0005__it, arg0).
arc(r_0013_0007__boot, r_0013_0008__fine, nim25).
arc(r_0013_0009__if, r_0013_0006__would, scope).
arc(r_0013_0009__if, r_0013_0011__left, restriction).
arc(r_0013_0011__left, r_0013_0005__it, arg1).
arc(r_0013_0011__left, r_0013_0010__you, arg0).
arc(r_0013_0011__left, r_0013_0014__enough, nim40).
arc(r_0013_0014__enough, r_0013_0013__long, qual41).
arc(r_0013_0016__but, r_0013_0009__if, conj1).
arc(r_0013_0016__but, r_0013_0017__if, conj2).
arc(r_0013_0017__if, r_0013_0020__n_apos_t, restriction).
arc(r_0013_0017__if, r_0013_0030__n_apos_t, scope).
arc(r_0013_0019__did_r_0013_0021__turn_r_0013_0023__off, r_0013_0010__you, arg0).
arc(r_0013_0019__did_r_0013_0021__turn_r_0013_0023__off, r_0013_0022__it, arg1).
arc(r_0013_0019__did_r_0013_0021__turn_r_0013_0023__off, z_000_13_a_paulfellows_73, r_0013_0024__for_nim73).
arc(r_0013_0020__n_apos_t, r_0013_0019__did_r_0013_0021__turn_r_0013_0023__off, keep_scope).
arc(r_0013_0026__long, r_0013_0025__very, qual75).
arc(r_0013_0029__did_r_0013_0031__reset, r_0013_0027__then, nim80).
arc(r_0013_0029__did_r_0013_0031__reset, r_0013_0028__it, arg0).
arc(r_0013_0029__did_r_0013_0031__reset, r_0013_0032__properly, nim92).
arc(r_0013_0030__n_apos_t, r_0013_0029__did_r_0013_0031__reset, keep_scope).
arc(r_0013_0034__and, r_0013_0002__turned_r_0013_0003__out, conj1).
arc(r_0013_0034__and, r_0013_0036__was, conj2).
arc(r_0013_0036__was, r_0013_0035__this, arg0).
arc(r_0013_0036__was, r_0013_0046__and, r_0013_0037__because_clr109).
arc(r_0013_0038__the_r_0013_0039__fan, r_0013_0041__the_r_0013_0042__board, r_0013_0040__on).
arc(r_0013_0043__was, r_0013_0045__spinning, scope).
arc(r_0013_0045__spinning, r_0013_0038__the_r_0013_0039__fan, arg0).
arc(r_0013_0045__spinning, r_0013_0044__still, nim128).
arc(r_0013_0046__and, r_0013_0043__was, conj1).
arc(r_0013_0046__and, r_0013_0053__was, conj2).
arc(r_0013_0047__the_r_0013_0049__EMF, r_0013_0048__back, attrib140).
arc(r_0013_0047__the_r_0013_0049__EMF, r_0013_0051__the_r_0013_0052__fan, r_0013_0050__on).
arc(r_0013_0053__was, r_0013_0047__the_r_0013_0049__EMF, arg0).
arc(r_0013_0053__was, r_0013_0055__power, prd).
arc(r_0013_0055__power, r_0013_0054__enough, attrib156).
arc(r_0013_0055__power, r_0013_0056__to_r_0013_0057__keep, emb161).
arc(r_0013_0056__to_r_0013_0057__keep, r_0013_0058__the_r_0013_0059__ARM, arg1).
arc(r_0013_0056__to_r_0013_0057__keep, r_0013_0060__running, prd).
arc(r_0013_0056__to_r_0013_0057__keep, z_000_13_a_paulfellows_161, arg0).
arc(r_0013_0060__running, x_000_13_a_paulfellows_171, arg0).
arc(z_000_13_a_paulfellows_73, r_0013_0026__long, attrib74).

fof(formula,axiom,
    ? [R_13_34_AND,R_13_2_TURNED_OUT,R_13_16_BUT,R_13_36_WAS,R_13_35_THIS,R_13_46_AND,R_13_43_WAS_SPINNING,R_13_38_THE_FAN,R_13_41_THE_BOARD,R_13_44_STILL,R_13_53_WAS,R_13_47_THE_EMF,R_13_48_BACK,R_13_51_THE_FAN,R_13_55_POWER,R_13_54_ENOUGH,R_13_56_TO_KEEP,Z_13_A_PAULFELLOWS_161,R_13_58_THE_ARM,R_13_60_RUNNING,X_13_A_PAULFELLOWS_171] :
      ( this(R_13_35_THIS)
      & the_board(R_13_41_THE_BOARD)
      & still(R_13_44_STILL)
      & back(R_13_48_BACK)
      & the_fan(R_13_51_THE_FAN)
      & enough(R_13_54_ENOUGH)
      & the_ARM(R_13_58_THE_ARM)
      & and(R_13_34_AND)
      & conj1(R_13_34_AND,R_13_2_TURNED_OUT)
      & turned_out(R_13_2_TURNED_OUT,R_13_16_BUT)
      & ( ~ ? [R_13_19_DID_TURN_OFF,R_13_10_YOU,R_13_22_IT,Z_13_A_PAULFELLOWS_73,R_13_26_LONG,R_13_25_VERY] :
              ( you(R_13_10_YOU)
              & it(R_13_22_IT)
              & very(R_13_25_VERY)
              & did_turn_off(R_13_19_DID_TURN_OFF,R_13_10_YOU,R_13_22_IT)
              & for_nim73(R_13_19_DID_TURN_OFF,Z_13_A_PAULFELLOWS_73)
              & z_13_a_paulfellows_73(Z_13_A_PAULFELLOWS_73)
              & attrib74(Z_13_A_PAULFELLOWS_73,R_13_26_LONG)
              & long(R_13_26_LONG)
              & qual75(R_13_26_LONG,R_13_25_VERY) )
       => ~ ? [R_13_29_DID_RESET,R_13_28_IT,R_13_27_THEN,R_13_32_PROPERLY] :
              ( it(R_13_28_IT)
              & then(R_13_27_THEN)
              & properly(R_13_32_PROPERLY)
              & did_reset(R_13_29_DID_RESET,R_13_28_IT)
              & nim80(R_13_29_DID_RESET,R_13_27_THEN)
              & nim92(R_13_29_DID_RESET,R_13_32_PROPERLY) ) )
      & conj2(CONJ2)
      & ! [R_13_11_LEFT,R_13_10_YOU,R_13_5_IT,R_13_14_ENOUGH,R_13_13_LONG] :
          ( ( you(R_13_10_YOU)
            & it(R_13_5_IT)
            & long(R_13_13_LONG)
            & left(R_13_11_LEFT,R_13_10_YOU,R_13_5_IT)
            & nim40(R_13_11_LEFT,R_13_14_ENOUGH)
            & enough(R_13_14_ENOUGH)
            & qual41(R_13_14_ENOUGH,R_13_13_LONG) )
         => ? [R_13_6_WOULD_BOOT,R_13_8_FINE] :
              ( fine(R_13_8_FINE)
              & would_boot(R_13_6_WOULD_BOOT,R_13_5_IT)
              & nim25(R_13_6_WOULD_BOOT,R_13_8_FINE) ) )
      & conj1(CONJ1)
      & but(R_13_16_BUT)
      & conj2(R_13_34_AND,R_13_36_WAS)
      & was(R_13_36_WAS,R_13_35_THIS)
      & because_clr109(R_13_36_WAS,R_13_46_AND)
      & and(R_13_46_AND)
      & conj1(R_13_46_AND,R_13_43_WAS_SPINNING)
      & was_spinning(R_13_43_WAS_SPINNING,R_13_38_THE_FAN)
      & the_fan(R_13_38_THE_FAN)
      & on(R_13_38_THE_FAN,R_13_41_THE_BOARD)
      & nim128(R_13_43_WAS_SPINNING,R_13_44_STILL)
      & conj2(R_13_46_AND,R_13_53_WAS)
      & was(R_13_53_WAS,R_13_47_THE_EMF,R_13_55_POWER)
      & the_EMF(R_13_47_THE_EMF)
      & attrib140(R_13_47_THE_EMF,R_13_48_BACK)
      & on(R_13_47_THE_EMF,R_13_51_THE_FAN)
      & power(R_13_55_POWER)
      & attrib156(R_13_55_POWER,R_13_54_ENOUGH)
      & emb161(R_13_55_POWER,R_13_56_TO_KEEP)
      & to_keep(R_13_56_TO_KEEP,Z_13_A_PAULFELLOWS_161,R_13_58_THE_ARM,R_13_60_RUNNING)
      & running(R_13_60_RUNNING,X_13_A_PAULFELLOWS_171) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (VBD;__ turned;{turn})
                      (RP out;{out})
                      (PUNC ,)
                      (CP-THT-NSBJ (IP-SUB (ILYR (ILYR (NP-SBJ;{MACHINE} (PRO it;{it}))
                                                       (MD;_cat_Vi_ would;{will})
                                                       (IP-INF-CAT (VB;__ boot;{boot})
                                                                   (ADVP-NIM (ADV fine;{fine})))
                                                       (PP-SCON (P-CONN if;{if})
                                                                (IP-ADV (NP-SBJ (PRO you;{you}))
                                                                        (VBD;__ left;{leave})
                                                                        (NP-OB1;{MACHINE} (PRO it;{it}))
                                                                        (ADVP-NIM (ADVP (ADV long;{long}))
                                                                                  (ADV enough;{enough})))))
                                                 (PUNC ,)
                                                 (CONJP (CONJ but;{but})
                                                        (ILYR (PP-SCON (P-CONN if;{if})
                                                                       (IP-ADV (NP-SBJ (PRO you;{you}))
                                                                               (DOD did;{do})
                                                                               (NEG;_clitic_ n<apos>t;{not})
                                                                               (VB;__ turn;{turn})
                                                                               (NP-OB1;{MACHINE} (PRO it;{it}))
                                                                               (RP off;{off})
                                                                               (PP-NIM (P-ROLE for;{for})
                                                                                       (NP (ADJP (ADVP (ADV very;{very}))
                                                                                                 (ADJ long;{long}))))))
                                                              (ADVP-NIM (ADV then;{then}))
                                                              (NP-SBJ;{MACHINE} (PRO it;{it}))
                                                              (DOD did;{do})
                                                              (NEG;_clitic_ n<apos>t;{not})
                                                              (VB;_I_ reset;{reset})
                                                              (ADVP-NIM (ADV properly;{properly}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D;_nphd_ this;{this}))
                             (BED;_Ipr_ was;{be[because]})
                             (PP-CLR (P-ROLE because;{because})
                                     (IP-ADV (ILYR (ILYR (NP-SBJ (D the;{the})
                                                                 (N fan;{fan})
                                                                 (PP (P-ROLE on;{on})
                                                                     (NP (D the;{the})
                                                                         (N board;{board}))))
                                                         (BED;_cat_Vg_ was;{be})
                                                         (IP-PPL-CAT (ADVP-NIM (ADV still;{still}))
                                                                     (VAG;_I_ spinning;{spin})))
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (NP-SBJ (D the;{the})
                                                                        (ADJP (ADJ back;{back}))
                                                                        (N EMF;{emf})
                                                                        (PP (P-ROLE on;{on})
                                                                            (NP (D the;{the})
                                                                                (N fan;{fan}))))
                                                                (BED;_Ln_ was;{be})
                                                                (NP-PRD (ADJP (ADJ enough;{enough}))
                                                                        (N power;{power})
                                                                        (IP-INF (TO to;{to})
                                                                                (VB;_Cn.g_ keep;{keep})
                                                                                (NP-OB1 (D the;{the})
                                                                                        (N ARM;{arm}))
                                                                                (IP-PPL-PRD (VAG;_I_ running;{run}))))))))))))
          (PUNC .))
  (ID 13_a_paulfellows))