Context                Previous, Next                Top


28_a_history_of_qed
It was used for such tasks as submitting batch jobs, formatting files for the printer, collecting statistics on a file.

%3 r_0028_0002__was was r_0028_0003__used used r_0028_0002__was->r_0028_0003__used [scope] r_0028_0001__It It r_0028_0003__used->r_0028_0001__It [arg1] r_0028_0006__tasks tasks r_0028_0003__used->r_0028_0006__tasks for [nim] z_000_28_a_history_of_qed_8 r_0028_0003__used->z_000_28_a_history_of_qed_8 [arg0] r_0028_0005__such such r_0028_0006__tasks->r_0028_0005__such [attrib] z_000_28_a_history_of_qed_27 r_0028_0005__such->z_000_28_a_history_of_qed_27 as r_0028_0008__submitting submitting z_000_28_a_history_of_qed_27->r_0028_0008__submitting [conj1] r_0028_0012__formatting formatting z_000_28_a_history_of_qed_27->r_0028_0012__formatting [conj2] r_0028_0018__collecting collecting z_000_28_a_history_of_qed_27->r_0028_0018__collecting [conj3] r_0028_0009__batch_r_0028_0010__jobs batch jobs r_0028_0008__submitting->r_0028_0009__batch_r_0028_0010__jobs [arg1] z_000_28_a_history_of_qed_26 r_0028_0008__submitting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0012__formatting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0013__files files r_0028_0012__formatting->r_0028_0013__files [arg1] r_0028_0015__the_r_0028_0016__printer the printer r_0028_0012__formatting->r_0028_0015__the_r_0028_0016__printer for [nim] r_0028_0018__collecting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0019__statistics statistics r_0028_0018__collecting->r_0028_0019__statistics [arg1] r_0028_0021__a_r_0028_0022__file a file r_0028_0019__statistics->r_0028_0021__a_r_0028_0022__file on 
arc(r_0028_0002__was, r_0028_0003__used, scope).
arc(r_0028_0003__used, r_0028_0001__It, arg1).
arc(r_0028_0003__used, r_0028_0006__tasks, r_0028_0004__for_nim15).
arc(r_0028_0003__used, z_000_28_a_history_of_qed_8, arg0).
arc(r_0028_0005__such, z_000_28_a_history_of_qed_27, r_0028_0007__as).
arc(r_0028_0006__tasks, r_0028_0005__such, attrib16).
arc(r_0028_0008__submitting, r_0028_0009__batch_r_0028_0010__jobs, arg1).
arc(r_0028_0008__submitting, z_000_28_a_history_of_qed_26, arg0).
arc(r_0028_0012__formatting, r_0028_0013__files, arg1).
arc(r_0028_0012__formatting, r_0028_0015__the_r_0028_0016__printer, r_0028_0014__for_nim48).
arc(r_0028_0012__formatting, z_000_28_a_history_of_qed_26, arg0).
arc(r_0028_0018__collecting, r_0028_0019__statistics, arg1).
arc(r_0028_0018__collecting, z_000_28_a_history_of_qed_26, arg0).
arc(r_0028_0019__statistics, r_0028_0021__a_r_0028_0022__file, r_0028_0020__on).
arc(z_000_28_a_history_of_qed_27, r_0028_0008__submitting, conj1).
arc(z_000_28_a_history_of_qed_27, r_0028_0012__formatting, conj2).
arc(z_000_28_a_history_of_qed_27, r_0028_0018__collecting, conj3).


%3 r_0028_0002__was_r_0028_0003__used was used r_0028_0001__It It r_0028_0002__was_r_0028_0003__used->r_0028_0001__It [arg1] r_0028_0006__tasks tasks r_0028_0002__was_r_0028_0003__used->r_0028_0006__tasks for [nim] z_000_28_a_history_of_qed_8 r_0028_0002__was_r_0028_0003__used->z_000_28_a_history_of_qed_8 [arg0] r_0028_0005__such such r_0028_0006__tasks->r_0028_0005__such [attrib] z_000_28_a_history_of_qed_27 r_0028_0005__such->z_000_28_a_history_of_qed_27 as r_0028_0008__submitting submitting z_000_28_a_history_of_qed_27->r_0028_0008__submitting [conj1] r_0028_0012__formatting formatting z_000_28_a_history_of_qed_27->r_0028_0012__formatting [conj2] r_0028_0018__collecting collecting z_000_28_a_history_of_qed_27->r_0028_0018__collecting [conj3] r_0028_0009__batch_r_0028_0010__jobs batch jobs r_0028_0008__submitting->r_0028_0009__batch_r_0028_0010__jobs [arg1] z_000_28_a_history_of_qed_26 r_0028_0008__submitting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0012__formatting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0013__files files r_0028_0012__formatting->r_0028_0013__files [arg1] r_0028_0015__the_r_0028_0016__printer the printer r_0028_0012__formatting->r_0028_0015__the_r_0028_0016__printer for [nim] r_0028_0018__collecting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0019__statistics statistics r_0028_0018__collecting->r_0028_0019__statistics [arg1] r_0028_0021__a_r_0028_0022__file a file r_0028_0019__statistics->r_0028_0021__a_r_0028_0022__file on 
fof(formula,axiom,
    ? [R_28_2_WAS_USED,Z_28_A_HISTORY_OF_QED_8,R_28_1_IT,R_28_6_TASKS,R_28_5_SUCH,Z_28_A_HISTORY_OF_QED_27,R_28_8_SUBMITTING,R_28_9_BATCH_JOBS,R_28_12_FORMATTING,R_28_13_FILES,R_28_15_THE_PRINTER,R_28_18_COLLECTING,Z_28_A_HISTORY_OF_QED_26,R_28_19_STATISTICS,R_28_21_A_FILE] :
      ( it(R_28_1_IT)
      & batch_jobs(R_28_9_BATCH_JOBS)
      & files(R_28_13_FILES)
      & the_printer(R_28_15_THE_PRINTER)
      & a_file(R_28_21_A_FILE)
      & was_used(R_28_2_WAS_USED,Z_28_A_HISTORY_OF_QED_8,R_28_1_IT)
      & for_nim15(R_28_2_WAS_USED,R_28_6_TASKS)
      & tasks(R_28_6_TASKS)
      & attrib16(R_28_6_TASKS,R_28_5_SUCH)
      & such(R_28_5_SUCH)
      & as(R_28_5_SUCH,Z_28_A_HISTORY_OF_QED_27)
      & z_28_a_history_of_qed_27(Z_28_A_HISTORY_OF_QED_27)
      & conj1(Z_28_A_HISTORY_OF_QED_27,R_28_8_SUBMITTING)
      & submitting(R_28_8_SUBMITTING,Z_28_A_HISTORY_OF_QED_26,R_28_9_BATCH_JOBS)
      & conj2(Z_28_A_HISTORY_OF_QED_27,R_28_12_FORMATTING)
      & formatting(R_28_12_FORMATTING,Z_28_A_HISTORY_OF_QED_26,R_28_13_FILES)
      & for_nim48(R_28_12_FORMATTING,R_28_15_THE_PRINTER)
      & conj3(Z_28_A_HISTORY_OF_QED_27,R_28_18_COLLECTING)
      & collecting(R_28_18_COLLECTING,Z_28_A_HISTORY_OF_QED_26,R_28_19_STATISTICS)
      & statistics(R_28_19_STATISTICS)
      & on(R_28_19_STATISTICS,R_28_21_A_FILE) ) ).


n28_a_history_of_qed n28_a_history_of_qed_4 It n28_a_history_of_qed_6 was n28_a_history_of_qed_9 * n28_a_history_of_qed_11 used n28_a_history_of_qed_14 for n28_a_history_of_qed_18 such n28_a_history_of_qed_20 *ICH*-157 n28_a_history_of_qed_22 tasks n28_a_history_of_qed_25 as n28_a_history_of_qed_30 submitting n28_a_history_of_qed_33 batch n28_a_history_of_qed_35 jobs n28_a_history_of_qed_37 , n28_a_history_of_qed_41 formatting n28_a_history_of_qed_44 files n28_a_history_of_qed_47 for n28_a_history_of_qed_50 the n28_a_history_of_qed_52 printer n28_a_history_of_qed_54 , n28_a_history_of_qed_58 collecting n28_a_history_of_qed_61 statistics n28_a_history_of_qed_64 on n28_a_history_of_qed_67 a n28_a_history_of_qed_69 file n28_a_history_of_qed_71 . n28_a_history_of_qed_1 IP-MAT n28_a_history_of_qed_2 NP-SBJ n28_a_history_of_qed_1->n28_a_history_of_qed_2 n28_a_history_of_qed_5 BED;_cat_VePASS_ n28_a_history_of_qed_1->n28_a_history_of_qed_5 n28_a_history_of_qed_7 IP-PPL-CAT n28_a_history_of_qed_1->n28_a_history_of_qed_7 n28_a_history_of_qed_70 PUNC n28_a_history_of_qed_1->n28_a_history_of_qed_70 n28_a_history_of_qed_3 PRO n28_a_history_of_qed_2->n28_a_history_of_qed_3 n28_a_history_of_qed_3->n28_a_history_of_qed_4 n28_a_history_of_qed_5->n28_a_history_of_qed_6 n28_a_history_of_qed_8 NP-LGS n28_a_history_of_qed_7->n28_a_history_of_qed_8 n28_a_history_of_qed_10 VVN;__ n28_a_history_of_qed_7->n28_a_history_of_qed_10 n28_a_history_of_qed_12 PP-NIM n28_a_history_of_qed_7->n28_a_history_of_qed_12 n28_a_history_of_qed_8->n28_a_history_of_qed_9 n28_a_history_of_qed_10->n28_a_history_of_qed_11 n28_a_history_of_qed_13 P-ROLE n28_a_history_of_qed_12->n28_a_history_of_qed_13 n28_a_history_of_qed_15 NP n28_a_history_of_qed_12->n28_a_history_of_qed_15 n28_a_history_of_qed_13->n28_a_history_of_qed_14 n28_a_history_of_qed_16 ADJP n28_a_history_of_qed_15->n28_a_history_of_qed_16 n28_a_history_of_qed_21 NS n28_a_history_of_qed_15->n28_a_history_of_qed_21 n28_a_history_of_qed_23 PP-EPD-157 n28_a_history_of_qed_15->n28_a_history_of_qed_23 n28_a_history_of_qed_17 ADJ;_such_ n28_a_history_of_qed_16->n28_a_history_of_qed_17 n28_a_history_of_qed_19 PP n28_a_history_of_qed_16->n28_a_history_of_qed_19 n28_a_history_of_qed_17->n28_a_history_of_qed_18 n28_a_history_of_qed_19->n28_a_history_of_qed_20 n28_a_history_of_qed_21->n28_a_history_of_qed_22 n28_a_history_of_qed_24 P-ROLE n28_a_history_of_qed_23->n28_a_history_of_qed_24 n28_a_history_of_qed_26 IP-PPL n28_a_history_of_qed_23->n28_a_history_of_qed_26 n28_a_history_of_qed_24->n28_a_history_of_qed_25 n28_a_history_of_qed_27 ILYR n28_a_history_of_qed_26->n28_a_history_of_qed_27 n28_a_history_of_qed_28 ILYR n28_a_history_of_qed_27->n28_a_history_of_qed_28 n28_a_history_of_qed_36 PUNC n28_a_history_of_qed_27->n28_a_history_of_qed_36 n28_a_history_of_qed_38 CONJP n28_a_history_of_qed_27->n28_a_history_of_qed_38 n28_a_history_of_qed_53 PUNC n28_a_history_of_qed_27->n28_a_history_of_qed_53 n28_a_history_of_qed_55 CONJP n28_a_history_of_qed_27->n28_a_history_of_qed_55 n28_a_history_of_qed_29 VAG;__ n28_a_history_of_qed_28->n28_a_history_of_qed_29 n28_a_history_of_qed_31 NP-OB1 n28_a_history_of_qed_28->n28_a_history_of_qed_31 n28_a_history_of_qed_29->n28_a_history_of_qed_30 n28_a_history_of_qed_32 N n28_a_history_of_qed_31->n28_a_history_of_qed_32 n28_a_history_of_qed_34 NS n28_a_history_of_qed_31->n28_a_history_of_qed_34 n28_a_history_of_qed_32->n28_a_history_of_qed_33 n28_a_history_of_qed_34->n28_a_history_of_qed_35 n28_a_history_of_qed_36->n28_a_history_of_qed_37 n28_a_history_of_qed_39 ILYR n28_a_history_of_qed_38->n28_a_history_of_qed_39 n28_a_history_of_qed_40 VAG;__ n28_a_history_of_qed_39->n28_a_history_of_qed_40 n28_a_history_of_qed_42 NP-OB1 n28_a_history_of_qed_39->n28_a_history_of_qed_42 n28_a_history_of_qed_45 PP-NIM n28_a_history_of_qed_39->n28_a_history_of_qed_45 n28_a_history_of_qed_40->n28_a_history_of_qed_41 n28_a_history_of_qed_43 NS n28_a_history_of_qed_42->n28_a_history_of_qed_43 n28_a_history_of_qed_43->n28_a_history_of_qed_44 n28_a_history_of_qed_46 P-ROLE n28_a_history_of_qed_45->n28_a_history_of_qed_46 n28_a_history_of_qed_48 NP n28_a_history_of_qed_45->n28_a_history_of_qed_48 n28_a_history_of_qed_46->n28_a_history_of_qed_47 n28_a_history_of_qed_49 D n28_a_history_of_qed_48->n28_a_history_of_qed_49 n28_a_history_of_qed_51 N n28_a_history_of_qed_48->n28_a_history_of_qed_51 n28_a_history_of_qed_49->n28_a_history_of_qed_50 n28_a_history_of_qed_51->n28_a_history_of_qed_52 n28_a_history_of_qed_53->n28_a_history_of_qed_54 n28_a_history_of_qed_56 ILYR n28_a_history_of_qed_55->n28_a_history_of_qed_56 n28_a_history_of_qed_57 VAG;__ n28_a_history_of_qed_56->n28_a_history_of_qed_57 n28_a_history_of_qed_59 NP-OB1 n28_a_history_of_qed_56->n28_a_history_of_qed_59 n28_a_history_of_qed_57->n28_a_history_of_qed_58 n28_a_history_of_qed_60 NS n28_a_history_of_qed_59->n28_a_history_of_qed_60 n28_a_history_of_qed_62 PP n28_a_history_of_qed_59->n28_a_history_of_qed_62 n28_a_history_of_qed_60->n28_a_history_of_qed_61 n28_a_history_of_qed_63 P-ROLE n28_a_history_of_qed_62->n28_a_history_of_qed_63 n28_a_history_of_qed_65 NP n28_a_history_of_qed_62->n28_a_history_of_qed_65 n28_a_history_of_qed_63->n28_a_history_of_qed_64 n28_a_history_of_qed_66 D n28_a_history_of_qed_65->n28_a_history_of_qed_66 n28_a_history_of_qed_68 N n28_a_history_of_qed_65->n28_a_history_of_qed_68 n28_a_history_of_qed_66->n28_a_history_of_qed_67 n28_a_history_of_qed_68->n28_a_history_of_qed_69 n28_a_history_of_qed_70->n28_a_history_of_qed_71 
( (IP-MAT (NP-SBJ;{GECOS_QED_LANG} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ used;{use})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (ADJP (ADJ;_such_ such;{such})
                                        (PP *ICH*-157))
                                  (NS tasks;{task})
                                  (PP-EPD-157 (P-ROLE as;{as})
                                              (IP-PPL (ILYR (ILYR (VAG;__ submitting;{submit})
                                                                  (NP-OB1 (N batch;{batch})
                                                                          (NS jobs;{job})))
                                                            (PUNC ,)
                                                            (CONJP (ILYR (VAG;__ formatting;{format})
                                                                         (NP-OB1 (NS files;{file}))
                                                                         (PP-NIM (P-ROLE for;{for})
                                                                                 (NP (D the;{the})
                                                                                     (N printer;{printer})))))
                                                            (PUNC ,)
                                                            (CONJP (ILYR (VAG;__ collecting;{collect})
                                                                         (NP-OB1 (NS statistics;{statistic})
                                                                                 (PP (P-ROLE on;{on})
                                                                                     (NP (D a;{a})
                                                                                         (N file;{file}))))))))))))
          (PUNC .))
  (ID 28_a_history_of_qed))