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_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_r_0004_0014__execute may execute r_0004_0012__may_r_0004_0014__execute->r_0004_0005__or [arg0] r_0004_0013__typically typically r_0004_0012__may_r_0004_0014__execute->r_0004_0013__typically [nim] r_0004_0017__wimp_r_0004_0018__programs wimp programs r_0004_0012__may_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] 
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_6 These n4_a_stick_8 Obey n4_a_stick_10 files n4_a_stick_12 -LRB- n4_a_stick_15 or n4_a_stick_18 TaskObey n4_a_stick_20 files n4_a_stick_23 in n4_a_stick_27 appropriate n4_a_stick_29 circumstances n4_a_stick_31 -RRB- n4_a_stick_33 may n4_a_stick_37 typically n4_a_stick_39 execute n4_a_stick_43 non n4_a_stick_45 - n4_a_stick_47 wimp n4_a_stick_49 programs n4_a_stick_52 in n4_a_stick_56 other n4_a_stick_58 languages n4_a_stick_60 . n4_a_stick_1 IP-MAT n4_a_stick_2 NP-SBJ n4_a_stick_1->n4_a_stick_2 n4_a_stick_32 MD;_cat_Vi_ n4_a_stick_1->n4_a_stick_32 n4_a_stick_34 IP-INF-CAT n4_a_stick_1->n4_a_stick_34 n4_a_stick_59 PUNC n4_a_stick_1->n4_a_stick_59 n4_a_stick_3 NLYR n4_a_stick_2->n4_a_stick_3 n4_a_stick_4 NLYR n4_a_stick_3->n4_a_stick_4 n4_a_stick_11 PULB n4_a_stick_3->n4_a_stick_11 n4_a_stick_13 CONJP n4_a_stick_3->n4_a_stick_13 n4_a_stick_30 PURB n4_a_stick_3->n4_a_stick_30 n4_a_stick_5 D n4_a_stick_4->n4_a_stick_5 n4_a_stick_7 NPR n4_a_stick_4->n4_a_stick_7 n4_a_stick_9 NS n4_a_stick_4->n4_a_stick_9 n4_a_stick_5->n4_a_stick_6 n4_a_stick_7->n4_a_stick_8 n4_a_stick_9->n4_a_stick_10 n4_a_stick_11->n4_a_stick_12 n4_a_stick_14 CONJ n4_a_stick_13->n4_a_stick_14 n4_a_stick_16 NLYR n4_a_stick_13->n4_a_stick_16 n4_a_stick_14->n4_a_stick_15 n4_a_stick_17 NPR n4_a_stick_16->n4_a_stick_17 n4_a_stick_19 NS n4_a_stick_16->n4_a_stick_19 n4_a_stick_21 PP n4_a_stick_16->n4_a_stick_21 n4_a_stick_17->n4_a_stick_18 n4_a_stick_19->n4_a_stick_20 n4_a_stick_22 P-ROLE n4_a_stick_21->n4_a_stick_22 n4_a_stick_24 NP n4_a_stick_21->n4_a_stick_24 n4_a_stick_22->n4_a_stick_23 n4_a_stick_25 ADJP n4_a_stick_24->n4_a_stick_25 n4_a_stick_28 NS n4_a_stick_24->n4_a_stick_28 n4_a_stick_26 ADJ n4_a_stick_25->n4_a_stick_26 n4_a_stick_26->n4_a_stick_27 n4_a_stick_28->n4_a_stick_29 n4_a_stick_30->n4_a_stick_31 n4_a_stick_32->n4_a_stick_33 n4_a_stick_35 ADVP-NIM n4_a_stick_34->n4_a_stick_35 n4_a_stick_38 VB;_Tn_ n4_a_stick_34->n4_a_stick_38 n4_a_stick_40 NP-OB1 n4_a_stick_34->n4_a_stick_40 n4_a_stick_36 ADV n4_a_stick_35->n4_a_stick_36 n4_a_stick_36->n4_a_stick_37 n4_a_stick_38->n4_a_stick_39 n4_a_stick_41 ADVP n4_a_stick_40->n4_a_stick_41 n4_a_stick_44 PUNC n4_a_stick_40->n4_a_stick_44 n4_a_stick_46 N n4_a_stick_40->n4_a_stick_46 n4_a_stick_48 NS n4_a_stick_40->n4_a_stick_48 n4_a_stick_50 PP n4_a_stick_40->n4_a_stick_50 n4_a_stick_42 ADV n4_a_stick_41->n4_a_stick_42 n4_a_stick_42->n4_a_stick_43 n4_a_stick_44->n4_a_stick_45 n4_a_stick_46->n4_a_stick_47 n4_a_stick_48->n4_a_stick_49 n4_a_stick_51 P-ROLE n4_a_stick_50->n4_a_stick_51 n4_a_stick_53 NP n4_a_stick_50->n4_a_stick_53 n4_a_stick_51->n4_a_stick_52 n4_a_stick_54 ADJP n4_a_stick_53->n4_a_stick_54 n4_a_stick_57 NS n4_a_stick_53->n4_a_stick_57 n4_a_stick_55 ADJ n4_a_stick_54->n4_a_stick_55 n4_a_stick_55->n4_a_stick_56 n4_a_stick_57->n4_a_stick_58 n4_a_stick_59->n4_a_stick_60 
( (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))