Context                Previous, Next                Top


4_a_stick
These Obey files (or TaskObey files in appropriate circumstances) may typically execute non - wimp programs in other languages.

%3 r_0004_0005__or or r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files These Obey files r_0004_0005__or->r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files [conj1] r_0004_0006__TaskObey_r_0004_0007__files TaskObey files r_0004_0005__or->r_0004_0006__TaskObey_r_0004_0007__files [conj2] r_0004_0010__circumstances circumstances r_0004_0006__TaskObey_r_0004_0007__files->r_0004_0010__circumstances in r_0004_0009__appropriate appropriate r_0004_0010__circumstances->r_0004_0009__appropriate [attrib] r_0004_0012__may may r_0004_0014__execute execute r_0004_0012__may->r_0004_0014__execute [scope] r_0004_0014__execute->r_0004_0005__or [arg0] r_0004_0013__typically typically r_0004_0014__execute->r_0004_0013__typically [nim] r_0004_0017__wimp_r_0004_0018__programs wimp programs r_0004_0014__execute->r_0004_0017__wimp_r_0004_0018__programs [arg1] r_0004_0015__non non r_0004_0017__wimp_r_0004_0018__programs->r_0004_0015__non [qual] r_0004_0021__languages languages r_0004_0017__wimp_r_0004_0018__programs->r_0004_0021__languages in r_0004_0020__other other r_0004_0021__languages->r_0004_0020__other [attrib] 
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).


%3 r_0004_0021__languages languages r_0004_0020__other other r_0004_0021__languages->r_0004_0020__other [attrib] r_0004_0017__wimp_r_0004_0018__programs wimp programs r_0004_0017__wimp_r_0004_0018__programs->r_0004_0021__languages in r_0004_0015__non non r_0004_0017__wimp_r_0004_0018__programs->r_0004_0015__non [qual] r_0004_0012__may_r_0004_0014__execute may execute r_0004_0012__may_r_0004_0014__execute->r_0004_0017__wimp_r_0004_0018__programs [arg1] r_0004_0013__typically typically r_0004_0012__may_r_0004_0014__execute->r_0004_0013__typically [nim] r_0004_0005__or or r_0004_0012__may_r_0004_0014__execute->r_0004_0005__or [arg0] r_0004_0006__TaskObey_r_0004_0007__files TaskObey files r_0004_0005__or->r_0004_0006__TaskObey_r_0004_0007__files [conj2] r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files These Obey files r_0004_0005__or->r_0004_0001__These_r_0004_0002__Obey_r_0004_0003__files [conj1] r_0004_0010__circumstances circumstances r_0004_0009__appropriate appropriate r_0004_0010__circumstances->r_0004_0009__appropriate [attrib] r_0004_0006__TaskObey_r_0004_0007__files->r_0004_0010__circumstances in 
fof(formula,axiom,
    ? [R_4_12_MAY_EXECUTE,R_4_5_OR,R_4_1_THESE_OBEY_FILES,R_4_6_TASKOBEY_FILES,R_4_10_CIRCUMSTANCES,R_4_9_APPROPRIATE,R_4_17_WIMP_PROGRAMS,R_4_15_NON,R_4_21_LANGUAGES,R_4_20_OTHER,R_4_13_TYPICALLY] :
      ( these_Obey_files(R_4_1_THESE_OBEY_FILES)
      & appropriate(R_4_9_APPROPRIATE)
      & non(R_4_15_NON)
      & other(R_4_20_OTHER)
      & typically(R_4_13_TYPICALLY)
      & may_execute(R_4_12_MAY_EXECUTE,R_4_5_OR,R_4_17_WIMP_PROGRAMS)
      & or(R_4_5_OR)
      & conj1(R_4_5_OR,R_4_1_THESE_OBEY_FILES)
      & conj2(R_4_5_OR,R_4_6_TASKOBEY_FILES)
      & taskObey_files(R_4_6_TASKOBEY_FILES)
      & in(R_4_6_TASKOBEY_FILES,R_4_10_CIRCUMSTANCES)
      & circumstances(R_4_10_CIRCUMSTANCES)
      & attrib25(R_4_10_CIRCUMSTANCES,R_4_9_APPROPRIATE)
      & wimp_programs(R_4_17_WIMP_PROGRAMS)
      & qual41(R_4_17_WIMP_PROGRAMS,R_4_15_NON)
      & in(R_4_17_WIMP_PROGRAMS,R_4_21_LANGUAGES)
      & languages(R_4_21_LANGUAGES)
      & attrib54(R_4_21_LANGUAGES,R_4_20_OTHER)
      & nim35(R_4_12_MAY_EXECUTE,R_4_13_TYPICALLY) ) ).


n4_a_stick n4_a_stick__1_1_1_1_1_1 These n4_a_stick__1_1_1_1_2_1 Obey n4_a_stick__1_1_1_1_3_1 files n4_a_stick__1_1_1_2_1 -LRB- n4_a_stick__1_1_1_3_1_1 or n4_a_stick__1_1_1_3_2_1_1 TaskObey n4_a_stick__1_1_1_3_2_2_1 files n4_a_stick__1_1_1_3_2_3_1_1 in n4_a_stick__1_1_1_3_2_3_2_1_1_1 appropriate n4_a_stick__1_1_1_3_2_3_2_2_1 circumstances n4_a_stick__1_1_1_4_1 -RRB- n4_a_stick__1_2_1 may n4_a_stick__1_3_1_1_1 typically n4_a_stick__1_3_2_1 execute n4_a_stick__1_3_3_1_1_1 non n4_a_stick__1_3_3_2_1 - n4_a_stick__1_3_3_3_1 wimp n4_a_stick__1_3_3_4_1 programs n4_a_stick__1_3_3_5_1_1 in n4_a_stick__1_3_3_5_2_1_1_1 other n4_a_stick__1_3_3_5_2_2_1 languages n4_a_stick__1_4_1 . n4_a_stick__1 IP-MAT n4_a_stick__1_1 NP-SBJ n4_a_stick__1->n4_a_stick__1_1 n4_a_stick__1_2 MD;_cat_Vi_ n4_a_stick__1->n4_a_stick__1_2 n4_a_stick__1_3 IP-INF-CAT n4_a_stick__1->n4_a_stick__1_3 n4_a_stick__1_4 PUNC n4_a_stick__1->n4_a_stick__1_4 n4_a_stick__1_1_1 NLYR n4_a_stick__1_1->n4_a_stick__1_1_1 n4_a_stick__1_1_1_1 NLYR n4_a_stick__1_1_1->n4_a_stick__1_1_1_1 n4_a_stick__1_1_1_2 PULB n4_a_stick__1_1_1->n4_a_stick__1_1_1_2 n4_a_stick__1_1_1_3 CONJP n4_a_stick__1_1_1->n4_a_stick__1_1_1_3 n4_a_stick__1_1_1_4 PURB n4_a_stick__1_1_1->n4_a_stick__1_1_1_4 n4_a_stick__1_1_1_1_1 D n4_a_stick__1_1_1_1->n4_a_stick__1_1_1_1_1 n4_a_stick__1_1_1_1_2 NPR n4_a_stick__1_1_1_1->n4_a_stick__1_1_1_1_2 n4_a_stick__1_1_1_1_3 NS n4_a_stick__1_1_1_1->n4_a_stick__1_1_1_1_3 n4_a_stick__1_1_1_1_1->n4_a_stick__1_1_1_1_1_1 n4_a_stick__1_1_1_1_2->n4_a_stick__1_1_1_1_2_1 n4_a_stick__1_1_1_1_3->n4_a_stick__1_1_1_1_3_1 n4_a_stick__1_1_1_2->n4_a_stick__1_1_1_2_1 n4_a_stick__1_1_1_3_1 CONJ n4_a_stick__1_1_1_3->n4_a_stick__1_1_1_3_1 n4_a_stick__1_1_1_3_2 NLYR n4_a_stick__1_1_1_3->n4_a_stick__1_1_1_3_2 n4_a_stick__1_1_1_3_1->n4_a_stick__1_1_1_3_1_1 n4_a_stick__1_1_1_3_2_1 NPR n4_a_stick__1_1_1_3_2->n4_a_stick__1_1_1_3_2_1 n4_a_stick__1_1_1_3_2_2 NS n4_a_stick__1_1_1_3_2->n4_a_stick__1_1_1_3_2_2 n4_a_stick__1_1_1_3_2_3 PP n4_a_stick__1_1_1_3_2->n4_a_stick__1_1_1_3_2_3 n4_a_stick__1_1_1_3_2_1->n4_a_stick__1_1_1_3_2_1_1 n4_a_stick__1_1_1_3_2_2->n4_a_stick__1_1_1_3_2_2_1 n4_a_stick__1_1_1_3_2_3_1 P-ROLE n4_a_stick__1_1_1_3_2_3->n4_a_stick__1_1_1_3_2_3_1 n4_a_stick__1_1_1_3_2_3_2 NP n4_a_stick__1_1_1_3_2_3->n4_a_stick__1_1_1_3_2_3_2 n4_a_stick__1_1_1_3_2_3_1->n4_a_stick__1_1_1_3_2_3_1_1 n4_a_stick__1_1_1_3_2_3_2_1 ADJP n4_a_stick__1_1_1_3_2_3_2->n4_a_stick__1_1_1_3_2_3_2_1 n4_a_stick__1_1_1_3_2_3_2_2 NS n4_a_stick__1_1_1_3_2_3_2->n4_a_stick__1_1_1_3_2_3_2_2 n4_a_stick__1_1_1_3_2_3_2_1_1 ADJ n4_a_stick__1_1_1_3_2_3_2_1->n4_a_stick__1_1_1_3_2_3_2_1_1 n4_a_stick__1_1_1_3_2_3_2_1_1->n4_a_stick__1_1_1_3_2_3_2_1_1_1 n4_a_stick__1_1_1_3_2_3_2_2->n4_a_stick__1_1_1_3_2_3_2_2_1 n4_a_stick__1_1_1_4->n4_a_stick__1_1_1_4_1 n4_a_stick__1_2->n4_a_stick__1_2_1 n4_a_stick__1_3_1 ADVP-NIM n4_a_stick__1_3->n4_a_stick__1_3_1 n4_a_stick__1_3_2 VB;_Tn_ n4_a_stick__1_3->n4_a_stick__1_3_2 n4_a_stick__1_3_3 NP-OB1 n4_a_stick__1_3->n4_a_stick__1_3_3 n4_a_stick__1_3_1_1 ADV n4_a_stick__1_3_1->n4_a_stick__1_3_1_1 n4_a_stick__1_3_1_1->n4_a_stick__1_3_1_1_1 n4_a_stick__1_3_2->n4_a_stick__1_3_2_1 n4_a_stick__1_3_3_1 ADVP n4_a_stick__1_3_3->n4_a_stick__1_3_3_1 n4_a_stick__1_3_3_2 PUNC n4_a_stick__1_3_3->n4_a_stick__1_3_3_2 n4_a_stick__1_3_3_3 N n4_a_stick__1_3_3->n4_a_stick__1_3_3_3 n4_a_stick__1_3_3_4 NS n4_a_stick__1_3_3->n4_a_stick__1_3_3_4 n4_a_stick__1_3_3_5 PP n4_a_stick__1_3_3->n4_a_stick__1_3_3_5 n4_a_stick__1_3_3_1_1 ADV n4_a_stick__1_3_3_1->n4_a_stick__1_3_3_1_1 n4_a_stick__1_3_3_1_1->n4_a_stick__1_3_3_1_1_1 n4_a_stick__1_3_3_2->n4_a_stick__1_3_3_2_1 n4_a_stick__1_3_3_3->n4_a_stick__1_3_3_3_1 n4_a_stick__1_3_3_4->n4_a_stick__1_3_3_4_1 n4_a_stick__1_3_3_5_1 P-ROLE n4_a_stick__1_3_3_5->n4_a_stick__1_3_3_5_1 n4_a_stick__1_3_3_5_2 NP n4_a_stick__1_3_3_5->n4_a_stick__1_3_3_5_2 n4_a_stick__1_3_3_5_1->n4_a_stick__1_3_3_5_1_1 n4_a_stick__1_3_3_5_2_1 ADJP n4_a_stick__1_3_3_5_2->n4_a_stick__1_3_3_5_2_1 n4_a_stick__1_3_3_5_2_2 NS n4_a_stick__1_3_3_5_2->n4_a_stick__1_3_3_5_2_2 n4_a_stick__1_3_3_5_2_1_1 ADJ n4_a_stick__1_3_3_5_2_1->n4_a_stick__1_3_3_5_2_1_1 n4_a_stick__1_3_3_5_2_1_1->n4_a_stick__1_3_3_5_2_1_1_1 n4_a_stick__1_3_3_5_2_2->n4_a_stick__1_3_3_5_2_2_1 n4_a_stick__1_4->n4_a_stick__1_4_1 
( (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))