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.

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

arc(r_0005_0003__words,r_0005_0002__other,attrib).
arc(r_0005_0006__creates,r_0005_0003__words,r_0005_0001__In__nim).
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_0012__handles,r_0005_0007__a_r_0005_0008__wimp_r_0005_0010__task,inv_arg0).
arc(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,attrib).
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_0005_5014,conj2).
arc(r_0005_0029__nothing__quant,r_0005_0028__and,scope).
arc(r_0005_0029__nothing__quant,z_0005_5014,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__clr).
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,nim).
arc(r_0005_0052__react,r_0005_0049__the_r_0005_0050__computer,arg0).
arc(z_0005_5014,r_0005_0030__else,qual).
arc(z_0005_5016,r_0005_0006__creates,scope).
arc(z_0005_5016,r_0005_0041__as_far_as,restriction).

fof(formula,axiom,
    ? [R_0005_0002__OTHER,R_0005_0003__WORDS,R_0005_0005__STICK,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_0030__ELSE,Z_0005_5014,R_0005_0028__AND,R_0005_0012__HANDLES,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_0005_5016] :
      ( r_0005_0002__other(R_0005_0002__OTHER)
      & r_0005_0005__stick(R_0005_0005__STICK)
      & 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_0030__else(R_0005_0030__ELSE)
      & 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_0005_5016(Z_0005_5016)
      & has_conj1(Z_0005_5016,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_nim(R_0005_0051__SHOULD_R_0005_0052__REACT,R_0005_0048__HOW)
      & has_r_0005_0034__to__clr(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_0005_5016,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)
      & r_0005_0007__a_r_0005_0008__wimp_r_0005_0010__task(R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK)
      & has_inv_arg0(R_0005_0007__A_R_0005_0008__WIMP_R_0005_0010__TASK,R_0005_0012__HANDLES)
      & r_0005_0012__handles(R_0005_0012__HANDLES)
      & has_arg1(R_0005_0012__HANDLES,R_0005_0028__AND)
      & r_0005_0028__and(R_0005_0028__AND)
      & has_conj2(R_0005_0028__AND,Z_0005_5014)
      & z_0005_5014(Z_0005_5014)
      & has_qual(Z_0005_5014,R_0005_0030__ELSE)
      & 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_attrib(R_0005_0022__OR,R_0005_0013__ONLY)
      & has_arg0(R_0005_0006__CREATES,R_0005_0005__STICK)
      & has_r_0005_0001__In__nim(R_0005_0006__CREATES,R_0005_0003__WORDS)
      & r_0005_0003__words(R_0005_0003__WORDS)
      & has_attrib(R_0005_0003__WORDS,R_0005_0002__OTHER)
      & ( z_0005_5014(Z_0005_5014)
       => r_0005_0012__handles(R_0005_0012__HANDLES) ) ) ).