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.

( (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})
                                                                                       (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))

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,nim).
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,nim).
arc(r_0013_0014__enough,r_0013_0013__long,qual).
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_0005__it,arg1).
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_0026__long,r_0013_0024__for__nim).
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,qual).
arc(r_0013_0029__did_r_0013_0031__reset,r_0013_0005__it,arg0).
arc(r_0013_0029__did_r_0013_0031__reset,r_0013_0027__then,nim).
arc(r_0013_0029__did_r_0013_0031__reset,r_0013_0032__properly,nim).
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__clr).
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,nim).
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,attrib).
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,attrib).
arc(r_0013_0055__power,r_0013_0057__keep,emb).
arc(r_0013_0057__keep,r_0013_0058__the_r_0013_0059__ARM,arg1).
arc(r_0013_0057__keep,r_0013_0060__running,prd).
arc(r_0013_0057__keep,z_0013_5040,arg0).
arc(r_0013_0060__running,z_0013_5044,arg0).

fof(formula,axiom,
    ? [R_0013_0016__BUT,R_0013_0002__TURNED_R_0013_0003__OUT,R_0013_0035__THIS,R_0013_0041__THE_R_0013_0042__BOARD,R_0013_0038__THE_R_0013_0039__FAN,R_0013_0044__STILL,R_0013_0043__WAS_R_0013_0045__SPINNING,R_0013_0048__BACK,R_0013_0051__THE_R_0013_0052__FAN,R_0013_0047__THE_R_0013_0049__EMF,R_0013_0054__ENOUGH,R_0013_0058__THE_R_0013_0059__ARM,Z_0013_5044,R_0013_0060__RUNNING,Z_0013_5040,R_0013_0057__KEEP,R_0013_0055__POWER,R_0013_0053__WAS,R_0013_0046__AND,R_0013_0036__WAS,R_0013_0034__AND] :
      ( r_0013_0035__this(R_0013_0035__THIS)
      & r_0013_0041__the_r_0013_0042__board(R_0013_0041__THE_R_0013_0042__BOARD)
      & r_0013_0044__still(R_0013_0044__STILL)
      & r_0013_0048__back(R_0013_0048__BACK)
      & r_0013_0051__the_r_0013_0052__fan(R_0013_0051__THE_R_0013_0052__FAN)
      & r_0013_0054__enough(R_0013_0054__ENOUGH)
      & r_0013_0058__the_r_0013_0059__ARM(R_0013_0058__THE_R_0013_0059__ARM)
      & z_0013_5040(Z_0013_5040)
      & z_0013_5044(Z_0013_5044)
      & r_0013_0034__and(R_0013_0034__AND)
      & has_conj2(R_0013_0034__AND,R_0013_0036__WAS)
      & r_0013_0036__was(R_0013_0036__WAS)
      & has_r_0013_0037__because__clr(R_0013_0036__WAS,R_0013_0046__AND)
      & r_0013_0046__and(R_0013_0046__AND)
      & has_conj2(R_0013_0046__AND,R_0013_0053__WAS)
      & r_0013_0053__was(R_0013_0053__WAS)
      & has_prd(R_0013_0053__WAS,R_0013_0055__POWER)
      & r_0013_0055__power(R_0013_0055__POWER)
      & has_emb(R_0013_0055__POWER,R_0013_0057__KEEP)
      & r_0013_0057__keep(R_0013_0057__KEEP)
      & has_arg0(R_0013_0057__KEEP,Z_0013_5040)
      & has_prd(R_0013_0057__KEEP,R_0013_0060__RUNNING)
      & r_0013_0060__running(R_0013_0060__RUNNING)
      & has_arg0(R_0013_0060__RUNNING,Z_0013_5044)
      & has_arg1(R_0013_0057__KEEP,R_0013_0058__THE_R_0013_0059__ARM)
      & has_attrib(R_0013_0055__POWER,R_0013_0054__ENOUGH)
      & has_arg0(R_0013_0053__WAS,R_0013_0047__THE_R_0013_0049__EMF)
      & r_0013_0047__the_r_0013_0049__EMF(R_0013_0047__THE_R_0013_0049__EMF)
      & has_r_0013_0050__on(R_0013_0047__THE_R_0013_0049__EMF,R_0013_0051__THE_R_0013_0052__FAN)
      & has_attrib(R_0013_0047__THE_R_0013_0049__EMF,R_0013_0048__BACK)
      & has_conj1(R_0013_0046__AND,R_0013_0043__WAS_R_0013_0045__SPINNING)
      & r_0013_0043__was_r_0013_0045__spinning(R_0013_0043__WAS_R_0013_0045__SPINNING)
      & has_nim(R_0013_0043__WAS_R_0013_0045__SPINNING,R_0013_0044__STILL)
      & has_arg0(R_0013_0043__WAS_R_0013_0045__SPINNING,R_0013_0038__THE_R_0013_0039__FAN)
      & r_0013_0038__the_r_0013_0039__fan(R_0013_0038__THE_R_0013_0039__FAN)
      & has_r_0013_0040__on(R_0013_0038__THE_R_0013_0039__FAN,R_0013_0041__THE_R_0013_0042__BOARD)
      & has_arg0(R_0013_0036__WAS,R_0013_0035__THIS)
      & has_conj1(R_0013_0034__AND,R_0013_0002__TURNED_R_0013_0003__OUT)
      & r_0013_0002__turned_r_0013_0003__out(R_0013_0002__TURNED_R_0013_0003__OUT)
      & has_arg0(R_0013_0002__TURNED_R_0013_0003__OUT,R_0013_0016__BUT)
      & r_0013_0016__but(R_0013_0016__BUT)
      & ! [R_0013_0020__N_APOS_T] :
          ( ~ ? [R_0013_0005__IT,R_0013_0010__YOU,R_0013_0025__VERY,R_0013_0026__LONG,R_0013_0019__DID_R_0013_0021__TURN_R_0013_0023__OFF] :
                ( r_0013_0005__it(R_0013_0005__IT)
                & r_0013_0010__you(R_0013_0010__YOU)
                & r_0013_0025__very(R_0013_0025__VERY)
                & r_0013_0019__did_r_0013_0021__turn_r_0013_0023__off(R_0013_0019__DID_R_0013_0021__TURN_R_0013_0023__OFF)
                & has_r_0013_0024__for__nim(R_0013_0019__DID_R_0013_0021__TURN_R_0013_0023__OFF,R_0013_0026__LONG)
                & r_0013_0026__long(R_0013_0026__LONG)
                & has_qual(R_0013_0026__LONG,R_0013_0025__VERY)
                & has_arg0(R_0013_0019__DID_R_0013_0021__TURN_R_0013_0023__OFF,R_0013_0010__YOU)
                & has_arg1(R_0013_0019__DID_R_0013_0021__TURN_R_0013_0023__OFF,R_0013_0005__IT) )
         => ~ ? [R_0013_0005__IT,R_0013_0027__THEN,R_0013_0032__PROPERLY,R_0013_0029__DID_R_0013_0031__RESET] :
                ( r_0013_0005__it(R_0013_0005__IT)
                & r_0013_0027__then(R_0013_0027__THEN)
                & r_0013_0032__properly(R_0013_0032__PROPERLY)
                & r_0013_0029__did_r_0013_0031__reset(R_0013_0029__DID_R_0013_0031__RESET)
                & has_nim(R_0013_0029__DID_R_0013_0031__RESET,R_0013_0032__PROPERLY)
                & has_nim(R_0013_0029__DID_R_0013_0031__RESET,R_0013_0027__THEN)
                & has_arg0(R_0013_0029__DID_R_0013_0031__RESET,R_0013_0005__IT) ) )
      & ! [R_0013_0011__LEFT,R_0013_0005__IT,R_0013_0010__YOU,R_0013_0013__LONG,R_0013_0014__ENOUGH] :
          ( ( r_0013_0005__it(R_0013_0005__IT)
            & r_0013_0010__you(R_0013_0010__YOU)
            & r_0013_0013__long(R_0013_0013__LONG)
            & r_0013_0011__left(R_0013_0011__LEFT)
            & has_nim(R_0013_0011__LEFT,R_0013_0014__ENOUGH)
            & r_0013_0014__enough(R_0013_0014__ENOUGH)
            & has_qual(R_0013_0014__ENOUGH,R_0013_0013__LONG)
            & has_arg0(R_0013_0011__LEFT,R_0013_0010__YOU)
            & has_arg1(R_0013_0011__LEFT,R_0013_0005__IT) )
         => ? [R_0013_0008__FINE,R_0013_0006__WOULD_R_0013_0007__BOOT] :
              ( r_0013_0008__fine(R_0013_0008__FINE)
              & r_0013_0006__would_r_0013_0007__boot(R_0013_0006__WOULD_R_0013_0007__BOOT)
              & has_nim(R_0013_0006__WOULD_R_0013_0007__BOOT,R_0013_0008__FINE)
              & has_arg0(R_0013_0006__WOULD_R_0013_0007__BOOT,R_0013_0005__IT) ) ) ) ).