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.
( (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))
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__nim).
arc(r_0028_0003__used,z_0028_5017___star_,arg0).
arc(r_0028_0005__such,z_0028_5006,r_0028_0007__as).
arc(r_0028_0006__tasks,r_0028_0005__such,attrib).
arc(r_0028_0008__submitting,r_0028_0009__batch_r_0028_0010__jobs,arg1).
arc(r_0028_0008__submitting,z_0028_5005,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__nim).
arc(r_0028_0012__formatting,z_0028_5005,arg0).
arc(r_0028_0018__collecting,r_0028_0019__statistics,arg1).
arc(r_0028_0018__collecting,z_0028_5005,arg0).
arc(r_0028_0019__statistics,r_0028_0021__a_r_0028_0022__file,r_0028_0020__on).
arc(z_0028_5006,r_0028_0008__submitting,conj1).
arc(z_0028_5006,r_0028_0012__formatting,conj2).
arc(z_0028_5006,r_0028_0018__collecting,conj3).
fof(formula,axiom,
? [R_0028_0001__IT,R_0028_0009__BATCH_R_0028_0010__JOBS,Z_0028_5005,R_0028_0008__SUBMITTING,R_0028_0013__FILES,R_0028_0015__THE_R_0028_0016__PRINTER,R_0028_0012__FORMATTING,R_0028_0021__A_R_0028_0022__FILE,R_0028_0019__STATISTICS,R_0028_0018__COLLECTING,Z_0028_5006,R_0028_0005__SUCH,R_0028_0006__TASKS,Z_0028_5017___STAR_,R_0028_0002__WAS_R_0028_0003__USED] :
( r_0028_0001__It(R_0028_0001__IT)
& r_0028_0009__batch_r_0028_0010__jobs(R_0028_0009__BATCH_R_0028_0010__JOBS)
& r_0028_0013__files(R_0028_0013__FILES)
& r_0028_0015__the_r_0028_0016__printer(R_0028_0015__THE_R_0028_0016__PRINTER)
& r_0028_0021__a_r_0028_0022__file(R_0028_0021__A_R_0028_0022__FILE)
& z_0028_5005(Z_0028_5005)
& z_0028_5017___star_(Z_0028_5017___STAR_)
& r_0028_0002__was_r_0028_0003__used(R_0028_0002__WAS_R_0028_0003__USED)
& has_arg0(R_0028_0002__WAS_R_0028_0003__USED,Z_0028_5017___STAR_)
& has_r_0028_0004__for__nim(R_0028_0002__WAS_R_0028_0003__USED,R_0028_0006__TASKS)
& r_0028_0006__tasks(R_0028_0006__TASKS)
& has_attrib(R_0028_0006__TASKS,R_0028_0005__SUCH)
& r_0028_0005__such(R_0028_0005__SUCH)
& has_r_0028_0007__as(R_0028_0005__SUCH,Z_0028_5006)
& z_0028_5006(Z_0028_5006)
& has_conj3(Z_0028_5006,R_0028_0018__COLLECTING)
& r_0028_0018__collecting(R_0028_0018__COLLECTING)
& has_arg0(R_0028_0018__COLLECTING,Z_0028_5005)
& has_arg1(R_0028_0018__COLLECTING,R_0028_0019__STATISTICS)
& r_0028_0019__statistics(R_0028_0019__STATISTICS)
& has_r_0028_0020__on(R_0028_0019__STATISTICS,R_0028_0021__A_R_0028_0022__FILE)
& has_conj2(Z_0028_5006,R_0028_0012__FORMATTING)
& r_0028_0012__formatting(R_0028_0012__FORMATTING)
& has_arg0(R_0028_0012__FORMATTING,Z_0028_5005)
& has_r_0028_0014__for__nim(R_0028_0012__FORMATTING,R_0028_0015__THE_R_0028_0016__PRINTER)
& has_arg1(R_0028_0012__FORMATTING,R_0028_0013__FILES)
& has_conj1(Z_0028_5006,R_0028_0008__SUBMITTING)
& r_0028_0008__submitting(R_0028_0008__SUBMITTING)
& has_arg0(R_0028_0008__SUBMITTING,Z_0028_5005)
& has_arg1(R_0028_0008__SUBMITTING,R_0028_0009__BATCH_R_0028_0010__JOBS)
& has_arg1(R_0028_0002__WAS_R_0028_0003__USED,R_0028_0001__IT) ) ).