Context                Previous, Next                Top


64_a_history_of_qed
It, like various earlier versions, is available for Honeywell GCOS systems and is still used as a scripting language as well as a line - editor for TTY - like communications interfaces.

%3 r_0064_0006__versions versions r_0064_0004__various various r_0064_0006__versions->r_0064_0004__various [attrib] r_0064_0005__earlier earlier r_0064_0006__versions->r_0064_0005__earlier [attrib] r_0064_0008__is is r_0064_0008__is->r_0064_0006__versions like [nim] r_0064_0001__It It r_0064_0008__is->r_0064_0001__It [arg0] r_0064_0009__available available r_0064_0008__is->r_0064_0009__available [prd] r_0064_0011__Honeywell_r_0064_0012__GCOS_r_0064_0013__systems Honeywell GCOS systems r_0064_0009__available->r_0064_0011__Honeywell_r_0064_0012__GCOS_r_0064_0013__systems for r_0064_0014__and and r_0064_0014__and->r_0064_0008__is [conj1] r_0064_0015__is is r_0064_0014__and->r_0064_0015__is [conj2] r_0064_0015__is->r_0064_0006__versions like [nim] r_0064_0017__used used r_0064_0015__is->r_0064_0017__used [scope] r_0064_0017__used->r_0064_0001__It [arg1] r_0064_0016__still still r_0064_0017__used->r_0064_0016__still [nim] r_0064_0022__as_well_as as well as r_0064_0017__used->r_0064_0022__as_well_as [prd] z_000_64_a_history_of_qed_45 r_0064_0017__used->z_000_64_a_history_of_qed_45 [arg0] r_0064_0019__a_r_0064_0020__scripting_r_0064_0021__language a scripting language r_0064_0022__as_well_as->r_0064_0019__a_r_0064_0020__scripting_r_0064_0021__language [conj1] r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor a line editor r_0064_0022__as_well_as->r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor [conj2] r_0064_0031__communications_r_0064_0032__interfaces communications interfaces r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor->r_0064_0031__communications_r_0064_0032__interfaces for r_0064_0030__like like r_0064_0031__communications_r_0064_0032__interfaces->r_0064_0030__like [attrib] r_0064_0028__TTY TTY r_0064_0030__like->r_0064_0028__TTY [nim] 
arc(r_0064_0006__versions, r_0064_0004__various, attrib11).
arc(r_0064_0006__versions, r_0064_0005__earlier, attrib14).
arc(r_0064_0008__is, r_0064_0001__It, arg0).
arc(r_0064_0008__is, r_0064_0006__versions, r_0064_0003__like_nim10).
arc(r_0064_0008__is, r_0064_0009__available, prd).
arc(r_0064_0009__available, r_0064_0011__Honeywell_r_0064_0012__GCOS_r_0064_0013__systems, r_0064_0010__for).
arc(r_0064_0014__and, r_0064_0008__is, conj1).
arc(r_0064_0014__and, r_0064_0015__is, conj2).
arc(r_0064_0015__is, r_0064_0006__versions, r_0064_0003__like_nim10).
arc(r_0064_0015__is, r_0064_0017__used, scope).
arc(r_0064_0017__used, r_0064_0001__It, arg1).
arc(r_0064_0017__used, r_0064_0016__still, nim47).
arc(r_0064_0017__used, r_0064_0022__as_well_as, prd).
arc(r_0064_0017__used, z_000_64_a_history_of_qed_45, arg0).
arc(r_0064_0022__as_well_as, r_0064_0019__a_r_0064_0020__scripting_r_0064_0021__language, conj1).
arc(r_0064_0022__as_well_as, r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor, conj2).
arc(r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor, r_0064_0031__communications_r_0064_0032__interfaces, r_0064_0027__for).
arc(r_0064_0030__like, r_0064_0028__TTY, nim81).
arc(r_0064_0031__communications_r_0064_0032__interfaces, r_0064_0030__like, attrib80).


%3 r_0064_0006__versions versions r_0064_0004__various various r_0064_0006__versions->r_0064_0004__various [attrib] r_0064_0005__earlier earlier r_0064_0006__versions->r_0064_0005__earlier [attrib] r_0064_0008__is is r_0064_0008__is->r_0064_0006__versions like [nim] r_0064_0001__It It r_0064_0008__is->r_0064_0001__It [arg0] r_0064_0009__available available r_0064_0008__is->r_0064_0009__available [prd] r_0064_0011__Honeywell_r_0064_0012__GCOS_r_0064_0013__systems Honeywell GCOS systems r_0064_0009__available->r_0064_0011__Honeywell_r_0064_0012__GCOS_r_0064_0013__systems for r_0064_0014__and and r_0064_0014__and->r_0064_0008__is [conj1] r_0064_0015__is_r_0064_0017__used is used r_0064_0014__and->r_0064_0015__is_r_0064_0017__used [conj2] r_0064_0015__is_r_0064_0017__used->r_0064_0006__versions like [nim] r_0064_0015__is_r_0064_0017__used->r_0064_0001__It [arg1] r_0064_0016__still still r_0064_0015__is_r_0064_0017__used->r_0064_0016__still [nim] r_0064_0022__as_well_as as well as r_0064_0015__is_r_0064_0017__used->r_0064_0022__as_well_as [prd] z_000_64_a_history_of_qed_45 r_0064_0015__is_r_0064_0017__used->z_000_64_a_history_of_qed_45 [arg0] r_0064_0019__a_r_0064_0020__scripting_r_0064_0021__language a scripting language r_0064_0022__as_well_as->r_0064_0019__a_r_0064_0020__scripting_r_0064_0021__language [conj1] r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor a line editor r_0064_0022__as_well_as->r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor [conj2] r_0064_0031__communications_r_0064_0032__interfaces communications interfaces r_0064_0023__a_r_0064_0024__line_r_0064_0026__editor->r_0064_0031__communications_r_0064_0032__interfaces for r_0064_0030__like like r_0064_0031__communications_r_0064_0032__interfaces->r_0064_0030__like [attrib] r_0064_0028__TTY TTY r_0064_0030__like->r_0064_0028__TTY [nim] 
fof(formula,axiom,
    ? [R_64_14_AND,R_64_8_IS,R_64_9_AVAILABLE,R_64_11_HONEYWELL_GCOS_SYSTEMS,R_64_15_IS_USED,Z_64_A_HISTORY_OF_QED_45,R_64_1_IT,R_64_16_STILL,R_64_22_AS_WELL_AS,R_64_19_A_SCRIPTING_LANGUAGE,R_64_23_A_LINE_EDITOR,R_64_31_COMMUNICATIONS_INTERFACES,R_64_30_LIKE,R_64_28_TTY,R_64_6_VERSIONS,R_64_4_VARIOUS,R_64_5_EARLIER] :
      ( honeywell_GCOS_systems(R_64_11_HONEYWELL_GCOS_SYSTEMS)
      & it(R_64_1_IT)
      & still(R_64_16_STILL)
      & a_scripting_language(R_64_19_A_SCRIPTING_LANGUAGE)
      & tTY(R_64_28_TTY)
      & various(R_64_4_VARIOUS)
      & earlier(R_64_5_EARLIER)
      & and(R_64_14_AND)
      & conj1(R_64_14_AND,R_64_8_IS)
      & is(R_64_8_IS,R_64_1_IT,R_64_9_AVAILABLE)
      & available(R_64_9_AVAILABLE)
      & for(R_64_9_AVAILABLE,R_64_11_HONEYWELL_GCOS_SYSTEMS)
      & like_nim10(R_64_8_IS,R_64_6_VERSIONS)
      & versions(R_64_6_VERSIONS)
      & attrib11(R_64_6_VERSIONS,R_64_4_VARIOUS)
      & attrib14(R_64_6_VERSIONS,R_64_5_EARLIER)
      & conj2(R_64_14_AND,R_64_15_IS_USED)
      & is_used(R_64_15_IS_USED,Z_64_A_HISTORY_OF_QED_45,R_64_1_IT,R_64_22_AS_WELL_AS)
      & as_well_as(R_64_22_AS_WELL_AS)
      & conj1(R_64_22_AS_WELL_AS,R_64_19_A_SCRIPTING_LANGUAGE)
      & conj2(R_64_22_AS_WELL_AS,R_64_23_A_LINE_EDITOR)
      & a_line_editor(R_64_23_A_LINE_EDITOR)
      & for(R_64_23_A_LINE_EDITOR,R_64_31_COMMUNICATIONS_INTERFACES)
      & communications_interfaces(R_64_31_COMMUNICATIONS_INTERFACES)
      & attrib80(R_64_31_COMMUNICATIONS_INTERFACES,R_64_30_LIKE)
      & like(R_64_30_LIKE)
      & nim81(R_64_30_LIKE,R_64_28_TTY)
      & nim47(R_64_15_IS_USED,R_64_16_STILL)
      & like_nim10(R_64_15_IS_USED,R_64_6_VERSIONS) ) ).


n64_a_history_of_qed n64_a_history_of_qed_4 It n64_a_history_of_qed_6 , n64_a_history_of_qed_9 like n64_a_history_of_qed_13 various n64_a_history_of_qed_16 earlier n64_a_history_of_qed_18 versions n64_a_history_of_qed_20 , n64_a_history_of_qed_24 is n64_a_history_of_qed_27 available n64_a_history_of_qed_30 for n64_a_history_of_qed_33 Honeywell n64_a_history_of_qed_35 GCOS n64_a_history_of_qed_37 systems n64_a_history_of_qed_40 and n64_a_history_of_qed_43 is n64_a_history_of_qed_46 * n64_a_history_of_qed_49 still n64_a_history_of_qed_51 used n64_a_history_of_qed_54 as n64_a_history_of_qed_59 a n64_a_history_of_qed_61 scripting n64_a_history_of_qed_63 language n64_a_history_of_qed_66 as_well_as n64_a_history_of_qed_69 a n64_a_history_of_qed_71 line n64_a_history_of_qed_73 - n64_a_history_of_qed_75 editor n64_a_history_of_qed_78 for n64_a_history_of_qed_83 TTY n64_a_history_of_qed_85 - n64_a_history_of_qed_87 like n64_a_history_of_qed_89 communications n64_a_history_of_qed_91 interfaces n64_a_history_of_qed_93 . n64_a_history_of_qed_1 IP-MAT n64_a_history_of_qed_2 NP-SBJ n64_a_history_of_qed_1->n64_a_history_of_qed_2 n64_a_history_of_qed_5 PUNC n64_a_history_of_qed_1->n64_a_history_of_qed_5 n64_a_history_of_qed_7 PP-NIM n64_a_history_of_qed_1->n64_a_history_of_qed_7 n64_a_history_of_qed_19 PUNC n64_a_history_of_qed_1->n64_a_history_of_qed_19 n64_a_history_of_qed_21 ILYR n64_a_history_of_qed_1->n64_a_history_of_qed_21 n64_a_history_of_qed_92 PUNC n64_a_history_of_qed_1->n64_a_history_of_qed_92 n64_a_history_of_qed_3 PRO n64_a_history_of_qed_2->n64_a_history_of_qed_3 n64_a_history_of_qed_3->n64_a_history_of_qed_4 n64_a_history_of_qed_5->n64_a_history_of_qed_6 n64_a_history_of_qed_8 P-ROLE n64_a_history_of_qed_7->n64_a_history_of_qed_8 n64_a_history_of_qed_10 NP n64_a_history_of_qed_7->n64_a_history_of_qed_10 n64_a_history_of_qed_8->n64_a_history_of_qed_9 n64_a_history_of_qed_11 ADJP n64_a_history_of_qed_10->n64_a_history_of_qed_11 n64_a_history_of_qed_14 ADJP n64_a_history_of_qed_10->n64_a_history_of_qed_14 n64_a_history_of_qed_17 NS n64_a_history_of_qed_10->n64_a_history_of_qed_17 n64_a_history_of_qed_12 ADJ n64_a_history_of_qed_11->n64_a_history_of_qed_12 n64_a_history_of_qed_12->n64_a_history_of_qed_13 n64_a_history_of_qed_15 ADJR n64_a_history_of_qed_14->n64_a_history_of_qed_15 n64_a_history_of_qed_15->n64_a_history_of_qed_16 n64_a_history_of_qed_17->n64_a_history_of_qed_18 n64_a_history_of_qed_19->n64_a_history_of_qed_20 n64_a_history_of_qed_22 ILYR n64_a_history_of_qed_21->n64_a_history_of_qed_22 n64_a_history_of_qed_38 CONJP n64_a_history_of_qed_21->n64_a_history_of_qed_38 n64_a_history_of_qed_23 BEP;_La_ n64_a_history_of_qed_22->n64_a_history_of_qed_23 n64_a_history_of_qed_25 ADJP-PRD n64_a_history_of_qed_22->n64_a_history_of_qed_25 n64_a_history_of_qed_23->n64_a_history_of_qed_24 n64_a_history_of_qed_26 ADJ n64_a_history_of_qed_25->n64_a_history_of_qed_26 n64_a_history_of_qed_28 PP n64_a_history_of_qed_25->n64_a_history_of_qed_28 n64_a_history_of_qed_26->n64_a_history_of_qed_27 n64_a_history_of_qed_29 P-ROLE n64_a_history_of_qed_28->n64_a_history_of_qed_29 n64_a_history_of_qed_31 NP n64_a_history_of_qed_28->n64_a_history_of_qed_31 n64_a_history_of_qed_29->n64_a_history_of_qed_30 n64_a_history_of_qed_32 NPR n64_a_history_of_qed_31->n64_a_history_of_qed_32 n64_a_history_of_qed_34 NPR n64_a_history_of_qed_31->n64_a_history_of_qed_34 n64_a_history_of_qed_36 NS n64_a_history_of_qed_31->n64_a_history_of_qed_36 n64_a_history_of_qed_32->n64_a_history_of_qed_33 n64_a_history_of_qed_34->n64_a_history_of_qed_35 n64_a_history_of_qed_36->n64_a_history_of_qed_37 n64_a_history_of_qed_39 CONJ n64_a_history_of_qed_38->n64_a_history_of_qed_39 n64_a_history_of_qed_41 ILYR n64_a_history_of_qed_38->n64_a_history_of_qed_41 n64_a_history_of_qed_39->n64_a_history_of_qed_40 n64_a_history_of_qed_42 BEP;_cat_VePASS_ n64_a_history_of_qed_41->n64_a_history_of_qed_42 n64_a_history_of_qed_44 IP-PPL-CAT n64_a_history_of_qed_41->n64_a_history_of_qed_44 n64_a_history_of_qed_42->n64_a_history_of_qed_43 n64_a_history_of_qed_45 NP-LGS n64_a_history_of_qed_44->n64_a_history_of_qed_45 n64_a_history_of_qed_47 ADVP-NIM n64_a_history_of_qed_44->n64_a_history_of_qed_47 n64_a_history_of_qed_50 VVN;_Cn.n/a_ n64_a_history_of_qed_44->n64_a_history_of_qed_50 n64_a_history_of_qed_52 PP-PRD n64_a_history_of_qed_44->n64_a_history_of_qed_52 n64_a_history_of_qed_45->n64_a_history_of_qed_46 n64_a_history_of_qed_48 ADV n64_a_history_of_qed_47->n64_a_history_of_qed_48 n64_a_history_of_qed_48->n64_a_history_of_qed_49 n64_a_history_of_qed_50->n64_a_history_of_qed_51 n64_a_history_of_qed_53 P-ROLE n64_a_history_of_qed_52->n64_a_history_of_qed_53 n64_a_history_of_qed_55 NP n64_a_history_of_qed_52->n64_a_history_of_qed_55 n64_a_history_of_qed_53->n64_a_history_of_qed_54 n64_a_history_of_qed_56 NLYR n64_a_history_of_qed_55->n64_a_history_of_qed_56 n64_a_history_of_qed_57 NLYR n64_a_history_of_qed_56->n64_a_history_of_qed_57 n64_a_history_of_qed_64 CONJP n64_a_history_of_qed_56->n64_a_history_of_qed_64 n64_a_history_of_qed_58 D n64_a_history_of_qed_57->n64_a_history_of_qed_58 n64_a_history_of_qed_60 N n64_a_history_of_qed_57->n64_a_history_of_qed_60 n64_a_history_of_qed_62 N n64_a_history_of_qed_57->n64_a_history_of_qed_62 n64_a_history_of_qed_58->n64_a_history_of_qed_59 n64_a_history_of_qed_60->n64_a_history_of_qed_61 n64_a_history_of_qed_62->n64_a_history_of_qed_63 n64_a_history_of_qed_65 CONJ n64_a_history_of_qed_64->n64_a_history_of_qed_65 n64_a_history_of_qed_67 NLYR n64_a_history_of_qed_64->n64_a_history_of_qed_67 n64_a_history_of_qed_65->n64_a_history_of_qed_66 n64_a_history_of_qed_68 D n64_a_history_of_qed_67->n64_a_history_of_qed_68 n64_a_history_of_qed_70 N n64_a_history_of_qed_67->n64_a_history_of_qed_70 n64_a_history_of_qed_72 PUNC n64_a_history_of_qed_67->n64_a_history_of_qed_72 n64_a_history_of_qed_74 N n64_a_history_of_qed_67->n64_a_history_of_qed_74 n64_a_history_of_qed_76 PP n64_a_history_of_qed_67->n64_a_history_of_qed_76 n64_a_history_of_qed_68->n64_a_history_of_qed_69 n64_a_history_of_qed_70->n64_a_history_of_qed_71 n64_a_history_of_qed_72->n64_a_history_of_qed_73 n64_a_history_of_qed_74->n64_a_history_of_qed_75 n64_a_history_of_qed_77 P-ROLE n64_a_history_of_qed_76->n64_a_history_of_qed_77 n64_a_history_of_qed_79 NP n64_a_history_of_qed_76->n64_a_history_of_qed_79 n64_a_history_of_qed_77->n64_a_history_of_qed_78 n64_a_history_of_qed_80 ADJP n64_a_history_of_qed_79->n64_a_history_of_qed_80 n64_a_history_of_qed_88 NS n64_a_history_of_qed_79->n64_a_history_of_qed_88 n64_a_history_of_qed_90 NS n64_a_history_of_qed_79->n64_a_history_of_qed_90 n64_a_history_of_qed_81 NP n64_a_history_of_qed_80->n64_a_history_of_qed_81 n64_a_history_of_qed_84 PUNC n64_a_history_of_qed_80->n64_a_history_of_qed_84 n64_a_history_of_qed_86 ADJ n64_a_history_of_qed_80->n64_a_history_of_qed_86 n64_a_history_of_qed_82 NPR n64_a_history_of_qed_81->n64_a_history_of_qed_82 n64_a_history_of_qed_82->n64_a_history_of_qed_83 n64_a_history_of_qed_84->n64_a_history_of_qed_85 n64_a_history_of_qed_86->n64_a_history_of_qed_87 n64_a_history_of_qed_88->n64_a_history_of_qed_89 n64_a_history_of_qed_90->n64_a_history_of_qed_91 n64_a_history_of_qed_92->n64_a_history_of_qed_93 
( (IP-MAT (NP-SBJ;{FRED} (PRO It;{it}))
          (PUNC ,)
          (PP-NIM (P-ROLE like;{like})
                  (NP (ADJP (ADJ various;{various}))
                      (ADJP (ADJR earlier;{early}))
                      (NS versions;{version})))
          (PUNC ,)
          (ILYR (ILYR (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ available;{available})
                                (PP (P-ROLE for;{for})
                                    (NP (NPR Honeywell;{Honeywell})
                                        (NPR GCOS;{GCOS})
                                        (NS systems;{system})))))
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_cat_VePASS_ is;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV still;{still}))
                                         (VVN;_Cn.n/a_ used;{use[as]})
                                         (PP-PRD (P-ROLE as;{as})
                                                 (NP (NLYR (NLYR (D a;{a})
                                                                 (N scripting;{scripting})
                                                                 (N language;{language}))
                                                           (CONJP (CONJ as_well_as;{as_well_as})
                                                                  (NLYR (D a;{a})
                                                                        (N line;{line})
                                                                        (PUNC <hyphen>)
                                                                        (N editor;{editor})
                                                                        (PP (P-ROLE for;{for})
                                                                            (NP (ADJP (NP (NPR TTY;{TTY}))
                                                                                      (PUNC <hyphen>)
                                                                                      (ADJ like;{like}))
                                                                                (NS communications;{communication})
                                                                                (NS interfaces;{interface}))))))))))))
          (PUNC .))
  (ID 64_a_history_of_qed))