TSPC 2_a_stick

2_a_stick
It is useful for those wimp programs which do not open windows but put an icon on the iconbar, and for which all user input is either by clicking on the iconbar icon or by dragging something to it.

( (IP-MAT (NP-SBJ;{STICK} (PRO It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ useful;{useful}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D those;{those})
                      (ADJP (ADJ wimp;{wimp}))
                      (NS programs;{program})
                      (IP-REL (ILYR (ILYR (NP-SBJ (RPRO which;{which}))
                                          (ILYR (ILYR (DOP do;{do})
                                                      (NEG not;{not})
                                                      (VB;_Tn_ open;{open})
                                                      (NP-OB1 (NS windows;{window})))
                                                (CONJP (CONJ but;{but})
                                                       (ILYR (VBP;_Tn.pr_ put;{put})
                                                             (NP-OB1;{ICON} (D an;{an})
                                                                            (N icon;{icon}))
                                                             (PP-NIM (P-ROLE on;{on})
                                                                     (NP;{ICONBAR} (D the;{the})
                                                                                   (N iconbar;{iconbar})))))))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (ILYR (PP-NIM (P-ROLE for;{for})
                                                         (NP (RPRO which;{which})))
                                                 (NP-SBJ (Q all;{all})
                                                         (N user;{user})
                                                         (N input;{input}))
                                                 (BEP;_Ipr_ is;{be[by]})
                                                 (PP-CLR (CONJ either;{either})
                                                         (PP-CLR (P-ROLE by;{by})
                                                                 (IP-PPL3 (VAG;_Ipr_ clicking;{click[on]})
                                                                          (PP-CLR (P-ROLE on;{on})
                                                                                  (NP;{ICON} (D the;{the})
                                                                                             (N iconbar;{iconbar})
                                                                                             (N icon;{icon})))))
                                                         (CONJP (CONJ or;{or})
                                                                (PP-CLR (P-ROLE by;{by})
                                                                        (IP-PPL3 (VAG;_Tn.pr_ dragging;{drag})
                                                                                 (NP-OB1 (D;_nphd_ something;{something}))
                                                                                 (PP-NIM (P-ROLE to;{to})
                                                                                         (NP;{ICON} (PRO it;{it})))))))))))))
          (PUNC .))
  (ID 2_a_stick))

arc(r_0002_0002__is,r_0002_0001__It,arg0).
arc(r_0002_0002__is,r_0002_0003__useful,prd).
arc(r_0002_0002__is,r_0002_0005__those_r_0002_0007__programs,r_0002_0004__for__nim).
arc(r_0002_0005__those_r_0002_0007__programs,r_0002_0006__wimp,attrib).
arc(r_0002_0009__do_r_0002_0011__open,r_0002_0005__those_r_0002_0007__programs,arg0).
arc(r_0002_0009__do_r_0002_0011__open,r_0002_0012__windows,arg1).
arc(r_0002_0010__not,r_0002_0009__do_r_0002_0011__open,keep_scope).
arc(r_0002_0013__but,r_0002_0010__not,conj1).
arc(r_0002_0013__but,r_0002_0014__put,conj2).
arc(r_0002_0014__put,r_0002_0005__those_r_0002_0007__programs,arg0).
arc(r_0002_0014__put,r_0002_0015__an_r_0002_0016__icon,arg1).
arc(r_0002_0014__put,r_0002_0018__the_r_0002_0019__iconbar,r_0002_0017__on__nim).
arc(r_0002_0021__and,r_0002_0013__but,conj1).
arc(r_0002_0021__and,r_0002_0024__all__quant,conj2).
arc(r_0002_0024__all__quant,r_0002_0025__user_r_0002_0026__input,restriction).
arc(r_0002_0024__all__quant,r_0002_0027__is,scope).
arc(r_0002_0027__is,r_0002_0005__those_r_0002_0007__programs,r_0002_0022__for__nim).
arc(r_0002_0027__is,r_0002_0025__user_r_0002_0026__input,arg0).
arc(r_0002_0027__is,r_0002_0028__either_r_0002_0035__or,clr).
arc(r_0002_0028__either_r_0002_0035__or,r_0002_0030__clicking_r_0002_0031__on,r_0002_0029__by__clr).
arc(r_0002_0028__either_r_0002_0035__or,r_0002_0037__dragging,r_0002_0036__by__clr).
arc(r_0002_0030__clicking_r_0002_0031__on,r_0002_0015__an_r_0002_0016__icon,arg1).
arc(r_0002_0030__clicking_r_0002_0031__on,z_0002_5015,arg0).
arc(r_0002_0037__dragging,r_0002_0015__an_r_0002_0016__icon,r_0002_0039__to__nim).
arc(r_0002_0037__dragging,r_0002_0038__something,arg1).
arc(r_0002_0037__dragging,z_0002_5020,arg0).

fof(formula,axiom,
    ? [R_0002_0001__IT,R_0002_0003__USEFUL,R_0002_0006__WIMP,R_0002_0005__THOSE_R_0002_0007__PROGRAMS,R_0002_0002__IS,R_0002_0015__AN_R_0002_0016__ICON,R_0002_0018__THE_R_0002_0019__ICONBAR,R_0002_0014__PUT,R_0002_0013__BUT,R_0002_0021__AND] :
      ( r_0002_0001__It(R_0002_0001__IT)
      & r_0002_0003__useful(R_0002_0003__USEFUL)
      & r_0002_0006__wimp(R_0002_0006__WIMP)
      & r_0002_0015__an_r_0002_0016__icon(R_0002_0015__AN_R_0002_0016__ICON)
      & r_0002_0018__the_r_0002_0019__iconbar(R_0002_0018__THE_R_0002_0019__ICONBAR)
      & r_0002_0021__and(R_0002_0021__AND)
      & ! [R_0002_0025__USER_R_0002_0026__INPUT] :
          ( r_0002_0025__user_r_0002_0026__input(R_0002_0025__USER_R_0002_0026__INPUT)
         => ? [Z_0002_5015,R_0002_0030__CLICKING_R_0002_0031__ON,R_0002_0038__SOMETHING,Z_0002_5020,R_0002_0037__DRAGGING,R_0002_0028__EITHER_R_0002_0035__OR,R_0002_0027__IS] :
              ( r_0002_0038__something(R_0002_0038__SOMETHING)
              & z_0002_5015(Z_0002_5015)
              & z_0002_5020(Z_0002_5020)
              & r_0002_0027__is(R_0002_0027__IS)
              & has_clr(R_0002_0027__IS,R_0002_0028__EITHER_R_0002_0035__OR)
              & r_0002_0028__either_r_0002_0035__or(R_0002_0028__EITHER_R_0002_0035__OR)
              & has_r_0002_0036__by__clr(R_0002_0028__EITHER_R_0002_0035__OR,R_0002_0037__DRAGGING)
              & r_0002_0037__dragging(R_0002_0037__DRAGGING)
              & has_arg0(R_0002_0037__DRAGGING,Z_0002_5020)
              & has_arg1(R_0002_0037__DRAGGING,R_0002_0038__SOMETHING)
              & has_r_0002_0039__to__nim(R_0002_0037__DRAGGING,R_0002_0015__AN_R_0002_0016__ICON)
              & has_r_0002_0029__by__clr(R_0002_0028__EITHER_R_0002_0035__OR,R_0002_0030__CLICKING_R_0002_0031__ON)
              & r_0002_0030__clicking_r_0002_0031__on(R_0002_0030__CLICKING_R_0002_0031__ON)
              & has_arg0(R_0002_0030__CLICKING_R_0002_0031__ON,Z_0002_5015)
              & has_arg1(R_0002_0030__CLICKING_R_0002_0031__ON,R_0002_0015__AN_R_0002_0016__ICON)
              & has_arg0(R_0002_0027__IS,R_0002_0025__USER_R_0002_0026__INPUT)
              & has_r_0002_0022__for__nim(R_0002_0027__IS,R_0002_0005__THOSE_R_0002_0007__PROGRAMS) ) )
      & has_conj1(R_0002_0021__AND,R_0002_0013__BUT)
      & r_0002_0013__but(R_0002_0013__BUT)
      & has_conj2(R_0002_0013__BUT,R_0002_0014__PUT)
      & r_0002_0014__put(R_0002_0014__PUT)
      & has_r_0002_0017__on__nim(R_0002_0014__PUT,R_0002_0018__THE_R_0002_0019__ICONBAR)
      & has_arg1(R_0002_0014__PUT,R_0002_0015__AN_R_0002_0016__ICON)
      & has_arg0(R_0002_0014__PUT,R_0002_0005__THOSE_R_0002_0007__PROGRAMS)
      & r_0002_0005__those_r_0002_0007__programs(R_0002_0005__THOSE_R_0002_0007__PROGRAMS)
      & has_attrib(R_0002_0005__THOSE_R_0002_0007__PROGRAMS,R_0002_0006__WIMP)
      & has_conj1(R_0002_0013__BUT,R_0002_0010__NOT)
      & ~ ? [R_0002_0012__WINDOWS,R_0002_0009__DO_R_0002_0011__OPEN] :
            ( r_0002_0012__windows(R_0002_0012__WINDOWS)
            & r_0002_0009__do_r_0002_0011__open(R_0002_0009__DO_R_0002_0011__OPEN)
            & has_arg1(R_0002_0009__DO_R_0002_0011__OPEN,R_0002_0012__WINDOWS)
            & has_arg0(R_0002_0009__DO_R_0002_0011__OPEN,R_0002_0005__THOSE_R_0002_0007__PROGRAMS) )
      & r_0002_0002__is(R_0002_0002__IS)
      & has_r_0002_0004__for__nim(R_0002_0002__IS,R_0002_0005__THOSE_R_0002_0007__PROGRAMS)
      & has_prd(R_0002_0002__IS,R_0002_0003__USEFUL)
      & has_arg0(R_0002_0002__IS,R_0002_0001__IT) ) ).