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 z_000_28_a_history_of_qed_27 r_0028_0018__collecting collecting z_000_28_a_history_of_qed_27->r_0028_0018__collecting [conj3] r_0028_0012__formatting formatting z_000_28_a_history_of_qed_27->r_0028_0012__formatting [conj2] r_0028_0008__submitting submitting z_000_28_a_history_of_qed_27->r_0028_0008__submitting [conj1] r_0028_0019__statistics statistics r_0028_0018__collecting->r_0028_0019__statistics [arg1] z_000_28_a_history_of_qed_26 r_0028_0018__collecting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0012__formatting->z_000_28_a_history_of_qed_26 [arg0] 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_0013__files files r_0028_0012__formatting->r_0028_0013__files [arg1] r_0028_0008__submitting->z_000_28_a_history_of_qed_26 [arg0] r_0028_0009__batch_r_0028_0010__jobs batch jobs r_0028_0008__submitting->r_0028_0009__batch_r_0028_0010__jobs [arg1] r_0028_0021__a_r_0028_0022__file a file r_0028_0019__statistics->r_0028_0021__a_r_0028_0022__file on r_0028_0006__tasks tasks r_0028_0005__such such r_0028_0006__tasks->r_0028_0005__such [attrib] r_0028_0005__such->z_000_28_a_history_of_qed_27 as r_0028_0002__was_r_0028_0003__used was used 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_0001__It It r_0028_0002__was_r_0028_0003__used->r_0028_0001__It [arg1] 
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__1_1_1_1 It n28_a_history_of_qed__1_2_1 was n28_a_history_of_qed__1_3_1_1 * n28_a_history_of_qed__1_3_2_1 used n28_a_history_of_qed__1_3_3_1_1 for n28_a_history_of_qed__1_3_3_2_1_1_1 such n28_a_history_of_qed__1_3_3_2_1_2_1 *ICH*-157 n28_a_history_of_qed__1_3_3_2_2_1 tasks n28_a_history_of_qed__1_3_3_2_3_1_1 as n28_a_history_of_qed__1_3_3_2_3_2_1_1_1_1 submitting n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_1_1 batch n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_2_1 jobs n28_a_history_of_qed__1_3_3_2_3_2_1_2_1 , n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_1_1 formatting n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2_1_1 files n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_1_1 for n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_1_1 the n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_2_1 printer n28_a_history_of_qed__1_3_3_2_3_2_1_4_1 , n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_1_1 collecting n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_1_1 statistics n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_1_1 on n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_1_1 a n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_2_1 file n28_a_history_of_qed__1_4_1 . n28_a_history_of_qed__1 IP-MAT n28_a_history_of_qed__1_1 NP-SBJ n28_a_history_of_qed__1->n28_a_history_of_qed__1_1 n28_a_history_of_qed__1_2 BED;_cat_VePASS_ n28_a_history_of_qed__1->n28_a_history_of_qed__1_2 n28_a_history_of_qed__1_3 IP-PPL-CAT n28_a_history_of_qed__1->n28_a_history_of_qed__1_3 n28_a_history_of_qed__1_4 PUNC n28_a_history_of_qed__1->n28_a_history_of_qed__1_4 n28_a_history_of_qed__1_1_1 PRO n28_a_history_of_qed__1_1->n28_a_history_of_qed__1_1_1 n28_a_history_of_qed__1_1_1->n28_a_history_of_qed__1_1_1_1 n28_a_history_of_qed__1_2->n28_a_history_of_qed__1_2_1 n28_a_history_of_qed__1_3_1 NP-LGS n28_a_history_of_qed__1_3->n28_a_history_of_qed__1_3_1 n28_a_history_of_qed__1_3_2 VVN;__ n28_a_history_of_qed__1_3->n28_a_history_of_qed__1_3_2 n28_a_history_of_qed__1_3_3 PP-NIM n28_a_history_of_qed__1_3->n28_a_history_of_qed__1_3_3 n28_a_history_of_qed__1_3_1->n28_a_history_of_qed__1_3_1_1 n28_a_history_of_qed__1_3_2->n28_a_history_of_qed__1_3_2_1 n28_a_history_of_qed__1_3_3_1 P-ROLE n28_a_history_of_qed__1_3_3->n28_a_history_of_qed__1_3_3_1 n28_a_history_of_qed__1_3_3_2 NP n28_a_history_of_qed__1_3_3->n28_a_history_of_qed__1_3_3_2 n28_a_history_of_qed__1_3_3_1->n28_a_history_of_qed__1_3_3_1_1 n28_a_history_of_qed__1_3_3_2_1 ADJP n28_a_history_of_qed__1_3_3_2->n28_a_history_of_qed__1_3_3_2_1 n28_a_history_of_qed__1_3_3_2_2 NS n28_a_history_of_qed__1_3_3_2->n28_a_history_of_qed__1_3_3_2_2 n28_a_history_of_qed__1_3_3_2_3 PP-EPD-157 n28_a_history_of_qed__1_3_3_2->n28_a_history_of_qed__1_3_3_2_3 n28_a_history_of_qed__1_3_3_2_1_1 ADJ;_such_ n28_a_history_of_qed__1_3_3_2_1->n28_a_history_of_qed__1_3_3_2_1_1 n28_a_history_of_qed__1_3_3_2_1_2 PP n28_a_history_of_qed__1_3_3_2_1->n28_a_history_of_qed__1_3_3_2_1_2 n28_a_history_of_qed__1_3_3_2_1_1->n28_a_history_of_qed__1_3_3_2_1_1_1 n28_a_history_of_qed__1_3_3_2_1_2->n28_a_history_of_qed__1_3_3_2_1_2_1 n28_a_history_of_qed__1_3_3_2_2->n28_a_history_of_qed__1_3_3_2_2_1 n28_a_history_of_qed__1_3_3_2_3_1 P-ROLE n28_a_history_of_qed__1_3_3_2_3->n28_a_history_of_qed__1_3_3_2_3_1 n28_a_history_of_qed__1_3_3_2_3_2 IP-PPL n28_a_history_of_qed__1_3_3_2_3->n28_a_history_of_qed__1_3_3_2_3_2 n28_a_history_of_qed__1_3_3_2_3_1->n28_a_history_of_qed__1_3_3_2_3_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1 ILYR n28_a_history_of_qed__1_3_3_2_3_2->n28_a_history_of_qed__1_3_3_2_3_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_1 ILYR n28_a_history_of_qed__1_3_3_2_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_2 PUNC n28_a_history_of_qed__1_3_3_2_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_2 n28_a_history_of_qed__1_3_3_2_3_2_1_3 CONJP n28_a_history_of_qed__1_3_3_2_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3 n28_a_history_of_qed__1_3_3_2_3_2_1_4 PUNC n28_a_history_of_qed__1_3_3_2_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_4 n28_a_history_of_qed__1_3_3_2_3_2_1_5 CONJP n28_a_history_of_qed__1_3_3_2_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5 n28_a_history_of_qed__1_3_3_2_3_2_1_1_1 VAG;__ n28_a_history_of_qed__1_3_3_2_3_2_1_1->n28_a_history_of_qed__1_3_3_2_3_2_1_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_1_2 NP-OB1 n28_a_history_of_qed__1_3_3_2_3_2_1_1->n28_a_history_of_qed__1_3_3_2_3_2_1_1_2 n28_a_history_of_qed__1_3_3_2_3_2_1_1_1->n28_a_history_of_qed__1_3_3_2_3_2_1_1_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_1 N n28_a_history_of_qed__1_3_3_2_3_2_1_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_2 NS n28_a_history_of_qed__1_3_3_2_3_2_1_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_2 n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_1_2_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1 ILYR n28_a_history_of_qed__1_3_3_2_3_2_1_3->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_1 VAG;__ n28_a_history_of_qed__1_3_3_2_3_2_1_3_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2 NP-OB1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3 PP-NIM n28_a_history_of_qed__1_3_3_2_3_2_1_3_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2_1 NS n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_1 P-ROLE n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2 NP n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_1 D n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_2 N n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_2 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_3_1_3_2_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_4->n28_a_history_of_qed__1_3_3_2_3_2_1_4_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1 ILYR n28_a_history_of_qed__1_3_3_2_3_2_1_5->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_1 VAG;__ n28_a_history_of_qed__1_3_3_2_3_2_1_5_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2 NP-OB1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_1 NS n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2 PP n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_1 P-ROLE n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2 NP n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_1 D n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_2 N n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_2 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_1->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_1_1 n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_2->n28_a_history_of_qed__1_3_3_2_3_2_1_5_1_2_2_2_2_1 n28_a_history_of_qed__1_4->n28_a_history_of_qed__1_4_1 
( (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))