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_nim13).
arc(r_0002_0005__those_r_0002_0007__programs, r_0002_0006__wimp, attrib16).
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_nim52).
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_nim66).
arc(r_0002_0027__is, r_0002_0025__user_r_0002_0026__input, arg0).

fof(formula,axiom,
    ? [R_2_2_IS,R_2_1_IT,R_2_3_USEFUL,R_2_21_AND,R_2_13_BUT,R_2_14_PUT,R_2_5_THOSE_PROGRAMS,R_2_6_WIMP,R_2_15_AN_ICON,R_2_18_THE_ICONBAR] :
      ( it(R_2_1_IT)
      & useful(R_2_3_USEFUL)
      & wimp(R_2_6_WIMP)
      & an_icon(R_2_15_AN_ICON)
      & the_iconbar(R_2_18_THE_ICONBAR)
      & is(R_2_2_IS,R_2_1_IT,R_2_3_USEFUL)
      & for_nim13(R_2_2_IS,R_2_5_THOSE_PROGRAMS)
      & those_programs(R_2_5_THOSE_PROGRAMS)
      & attrib16(R_2_5_THOSE_PROGRAMS,R_2_6_WIMP)
      & ! [R_2_25_USER_INPUT] :
          ( user_input(R_2_25_USER_INPUT)
         => ? [R_2_27_IS] :
              ( is(R_2_27_IS,R_2_25_USER_INPUT)
              & for_nim66(R_2_27_IS,R_2_5_THOSE_PROGRAMS) ) )
      & conj2(CONJ2)
      & and(R_2_21_AND)
      & conj1(R_2_21_AND,R_2_13_BUT)
      & but(R_2_13_BUT)
      & conj1(R_2_13_BUT,R_2_10_NOT)
      & ~ ? [R_2_9_DO_OPEN,R_2_12_WINDOWS] :
            ( windows(R_2_12_WINDOWS)
            & do_open(R_2_9_DO_OPEN,R_2_5_THOSE_PROGRAMS,R_2_12_WINDOWS) )
      & conj2(R_2_13_BUT,R_2_14_PUT)
      & put(R_2_14_PUT,R_2_5_THOSE_PROGRAMS,R_2_15_AN_ICON)
      & on_nim52(R_2_14_PUT,R_2_18_THE_ICONBAR) ) ).

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