arc(r_0004_0005__or, r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files, conj1).
arc(r_0004_0005__or, r_0004_0006__TaskObey_r_0004_0007__files, conj2).
arc(r_0004_0006__TaskObey_r_0004_0007__files, r_0004_0010__circumstances, r_0004_0008__in).
arc(r_0004_0010__circumstances, r_0004_0009__appropriate, attrib25).
arc(r_0004_0012__may, r_0004_0014__execute, scope).
arc(r_0004_0014__execute, r_0004_0005__or, arg0).
arc(r_0004_0014__execute, r_0004_0013__typically, nim35).
arc(r_0004_0014__execute, r_0004_0017__wimp_r_0004_0018__programs, arg1).
arc(r_0004_0017__wimp_r_0004_0018__programs, r_0004_0015__non, qual41).
arc(r_0004_0017__wimp_r_0004_0018__programs, r_0004_0021__languages, r_0004_0019__in).
arc(r_0004_0021__languages, r_0004_0020__other, attrib54).

fof(formula,axiom,
    ? [R_0004_0001__THESE_R_0004_0002__OBEY_R_0004_0003__FILES,R_0004_0009__APPROPRIATE,R_0004_0010__CIRCUMSTANCES,R_0004_0006__TASKOBEY_R_0004_0007__FILES,R_0004_0005__OR,R_0004_0013__TYPICALLY,R_0004_0015__NON,R_0004_0020__OTHER,R_0004_0021__LANGUAGES,R_0004_0017__WIMP_R_0004_0018__PROGRAMS,R_0004_0012__MAY_R_0004_0014__EXECUTE] :
      ( r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files(R_0004_0001__THESE_R_0004_0002__OBEY_R_0004_0003__FILES)
      & r_0004_0009__appropriate(R_0004_0009__APPROPRIATE)
      & r_0004_0013__typically(R_0004_0013__TYPICALLY)
      & r_0004_0015__non(R_0004_0015__NON)
      & r_0004_0020__other(R_0004_0020__OTHER)
      & r_0004_0012__may_r_0004_0014__execute(R_0004_0012__MAY_R_0004_0014__EXECUTE)
      & has_arg1(R_0004_0012__MAY_R_0004_0014__EXECUTE,R_0004_0017__WIMP_R_0004_0018__PROGRAMS)
      & r_0004_0017__wimp_r_0004_0018__programs(R_0004_0017__WIMP_R_0004_0018__PROGRAMS)
      & has_r_0004_0019__in(R_0004_0017__WIMP_R_0004_0018__PROGRAMS,R_0004_0021__LANGUAGES)
      & r_0004_0021__languages(R_0004_0021__LANGUAGES)
      & has_attrib54(R_0004_0021__LANGUAGES,R_0004_0020__OTHER)
      & has_qual41(R_0004_0017__WIMP_R_0004_0018__PROGRAMS,R_0004_0015__NON)
      & has_nim35(R_0004_0012__MAY_R_0004_0014__EXECUTE,R_0004_0013__TYPICALLY)
      & has_arg0(R_0004_0012__MAY_R_0004_0014__EXECUTE,R_0004_0005__OR)
      & r_0004_0005__or(R_0004_0005__OR)
      & has_conj2(R_0004_0005__OR,R_0004_0006__TASKOBEY_R_0004_0007__FILES)
      & r_0004_0006__TaskObey_r_0004_0007__files(R_0004_0006__TASKOBEY_R_0004_0007__FILES)
      & has_r_0004_0008__in(R_0004_0006__TASKOBEY_R_0004_0007__FILES,R_0004_0010__CIRCUMSTANCES)
      & r_0004_0010__circumstances(R_0004_0010__CIRCUMSTANCES)
      & has_attrib25(R_0004_0010__CIRCUMSTANCES,R_0004_0009__APPROPRIATE)
      & has_conj1(R_0004_0005__OR,R_0004_0001__THESE_R_0004_0002__OBEY_R_0004_0003__FILES) ) ).

( (IP-MAT (NP-SBJ (NLYR (NLYR;{OBEY_FILES} (D These;{these})
                                           (NPR Obey;{Obey})
                                           (NS files;{file}))
                        (PULB -LRB-)
                        (CONJP (CONJ or;{or})
                               (NLYR (NPR TaskObey;{TaskObey})
                                     (NS files;{file})
                                     (PP (P-ROLE in;{in})
                                         (NP (ADJP (ADJ appropriate;{appropriate}))
                                             (NS circumstances;{circumstance})))))
                        (PURB -RRB-)))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (ADVP-NIM (ADV typically;{typically}))
                      (VB;_Tn_ execute;{execute})
                      (NP-OB1 (ADVP (ADV non;{non}))
                              (PUNC <hyphen>)
                              (N wimp;{wimp})
                              (NS programs;{program})
                              (PP (P-ROLE in;{in})
                                  (NP (ADJP (ADJ other;{other}))
                                      (NS languages;{language})))))
          (PUNC .))
  (ID 4_a_stick))