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

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,attrib).
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,nim).
arc(r_0004_0014__execute,r_0004_0018__programs,arg1).
arc(r_0004_0017__wimp,r_0004_0015__non,qual).
arc(r_0004_0018__programs,r_0004_0017__wimp,nim).
arc(r_0004_0018__programs,r_0004_0021__languages,r_0004_0019__in).
arc(r_0004_0021__languages,r_0004_0020__other,attrib).

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_0017__WIMP,R_0004_0020__OTHER,R_0004_0021__LANGUAGES,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_0018__PROGRAMS)
      & r_0004_0018__programs(R_0004_0018__PROGRAMS)
      & has_r_0004_0019__in(R_0004_0018__PROGRAMS,R_0004_0021__LANGUAGES)
      & r_0004_0021__languages(R_0004_0021__LANGUAGES)
      & has_attrib(R_0004_0021__LANGUAGES,R_0004_0020__OTHER)
      & has_nim(R_0004_0018__PROGRAMS,R_0004_0017__WIMP)
      & r_0004_0017__wimp(R_0004_0017__WIMP)
      & has_qual(R_0004_0017__WIMP,R_0004_0015__NON)
      & has_nim(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_attrib(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) ) ).