TSPC 5_a_stick

5_a_stick
In other words, stick creates a wimp - task that handles only clicks on the iconbar (including Menu) or drags to the iconbar, and nothing else, pushing out to <excl>Select, <excl>Adjust and <excl>Drag, as far as they exist, the responsibility for how the computer should react.

arc(r_0005_0003__words, r_0005_0002__other, attrib6).
arc(r_0005_0006__creates, r_0005_0003__words, r_0005_0001__In_nim5).
arc(r_0005_0006__creates, r_0005_0005__stick, arg0).
arc(r_0005_0006__creates, r_0005_0007__a_r_0005_0008__wimp_r_0005_0010__task, arg1).
arc(r_0005_0011__that_r_0005_0012__handles, r_0005_0007__a_r_0005_0008__wimp_r_0005_0010__task, arg0).
arc(r_0005_0011__that_r_0005_0012__handles, r_0005_0028__and, arg1).
arc(r_0005_0014__clicks, r_0005_0016__the_r_0005_0017__iconbar, r_0005_0015__on).
arc(r_0005_0016__the_r_0005_0017__iconbar, r_0005_0020__Menu, r_0005_0019__including).
arc(r_0005_0022__or, r_0005_0013__only, attrib37).
arc(r_0005_0022__or, r_0005_0014__clicks, conj1).
arc(r_0005_0022__or, r_0005_0023__drags, conj2).
arc(r_0005_0023__drags, r_0005_0025__the_r_0005_0026__iconbar, r_0005_0024__to).
arc(r_0005_0028__and, r_0005_0022__or, conj1).
arc(r_0005_0028__and, z_000_5_a_stick_81, conj2).
arc(r_0005_0029__nothing_quant, r_0005_0028__and, scope).
arc(r_0005_0029__nothing_quant, z_000_5_a_stick_81, restriction).
arc(r_0005_0032__pushing_r_0005_0033__out, r_0005_0005__stick, arg0).
arc(r_0005_0032__pushing_r_0005_0033__out, r_0005_0038__and, r_0005_0034__to_clr98).
arc(r_0005_0032__pushing_r_0005_0033__out, r_0005_0045__the_r_0005_0046__responsibility, arg1).
arc(r_0005_0038__and, r_0005_0035___excl_Select, conj1).
arc(r_0005_0038__and, r_0005_0037___excl_Adjust, conj2).
arc(r_0005_0038__and, r_0005_0039___excl_Drag, conj3).
arc(r_0005_0041__as_far_as, r_0005_0032__pushing_r_0005_0033__out, scope).
arc(r_0005_0041__as_far_as, r_0005_0043__exist, restriction).
arc(r_0005_0043__exist, r_0005_0038__and, arg0).
arc(r_0005_0045__the_r_0005_0046__responsibility, r_0005_0051__should, r_0005_0047__for).
arc(r_0005_0051__should, r_0005_0052__react, scope).
arc(r_0005_0052__react, r_0005_0048__how, nim149).
arc(r_0005_0052__react, r_0005_0049__the_r_0005_0050__computer, arg0).
arc(z_000_5_a_stick_81, r_0005_0030__else, qual84).
arc(z_000_5_a_stick_89, r_0005_0006__creates, scope).
arc(z_000_5_a_stick_89, r_0005_0041__as_far_as, restriction).

fof(formula,axiom,
    ? [R_0005_0002__OTHER,R_0005_0003__WORDS,R_0005_0005__STICK,R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK,R_0005_0006__CREATES,R_0005_0035___EXCL_SELECT,R_0005_0037___EXCL_ADJUST,R_0005_0039___EXCL_DRAG,R_0005_0038__AND,R_0005_0048__HOW,R_0005_0049__THE_R_0005_0050__COMPUTER,R_0005_0051__SHOULD_R_0005_0052__REACT,R_0005_0045__THE_R_0005_0046__RESPONSIBILITY,R_0005_0032__PUSHING_R_0005_0033__OUT,R_0005_0043__EXIST,R_0005_0041__AS_FAR_AS,Z_000_5_A_STICK_89] :
      ( r_0005_0002__other(R_0005_0002__OTHER)
      & r_0005_0005__stick(R_0005_0005__STICK)
      & r_0005_0007__a_r_0005_0008__wimp_r_0005_0010__task(R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK)
      & r_0005_0035___excl_Select(R_0005_0035___EXCL_SELECT)
      & r_0005_0037___excl_Adjust(R_0005_0037___EXCL_ADJUST)
      & r_0005_0039___excl_Drag(R_0005_0039___EXCL_DRAG)
      & r_0005_0048__how(R_0005_0048__HOW)
      & r_0005_0049__the_r_0005_0050__computer(R_0005_0049__THE_R_0005_0050__COMPUTER)
      & z_000_5_a_stick_89(Z_000_5_A_STICK_89)
      & has_conj1(Z_000_5_A_STICK_89,R_0005_0041__AS_FAR_AS)
      & r_0005_0041__as_far_as(R_0005_0041__AS_FAR_AS)
      & has_conj1(R_0005_0041__AS_FAR_AS,R_0005_0043__EXIST)
      & r_0005_0043__exist(R_0005_0043__EXIST)
      & has_arg0(R_0005_0043__EXIST,R_0005_0038__AND)
      & r_0005_0038__and(R_0005_0038__AND)
      & has_conj3(R_0005_0038__AND,R_0005_0039___EXCL_DRAG)
      & has_conj2(R_0005_0038__AND,R_0005_0037___EXCL_ADJUST)
      & has_conj1(R_0005_0038__AND,R_0005_0035___EXCL_SELECT)
      & has_conj2(R_0005_0041__AS_FAR_AS,R_0005_0032__PUSHING_R_0005_0033__OUT)
      & r_0005_0032__pushing_r_0005_0033__out(R_0005_0032__PUSHING_R_0005_0033__OUT)
      & has_arg1(R_0005_0032__PUSHING_R_0005_0033__OUT,R_0005_0045__THE_R_0005_0046__RESPONSIBILITY)
      & r_0005_0045__the_r_0005_0046__responsibility(R_0005_0045__THE_R_0005_0046__RESPONSIBILITY)
      & has_r_0005_0047__for(R_0005_0045__THE_R_0005_0046__RESPONSIBILITY,R_0005_0051__SHOULD_R_0005_0052__REACT)
      & r_0005_0051__should_r_0005_0052__react(R_0005_0051__SHOULD_R_0005_0052__REACT)
      & has_arg0(R_0005_0051__SHOULD_R_0005_0052__REACT,R_0005_0049__THE_R_0005_0050__COMPUTER)
      & has_nim149(R_0005_0051__SHOULD_R_0005_0052__REACT,R_0005_0048__HOW)
      & has_r_0005_0034__to_clr98(R_0005_0032__PUSHING_R_0005_0033__OUT,R_0005_0038__AND)
      & has_arg0(R_0005_0032__PUSHING_R_0005_0033__OUT,R_0005_0005__STICK)
      & has_conj2(Z_000_5_A_STICK_89,R_0005_0006__CREATES)
      & r_0005_0006__creates(R_0005_0006__CREATES)
      & has_arg1(R_0005_0006__CREATES,R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK)
      & has_arg0(R_0005_0006__CREATES,R_0005_0005__STICK)
      & has_r_0005_0001__In_nim5(R_0005_0006__CREATES,R_0005_0003__WORDS)
      & r_0005_0003__words(R_0005_0003__WORDS)
      & has_attrib6(R_0005_0003__WORDS,R_0005_0002__OTHER)
      & ! [Z_000_5_A_STICK_81,R_0005_0030__ELSE] :
          ( ( r_0005_0030__else(R_0005_0030__ELSE)
            & z_000_5_a_stick_81(Z_000_5_A_STICK_81)
            & has_qual84(Z_000_5_A_STICK_81,R_0005_0030__ELSE) )
         => ? [R_0005_0013__ONLY,R_0005_0020__MENU,R_0005_0016__THE_R_0005_0017__ICONBAR,R_0005_0014__CLICKS,R_0005_0025__THE_R_0005_0026__ICONBAR,R_0005_0023__DRAGS,R_0005_0022__OR,R_0005_0028__AND,R_0005_0011__THAT_R_0005_0012__HANDLES] :
              ( r_0005_0013__only(R_0005_0013__ONLY)
              & r_0005_0020__Menu(R_0005_0020__MENU)
              & r_0005_0025__the_r_0005_0026__iconbar(R_0005_0025__THE_R_0005_0026__ICONBAR)
              & r_0005_0011__that_r_0005_0012__handles(R_0005_0011__THAT_R_0005_0012__HANDLES)
              & has_arg1(R_0005_0011__THAT_R_0005_0012__HANDLES,R_0005_0028__AND)
              & r_0005_0028__and(R_0005_0028__AND)
              & has_conj2(R_0005_0028__AND,Z_000_5_A_STICK_81)
              & has_conj1(R_0005_0028__AND,R_0005_0022__OR)
              & r_0005_0022__or(R_0005_0022__OR)
              & has_conj2(R_0005_0022__OR,R_0005_0023__DRAGS)
              & r_0005_0023__drags(R_0005_0023__DRAGS)
              & has_r_0005_0024__to(R_0005_0023__DRAGS,R_0005_0025__THE_R_0005_0026__ICONBAR)
              & has_conj1(R_0005_0022__OR,R_0005_0014__CLICKS)
              & r_0005_0014__clicks(R_0005_0014__CLICKS)
              & has_r_0005_0015__on(R_0005_0014__CLICKS,R_0005_0016__THE_R_0005_0017__ICONBAR)
              & r_0005_0016__the_r_0005_0017__iconbar(R_0005_0016__THE_R_0005_0017__ICONBAR)
              & has_r_0005_0019__including(R_0005_0016__THE_R_0005_0017__ICONBAR,R_0005_0020__MENU)
              & has_attrib37(R_0005_0022__OR,R_0005_0013__ONLY)
              & has_arg0(R_0005_0011__THAT_R_0005_0012__HANDLES,R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK) ) ) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (ADJP (ADJ other;{other}))
                      (NS words;{word})))
          (PUNC ,)
          (NP-SBJ;{STICK} (NPR stick;{stick}))
          (VBP;_Tn_ creates;{create})
          (NP-OB1 (D a;{a})
                  (N wimp;{wimp})
                  (PUNC <hyphen>)
                  (N task;{task})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBP;_Tn_ handles;{handle})
                          (NP-OB1 (NLYR (NLYR (ADJP (ADJ only;{only}))
                                              (NLYR (NLYR (NS clicks;{click})
                                                          (PP (P-ROLE on;{on})
                                                              (NP (D the;{the})
                                                                  (N iconbar;{iconbar})
                                                                  (PULB -LRB-)
                                                                  (PP (P-ROLE including;{including})
                                                                      (NP (NPR Menu;{Menu})))
                                                                  (PURB -RRB-))))
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (NS drags;{drag})
                                                                 (PP (P-ROLE to;{to})
                                                                     (NP (D the;{the})
                                                                         (N iconbar;{iconbar})))))))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (NLYR (Q;_nphd_ nothing;{nothing})
                                                     (ADVP (ADV else;{else}))))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_phr_Vp.pr_ pushing;{push[out,to]})
                            (RP out;{out})
                            (PP-CLR (P-ROLE to;{to})
                                    (NP;{ACTIONS} (NLYR (NLYR (NPR <excl>Select))
                                                        (PUNC ,)
                                                        (CONJP (NLYR (NPR <excl>Adjust)))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (NPR <excl>Drag))))))
                            (PUNC ,)
                            (PP-SCON (P-CONN as_far_as;{as_far_as})
                                     (IP-ADV (NP-SBJ;{ACTIONS} (PRO they;{they}))
                                             (VBP;_I_ exist;{exist})))
                            (PUNC ,)
                            (NP-OB1 (D the;{the})
                                    (N responsibility;{responsibility})
                                    (PP (P-ROLE for;{for})
                                        (CP-QUE (IP-SUB (ADVP-160 (WADV how;{how}))
                                                        (NP-SBJ (D the;{the})
                                                                (N computer;{computer}))
                                                        (MD;_cat_Vi_ should;{shall})
                                                        (IP-INF-CAT (ADVP-NIM *ICH*-160)
                                                                    (VB;_I_ react;{react}))))))))
          (PUNC .))
  (ID 5_a_stick))