Context                Previous, Next                Top


63_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_0063_0006__versions versions r_0063_0004__various various r_0063_0006__versions->r_0063_0004__various [attrib] r_0063_0005__earlier earlier r_0063_0006__versions->r_0063_0005__earlier [attrib] r_0063_0008__is is r_0063_0008__is->r_0063_0006__versions like [nim] r_0063_0001__It It r_0063_0008__is->r_0063_0001__It [arg0] r_0063_0009__available available r_0063_0008__is->r_0063_0009__available [prd] r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems Honeywell GCOS systems r_0063_0009__available->r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems for r_0063_0014__and and r_0063_0014__and->r_0063_0008__is [conj1] r_0063_0015__is is r_0063_0014__and->r_0063_0015__is [conj2] r_0063_0015__is->r_0063_0006__versions like [nim] r_0063_0017__used used r_0063_0015__is->r_0063_0017__used [scope] r_0063_0017__used->r_0063_0001__It [arg1] r_0063_0016__still still r_0063_0017__used->r_0063_0016__still [nim] r_0063_0022__as_well_as as well as r_0063_0017__used->r_0063_0022__as_well_as [prd] z_000_63_a_history_of_qed_45 r_0063_0017__used->z_000_63_a_history_of_qed_45 [arg0] r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language a scripting language r_0063_0022__as_well_as->r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language [conj1] r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor a line editor r_0063_0022__as_well_as->r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor [conj2] r_0063_0031__communications_r_0063_0032__interfaces communications interfaces r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor->r_0063_0031__communications_r_0063_0032__interfaces for r_0063_0030__like like r_0063_0031__communications_r_0063_0032__interfaces->r_0063_0030__like [attrib] r_0063_0028__TTY TTY r_0063_0030__like->r_0063_0028__TTY [nim] 
arc(r_0063_0006__versions, r_0063_0004__various, attrib11).
arc(r_0063_0006__versions, r_0063_0005__earlier, attrib14).
arc(r_0063_0008__is, r_0063_0001__It, arg0).
arc(r_0063_0008__is, r_0063_0006__versions, r_0063_0003__like_nim10).
arc(r_0063_0008__is, r_0063_0009__available, prd).
arc(r_0063_0009__available, r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems, r_0063_0010__for).
arc(r_0063_0014__and, r_0063_0008__is, conj1).
arc(r_0063_0014__and, r_0063_0015__is, conj2).
arc(r_0063_0015__is, r_0063_0006__versions, r_0063_0003__like_nim10).
arc(r_0063_0015__is, r_0063_0017__used, scope).
arc(r_0063_0017__used, r_0063_0001__It, arg1).
arc(r_0063_0017__used, r_0063_0016__still, nim47).
arc(r_0063_0017__used, r_0063_0022__as_well_as, prd).
arc(r_0063_0017__used, z_000_63_a_history_of_qed_45, arg0).
arc(r_0063_0022__as_well_as, r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language, conj1).
arc(r_0063_0022__as_well_as, r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor, conj2).
arc(r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor, r_0063_0031__communications_r_0063_0032__interfaces, r_0063_0027__for).
arc(r_0063_0030__like, r_0063_0028__TTY, nim81).
arc(r_0063_0031__communications_r_0063_0032__interfaces, r_0063_0030__like, attrib80).


%3 r_0063_0031__communications_r_0063_0032__interfaces communications interfaces r_0063_0030__like like r_0063_0031__communications_r_0063_0032__interfaces->r_0063_0030__like [attrib] r_0063_0028__TTY TTY r_0063_0030__like->r_0063_0028__TTY [nim] r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor a line editor r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor->r_0063_0031__communications_r_0063_0032__interfaces for r_0063_0022__as_well_as as well as r_0063_0022__as_well_as->r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor [conj2] r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language a scripting language r_0063_0022__as_well_as->r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language [conj1] r_0063_0015__is_r_0063_0017__used is used r_0063_0015__is_r_0063_0017__used->r_0063_0022__as_well_as [prd] z_000_63_a_history_of_qed_45 r_0063_0015__is_r_0063_0017__used->z_000_63_a_history_of_qed_45 [arg0] r_0063_0016__still still r_0063_0015__is_r_0063_0017__used->r_0063_0016__still [nim] r_0063_0001__It It r_0063_0015__is_r_0063_0017__used->r_0063_0001__It [arg1] r_0063_0006__versions versions r_0063_0015__is_r_0063_0017__used->r_0063_0006__versions like [nim] r_0063_0005__earlier earlier r_0063_0006__versions->r_0063_0005__earlier [attrib] r_0063_0004__various various r_0063_0006__versions->r_0063_0004__various [attrib] r_0063_0014__and and r_0063_0014__and->r_0063_0015__is_r_0063_0017__used [conj2] r_0063_0008__is is r_0063_0014__and->r_0063_0008__is [conj1] r_0063_0008__is->r_0063_0001__It [arg0] r_0063_0008__is->r_0063_0006__versions like [nim] r_0063_0009__available available r_0063_0008__is->r_0063_0009__available [prd] r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems Honeywell GCOS systems r_0063_0009__available->r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems for 
fof(formula,axiom,
    ? [R_0063_0001__IT,R_0063_0004__VARIOUS,R_0063_0005__EARLIER,R_0063_0006__VERSIONS,R_0063_0011__HONEYWELL_R_0063_0012__GCOS_R_0063_0013__SYSTEMS,R_0063_0009__AVAILABLE,R_0063_0008__IS,R_0063_0016__STILL,R_0063_0019__A_R_0063_0020__SCRIPTING_R_0063_0021__LANGUAGE,R_0063_0028__TTY,R_0063_0030__LIKE,R_0063_0031__COMMUNICATIONS_R_0063_0032__INTERFACES,R_0063_0023__A_R_0063_0024__LINE_R_0063_0026__EDITOR,R_0063_0022__AS_WELL_AS,Z_000_63_A_HISTORY_OF_QED_45,R_0063_0015__IS_R_0063_0017__USED,R_0063_0014__AND] :
      ( r_0063_0001__It(R_0063_0001__IT)
      & r_0063_0004__various(R_0063_0004__VARIOUS)
      & r_0063_0005__earlier(R_0063_0005__EARLIER)
      & r_0063_0011__Honeywell_r_0063_0012__GCOS_r_0063_0013__systems(R_0063_0011__HONEYWELL_R_0063_0012__GCOS_R_0063_0013__SYSTEMS)
      & r_0063_0016__still(R_0063_0016__STILL)
      & r_0063_0019__a_r_0063_0020__scripting_r_0063_0021__language(R_0063_0019__A_R_0063_0020__SCRIPTING_R_0063_0021__LANGUAGE)
      & r_0063_0028__TTY(R_0063_0028__TTY)
      & z_000_63_a_history_of_qed_45(Z_000_63_A_HISTORY_OF_QED_45)
      & r_0063_0014__and(R_0063_0014__AND)
      & has_conj2(R_0063_0014__AND,R_0063_0015__IS_R_0063_0017__USED)
      & r_0063_0015__is_r_0063_0017__used(R_0063_0015__IS_R_0063_0017__USED)
      & has_arg0(R_0063_0015__IS_R_0063_0017__USED,Z_000_63_A_HISTORY_OF_QED_45)
      & has_prd(R_0063_0015__IS_R_0063_0017__USED,R_0063_0022__AS_WELL_AS)
      & r_0063_0022__as_well_as(R_0063_0022__AS_WELL_AS)
      & has_conj2(R_0063_0022__AS_WELL_AS,R_0063_0023__A_R_0063_0024__LINE_R_0063_0026__EDITOR)
      & r_0063_0023__a_r_0063_0024__line_r_0063_0026__editor(R_0063_0023__A_R_0063_0024__LINE_R_0063_0026__EDITOR)
      & has_r_0063_0027__for(R_0063_0023__A_R_0063_0024__LINE_R_0063_0026__EDITOR,R_0063_0031__COMMUNICATIONS_R_0063_0032__INTERFACES)
      & r_0063_0031__communications_r_0063_0032__interfaces(R_0063_0031__COMMUNICATIONS_R_0063_0032__INTERFACES)
      & has_attrib80(R_0063_0031__COMMUNICATIONS_R_0063_0032__INTERFACES,R_0063_0030__LIKE)
      & r_0063_0030__like(R_0063_0030__LIKE)
      & has_nim81(R_0063_0030__LIKE,R_0063_0028__TTY)
      & has_conj1(R_0063_0022__AS_WELL_AS,R_0063_0019__A_R_0063_0020__SCRIPTING_R_0063_0021__LANGUAGE)
      & has_nim47(R_0063_0015__IS_R_0063_0017__USED,R_0063_0016__STILL)
      & has_arg1(R_0063_0015__IS_R_0063_0017__USED,R_0063_0001__IT)
      & has_r_0063_0003__like_nim10(R_0063_0015__IS_R_0063_0017__USED,R_0063_0006__VERSIONS)
      & r_0063_0006__versions(R_0063_0006__VERSIONS)
      & has_attrib14(R_0063_0006__VERSIONS,R_0063_0005__EARLIER)
      & has_attrib11(R_0063_0006__VERSIONS,R_0063_0004__VARIOUS)
      & has_conj1(R_0063_0014__AND,R_0063_0008__IS)
      & r_0063_0008__is(R_0063_0008__IS)
      & has_prd(R_0063_0008__IS,R_0063_0009__AVAILABLE)
      & r_0063_0009__available(R_0063_0009__AVAILABLE)
      & has_r_0063_0010__for(R_0063_0009__AVAILABLE,R_0063_0011__HONEYWELL_R_0063_0012__GCOS_R_0063_0013__SYSTEMS)
      & has_r_0063_0003__like_nim10(R_0063_0008__IS,R_0063_0006__VERSIONS)
      & has_arg0(R_0063_0008__IS,R_0063_0001__IT) ) ).


n63_a_history_of_qed n63_a_history_of_qed__1_1_1_1 It n63_a_history_of_qed__1_2_1 , n63_a_history_of_qed__1_3_1_1 like n63_a_history_of_qed__1_3_2_1_1_1 various n63_a_history_of_qed__1_3_2_2_1_1 earlier n63_a_history_of_qed__1_3_2_3_1 versions n63_a_history_of_qed__1_4_1 , n63_a_history_of_qed__1_5_1_1_1 is n63_a_history_of_qed__1_5_1_2_1_1 available n63_a_history_of_qed__1_5_1_2_2_1_1 for n63_a_history_of_qed__1_5_1_2_2_2_1_1 Honeywell n63_a_history_of_qed__1_5_1_2_2_2_2_1 GCOS n63_a_history_of_qed__1_5_1_2_2_2_3_1 systems n63_a_history_of_qed__1_5_2_1_1 and n63_a_history_of_qed__1_5_2_2_1_1 is n63_a_history_of_qed__1_5_2_2_2_1_1 * n63_a_history_of_qed__1_5_2_2_2_2_1_1 still n63_a_history_of_qed__1_5_2_2_2_3_1 used n63_a_history_of_qed__1_5_2_2_2_4_1_1 as n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_1_1 a n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_2_1 scripting n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_3_1 language n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_1_1 as_well_as n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1_1 a n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2_1 line n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3_1 - n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4_1 editor n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1_1 for n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1_1 TTY n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2_1 - n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3_1 like n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2_1 communications n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3_1 interfaces n63_a_history_of_qed__1_6_1 . n63_a_history_of_qed__1 IP-MAT n63_a_history_of_qed__1_1 NP-SBJ n63_a_history_of_qed__1->n63_a_history_of_qed__1_1 n63_a_history_of_qed__1_2 PUNC n63_a_history_of_qed__1->n63_a_history_of_qed__1_2 n63_a_history_of_qed__1_3 PP-NIM n63_a_history_of_qed__1->n63_a_history_of_qed__1_3 n63_a_history_of_qed__1_4 PUNC n63_a_history_of_qed__1->n63_a_history_of_qed__1_4 n63_a_history_of_qed__1_5 ILYR n63_a_history_of_qed__1->n63_a_history_of_qed__1_5 n63_a_history_of_qed__1_6 PUNC n63_a_history_of_qed__1->n63_a_history_of_qed__1_6 n63_a_history_of_qed__1_1_1 PRO n63_a_history_of_qed__1_1->n63_a_history_of_qed__1_1_1 n63_a_history_of_qed__1_1_1->n63_a_history_of_qed__1_1_1_1 n63_a_history_of_qed__1_2->n63_a_history_of_qed__1_2_1 n63_a_history_of_qed__1_3_1 P-ROLE n63_a_history_of_qed__1_3->n63_a_history_of_qed__1_3_1 n63_a_history_of_qed__1_3_2 NP n63_a_history_of_qed__1_3->n63_a_history_of_qed__1_3_2 n63_a_history_of_qed__1_3_1->n63_a_history_of_qed__1_3_1_1 n63_a_history_of_qed__1_3_2_1 ADJP n63_a_history_of_qed__1_3_2->n63_a_history_of_qed__1_3_2_1 n63_a_history_of_qed__1_3_2_2 ADJP n63_a_history_of_qed__1_3_2->n63_a_history_of_qed__1_3_2_2 n63_a_history_of_qed__1_3_2_3 NS n63_a_history_of_qed__1_3_2->n63_a_history_of_qed__1_3_2_3 n63_a_history_of_qed__1_3_2_1_1 ADJ n63_a_history_of_qed__1_3_2_1->n63_a_history_of_qed__1_3_2_1_1 n63_a_history_of_qed__1_3_2_1_1->n63_a_history_of_qed__1_3_2_1_1_1 n63_a_history_of_qed__1_3_2_2_1 ADJR n63_a_history_of_qed__1_3_2_2->n63_a_history_of_qed__1_3_2_2_1 n63_a_history_of_qed__1_3_2_2_1->n63_a_history_of_qed__1_3_2_2_1_1 n63_a_history_of_qed__1_3_2_3->n63_a_history_of_qed__1_3_2_3_1 n63_a_history_of_qed__1_4->n63_a_history_of_qed__1_4_1 n63_a_history_of_qed__1_5_1 ILYR n63_a_history_of_qed__1_5->n63_a_history_of_qed__1_5_1 n63_a_history_of_qed__1_5_2 CONJP n63_a_history_of_qed__1_5->n63_a_history_of_qed__1_5_2 n63_a_history_of_qed__1_5_1_1 BEP;_La_ n63_a_history_of_qed__1_5_1->n63_a_history_of_qed__1_5_1_1 n63_a_history_of_qed__1_5_1_2 ADJP-PRD n63_a_history_of_qed__1_5_1->n63_a_history_of_qed__1_5_1_2 n63_a_history_of_qed__1_5_1_1->n63_a_history_of_qed__1_5_1_1_1 n63_a_history_of_qed__1_5_1_2_1 ADJ n63_a_history_of_qed__1_5_1_2->n63_a_history_of_qed__1_5_1_2_1 n63_a_history_of_qed__1_5_1_2_2 PP n63_a_history_of_qed__1_5_1_2->n63_a_history_of_qed__1_5_1_2_2 n63_a_history_of_qed__1_5_1_2_1->n63_a_history_of_qed__1_5_1_2_1_1 n63_a_history_of_qed__1_5_1_2_2_1 P-ROLE n63_a_history_of_qed__1_5_1_2_2->n63_a_history_of_qed__1_5_1_2_2_1 n63_a_history_of_qed__1_5_1_2_2_2 NP n63_a_history_of_qed__1_5_1_2_2->n63_a_history_of_qed__1_5_1_2_2_2 n63_a_history_of_qed__1_5_1_2_2_1->n63_a_history_of_qed__1_5_1_2_2_1_1 n63_a_history_of_qed__1_5_1_2_2_2_1 NPR n63_a_history_of_qed__1_5_1_2_2_2->n63_a_history_of_qed__1_5_1_2_2_2_1 n63_a_history_of_qed__1_5_1_2_2_2_2 NPR n63_a_history_of_qed__1_5_1_2_2_2->n63_a_history_of_qed__1_5_1_2_2_2_2 n63_a_history_of_qed__1_5_1_2_2_2_3 NS n63_a_history_of_qed__1_5_1_2_2_2->n63_a_history_of_qed__1_5_1_2_2_2_3 n63_a_history_of_qed__1_5_1_2_2_2_1->n63_a_history_of_qed__1_5_1_2_2_2_1_1 n63_a_history_of_qed__1_5_1_2_2_2_2->n63_a_history_of_qed__1_5_1_2_2_2_2_1 n63_a_history_of_qed__1_5_1_2_2_2_3->n63_a_history_of_qed__1_5_1_2_2_2_3_1 n63_a_history_of_qed__1_5_2_1 CONJ n63_a_history_of_qed__1_5_2->n63_a_history_of_qed__1_5_2_1 n63_a_history_of_qed__1_5_2_2 ILYR n63_a_history_of_qed__1_5_2->n63_a_history_of_qed__1_5_2_2 n63_a_history_of_qed__1_5_2_1->n63_a_history_of_qed__1_5_2_1_1 n63_a_history_of_qed__1_5_2_2_1 BEP;_cat_VePASS_ n63_a_history_of_qed__1_5_2_2->n63_a_history_of_qed__1_5_2_2_1 n63_a_history_of_qed__1_5_2_2_2 IP-PPL-CAT n63_a_history_of_qed__1_5_2_2->n63_a_history_of_qed__1_5_2_2_2 n63_a_history_of_qed__1_5_2_2_1->n63_a_history_of_qed__1_5_2_2_1_1 n63_a_history_of_qed__1_5_2_2_2_1 NP-LGS n63_a_history_of_qed__1_5_2_2_2->n63_a_history_of_qed__1_5_2_2_2_1 n63_a_history_of_qed__1_5_2_2_2_2 ADVP-NIM n63_a_history_of_qed__1_5_2_2_2->n63_a_history_of_qed__1_5_2_2_2_2 n63_a_history_of_qed__1_5_2_2_2_3 VVN;_Cn.n/a_ n63_a_history_of_qed__1_5_2_2_2->n63_a_history_of_qed__1_5_2_2_2_3 n63_a_history_of_qed__1_5_2_2_2_4 PP-PRD n63_a_history_of_qed__1_5_2_2_2->n63_a_history_of_qed__1_5_2_2_2_4 n63_a_history_of_qed__1_5_2_2_2_1->n63_a_history_of_qed__1_5_2_2_2_1_1 n63_a_history_of_qed__1_5_2_2_2_2_1 ADV n63_a_history_of_qed__1_5_2_2_2_2->n63_a_history_of_qed__1_5_2_2_2_2_1 n63_a_history_of_qed__1_5_2_2_2_2_1->n63_a_history_of_qed__1_5_2_2_2_2_1_1 n63_a_history_of_qed__1_5_2_2_2_3->n63_a_history_of_qed__1_5_2_2_2_3_1 n63_a_history_of_qed__1_5_2_2_2_4_1 P-ROLE n63_a_history_of_qed__1_5_2_2_2_4->n63_a_history_of_qed__1_5_2_2_2_4_1 n63_a_history_of_qed__1_5_2_2_2_4_2 NP n63_a_history_of_qed__1_5_2_2_2_4->n63_a_history_of_qed__1_5_2_2_2_4_2 n63_a_history_of_qed__1_5_2_2_2_4_1->n63_a_history_of_qed__1_5_2_2_2_4_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1 NLYR n63_a_history_of_qed__1_5_2_2_2_4_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1 NLYR n63_a_history_of_qed__1_5_2_2_2_4_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2 CONJP n63_a_history_of_qed__1_5_2_2_2_4_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_1 D n63_a_history_of_qed__1_5_2_2_2_4_2_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_2 N n63_a_history_of_qed__1_5_2_2_2_4_2_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_3 N n63_a_history_of_qed__1_5_2_2_2_4_2_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_3 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_3->n63_a_history_of_qed__1_5_2_2_2_4_2_1_1_3_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_1 CONJ n63_a_history_of_qed__1_5_2_2_2_4_2_1_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2 NLYR n63_a_history_of_qed__1_5_2_2_2_4_2_1_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1 D n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2 N n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3 PUNC n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4 N n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5 PP n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1 P-ROLE n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2 NP n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1 ADJP n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2 NS n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3 NS n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1 NP n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2 PUNC n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3 ADJ n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1 NPR n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2_1 n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3->n63_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3_1 n63_a_history_of_qed__1_6->n63_a_history_of_qed__1_6_1 
( (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 63_a_history_of_qed))