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,
    ? [Z_5_A_STICK_89,R_5_41_AS_FAR_AS,R_5_43_EXIST,R_5_32_PUSHING_OUT,R_5_45_THE_RESPONSIBILITY,R_5_51_SHOULD_REACT,R_5_49_THE_COMPUTER,R_5_48_HOW,R_5_38_AND,R_5_35__EXCL_SELECT,R_5_37__EXCL_ADJUST,R_5_39__EXCL_DRAG,R_5_6_CREATES,R_5_5_STICK,R_5_7_A_WIMP_TASK,R_5_3_WORDS,R_5_2_OTHER] :
      ( the_computer(R_5_49_THE_COMPUTER)
      & how(R_5_48_HOW)
      & _excl_Select(R_5_35__EXCL_SELECT)
      & _excl_Adjust(R_5_37__EXCL_ADJUST)
      & _excl_Drag(R_5_39__EXCL_DRAG)
      & stick(R_5_5_STICK)
      & a_wimp_task(R_5_7_A_WIMP_TASK)
      & other(R_5_2_OTHER)
      & ! [Z_5_A_STICK_81,R_5_30_ELSE] :
          ( ( else(R_5_30_ELSE)
            & z_5_a_stick_81(Z_5_A_STICK_81)
            & qual84(Z_5_A_STICK_81,R_5_30_ELSE) )
         => ? [R_5_11_THAT_HANDLES,R_5_28_AND,R_5_22_OR,R_5_13_ONLY,R_5_14_CLICKS,R_5_16_THE_ICONBAR,R_5_20_MENU,R_5_23_DRAGS,R_5_25_THE_ICONBAR] :
              ( only(R_5_13_ONLY)
              & menu(R_5_20_MENU)
              & the_iconbar(R_5_25_THE_ICONBAR)
              & that_handles(R_5_11_THAT_HANDLES,R_5_7_A_WIMP_TASK,R_5_28_AND)
              & and(R_5_28_AND)
              & conj1(R_5_28_AND,R_5_22_OR)
              & or(R_5_22_OR)
              & attrib37(R_5_22_OR,R_5_13_ONLY)
              & conj1(R_5_22_OR,R_5_14_CLICKS)
              & clicks(R_5_14_CLICKS)
              & on(R_5_14_CLICKS,R_5_16_THE_ICONBAR)
              & the_iconbar(R_5_16_THE_ICONBAR)
              & including(R_5_16_THE_ICONBAR,R_5_20_MENU)
              & conj2(R_5_22_OR,R_5_23_DRAGS)
              & drags(R_5_23_DRAGS)
              & to(R_5_23_DRAGS,R_5_25_THE_ICONBAR)
              & conj2(R_5_28_AND,Z_5_A_STICK_81) ) )
      & z_5_a_stick_89(Z_5_A_STICK_89)
      & conj1(Z_5_A_STICK_89,R_5_41_AS_FAR_AS)
      & as_far_as(R_5_41_AS_FAR_AS)
      & conj1(R_5_41_AS_FAR_AS,R_5_43_EXIST)
      & exist(R_5_43_EXIST,R_5_38_AND)
      & and(R_5_38_AND)
      & conj1(R_5_38_AND,R_5_35__EXCL_SELECT)
      & conj2(R_5_38_AND,R_5_37__EXCL_ADJUST)
      & conj3(R_5_38_AND,R_5_39__EXCL_DRAG)
      & conj2(R_5_41_AS_FAR_AS,R_5_32_PUSHING_OUT)
      & pushing_out(R_5_32_PUSHING_OUT,R_5_5_STICK,R_5_45_THE_RESPONSIBILITY)
      & the_responsibility(R_5_45_THE_RESPONSIBILITY)
      & for(R_5_45_THE_RESPONSIBILITY,R_5_51_SHOULD_REACT)
      & should_react(R_5_51_SHOULD_REACT,R_5_49_THE_COMPUTER)
      & nim149(R_5_51_SHOULD_REACT,R_5_48_HOW)
      & to_clr98(R_5_32_PUSHING_OUT,R_5_38_AND)
      & conj2(Z_5_A_STICK_89,R_5_6_CREATES)
      & creates(R_5_6_CREATES,R_5_5_STICK,R_5_7_A_WIMP_TASK)
      & in_nim5(R_5_6_CREATES,R_5_3_WORDS)
      & words(R_5_3_WORDS)
      & attrib6(R_5_3_WORDS,R_5_2_OTHER) ) ).

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