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__1_1_1_1 It n64_a_history_of_qed__1_2_1 , n64_a_history_of_qed__1_3_1_1 like n64_a_history_of_qed__1_3_2_1_1_1 various n64_a_history_of_qed__1_3_2_2_1_1 earlier n64_a_history_of_qed__1_3_2_3_1 versions n64_a_history_of_qed__1_4_1 , n64_a_history_of_qed__1_5_1_1_1 is n64_a_history_of_qed__1_5_1_2_1_1 available n64_a_history_of_qed__1_5_1_2_2_1_1 for n64_a_history_of_qed__1_5_1_2_2_2_1_1 Honeywell n64_a_history_of_qed__1_5_1_2_2_2_2_1 GCOS n64_a_history_of_qed__1_5_1_2_2_2_3_1 systems n64_a_history_of_qed__1_5_2_1_1 and n64_a_history_of_qed__1_5_2_2_1_1 is n64_a_history_of_qed__1_5_2_2_2_1_1 * n64_a_history_of_qed__1_5_2_2_2_2_1_1 still n64_a_history_of_qed__1_5_2_2_2_3_1 used n64_a_history_of_qed__1_5_2_2_2_4_1_1 as n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_1_1 a n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_2_1 scripting n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_3_1 language n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_1_1 as_well_as n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1_1 a n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2_1 line n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3_1 - n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4_1 editor n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1_1 for n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1_1 TTY n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2_1 - n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3_1 like n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2_1 communications n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3_1 interfaces n64_a_history_of_qed__1_6_1 . n64_a_history_of_qed__1 IP-MAT n64_a_history_of_qed__1_1 NP-SBJ n64_a_history_of_qed__1->n64_a_history_of_qed__1_1 n64_a_history_of_qed__1_2 PUNC n64_a_history_of_qed__1->n64_a_history_of_qed__1_2 n64_a_history_of_qed__1_3 PP-NIM n64_a_history_of_qed__1->n64_a_history_of_qed__1_3 n64_a_history_of_qed__1_4 PUNC n64_a_history_of_qed__1->n64_a_history_of_qed__1_4 n64_a_history_of_qed__1_5 ILYR n64_a_history_of_qed__1->n64_a_history_of_qed__1_5 n64_a_history_of_qed__1_6 PUNC n64_a_history_of_qed__1->n64_a_history_of_qed__1_6 n64_a_history_of_qed__1_1_1 PRO n64_a_history_of_qed__1_1->n64_a_history_of_qed__1_1_1 n64_a_history_of_qed__1_1_1->n64_a_history_of_qed__1_1_1_1 n64_a_history_of_qed__1_2->n64_a_history_of_qed__1_2_1 n64_a_history_of_qed__1_3_1 P-ROLE n64_a_history_of_qed__1_3->n64_a_history_of_qed__1_3_1 n64_a_history_of_qed__1_3_2 NP n64_a_history_of_qed__1_3->n64_a_history_of_qed__1_3_2 n64_a_history_of_qed__1_3_1->n64_a_history_of_qed__1_3_1_1 n64_a_history_of_qed__1_3_2_1 ADJP n64_a_history_of_qed__1_3_2->n64_a_history_of_qed__1_3_2_1 n64_a_history_of_qed__1_3_2_2 ADJP n64_a_history_of_qed__1_3_2->n64_a_history_of_qed__1_3_2_2 n64_a_history_of_qed__1_3_2_3 NS n64_a_history_of_qed__1_3_2->n64_a_history_of_qed__1_3_2_3 n64_a_history_of_qed__1_3_2_1_1 ADJ n64_a_history_of_qed__1_3_2_1->n64_a_history_of_qed__1_3_2_1_1 n64_a_history_of_qed__1_3_2_1_1->n64_a_history_of_qed__1_3_2_1_1_1 n64_a_history_of_qed__1_3_2_2_1 ADJR n64_a_history_of_qed__1_3_2_2->n64_a_history_of_qed__1_3_2_2_1 n64_a_history_of_qed__1_3_2_2_1->n64_a_history_of_qed__1_3_2_2_1_1 n64_a_history_of_qed__1_3_2_3->n64_a_history_of_qed__1_3_2_3_1 n64_a_history_of_qed__1_4->n64_a_history_of_qed__1_4_1 n64_a_history_of_qed__1_5_1 ILYR n64_a_history_of_qed__1_5->n64_a_history_of_qed__1_5_1 n64_a_history_of_qed__1_5_2 CONJP n64_a_history_of_qed__1_5->n64_a_history_of_qed__1_5_2 n64_a_history_of_qed__1_5_1_1 BEP;_La_ n64_a_history_of_qed__1_5_1->n64_a_history_of_qed__1_5_1_1 n64_a_history_of_qed__1_5_1_2 ADJP-PRD n64_a_history_of_qed__1_5_1->n64_a_history_of_qed__1_5_1_2 n64_a_history_of_qed__1_5_1_1->n64_a_history_of_qed__1_5_1_1_1 n64_a_history_of_qed__1_5_1_2_1 ADJ n64_a_history_of_qed__1_5_1_2->n64_a_history_of_qed__1_5_1_2_1 n64_a_history_of_qed__1_5_1_2_2 PP n64_a_history_of_qed__1_5_1_2->n64_a_history_of_qed__1_5_1_2_2 n64_a_history_of_qed__1_5_1_2_1->n64_a_history_of_qed__1_5_1_2_1_1 n64_a_history_of_qed__1_5_1_2_2_1 P-ROLE n64_a_history_of_qed__1_5_1_2_2->n64_a_history_of_qed__1_5_1_2_2_1 n64_a_history_of_qed__1_5_1_2_2_2 NP n64_a_history_of_qed__1_5_1_2_2->n64_a_history_of_qed__1_5_1_2_2_2 n64_a_history_of_qed__1_5_1_2_2_1->n64_a_history_of_qed__1_5_1_2_2_1_1 n64_a_history_of_qed__1_5_1_2_2_2_1 NPR n64_a_history_of_qed__1_5_1_2_2_2->n64_a_history_of_qed__1_5_1_2_2_2_1 n64_a_history_of_qed__1_5_1_2_2_2_2 NPR n64_a_history_of_qed__1_5_1_2_2_2->n64_a_history_of_qed__1_5_1_2_2_2_2 n64_a_history_of_qed__1_5_1_2_2_2_3 NS n64_a_history_of_qed__1_5_1_2_2_2->n64_a_history_of_qed__1_5_1_2_2_2_3 n64_a_history_of_qed__1_5_1_2_2_2_1->n64_a_history_of_qed__1_5_1_2_2_2_1_1 n64_a_history_of_qed__1_5_1_2_2_2_2->n64_a_history_of_qed__1_5_1_2_2_2_2_1 n64_a_history_of_qed__1_5_1_2_2_2_3->n64_a_history_of_qed__1_5_1_2_2_2_3_1 n64_a_history_of_qed__1_5_2_1 CONJ n64_a_history_of_qed__1_5_2->n64_a_history_of_qed__1_5_2_1 n64_a_history_of_qed__1_5_2_2 ILYR n64_a_history_of_qed__1_5_2->n64_a_history_of_qed__1_5_2_2 n64_a_history_of_qed__1_5_2_1->n64_a_history_of_qed__1_5_2_1_1 n64_a_history_of_qed__1_5_2_2_1 BEP;_cat_VePASS_ n64_a_history_of_qed__1_5_2_2->n64_a_history_of_qed__1_5_2_2_1 n64_a_history_of_qed__1_5_2_2_2 IP-PPL-CAT n64_a_history_of_qed__1_5_2_2->n64_a_history_of_qed__1_5_2_2_2 n64_a_history_of_qed__1_5_2_2_1->n64_a_history_of_qed__1_5_2_2_1_1 n64_a_history_of_qed__1_5_2_2_2_1 NP-LGS n64_a_history_of_qed__1_5_2_2_2->n64_a_history_of_qed__1_5_2_2_2_1 n64_a_history_of_qed__1_5_2_2_2_2 ADVP-NIM n64_a_history_of_qed__1_5_2_2_2->n64_a_history_of_qed__1_5_2_2_2_2 n64_a_history_of_qed__1_5_2_2_2_3 VVN;_Cn.n/a_ n64_a_history_of_qed__1_5_2_2_2->n64_a_history_of_qed__1_5_2_2_2_3 n64_a_history_of_qed__1_5_2_2_2_4 PP-PRD n64_a_history_of_qed__1_5_2_2_2->n64_a_history_of_qed__1_5_2_2_2_4 n64_a_history_of_qed__1_5_2_2_2_1->n64_a_history_of_qed__1_5_2_2_2_1_1 n64_a_history_of_qed__1_5_2_2_2_2_1 ADV n64_a_history_of_qed__1_5_2_2_2_2->n64_a_history_of_qed__1_5_2_2_2_2_1 n64_a_history_of_qed__1_5_2_2_2_2_1->n64_a_history_of_qed__1_5_2_2_2_2_1_1 n64_a_history_of_qed__1_5_2_2_2_3->n64_a_history_of_qed__1_5_2_2_2_3_1 n64_a_history_of_qed__1_5_2_2_2_4_1 P-ROLE n64_a_history_of_qed__1_5_2_2_2_4->n64_a_history_of_qed__1_5_2_2_2_4_1 n64_a_history_of_qed__1_5_2_2_2_4_2 NP n64_a_history_of_qed__1_5_2_2_2_4->n64_a_history_of_qed__1_5_2_2_2_4_2 n64_a_history_of_qed__1_5_2_2_2_4_1->n64_a_history_of_qed__1_5_2_2_2_4_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1 NLYR n64_a_history_of_qed__1_5_2_2_2_4_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1 NLYR n64_a_history_of_qed__1_5_2_2_2_4_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2 CONJP n64_a_history_of_qed__1_5_2_2_2_4_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_1 D n64_a_history_of_qed__1_5_2_2_2_4_2_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_2 N n64_a_history_of_qed__1_5_2_2_2_4_2_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_3 N n64_a_history_of_qed__1_5_2_2_2_4_2_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_3 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_3->n64_a_history_of_qed__1_5_2_2_2_4_2_1_1_3_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_1 CONJ n64_a_history_of_qed__1_5_2_2_2_4_2_1_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2 NLYR n64_a_history_of_qed__1_5_2_2_2_4_2_1_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1 D n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2 N n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3 PUNC n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4 N n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5 PP n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_3_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_4_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1 P-ROLE n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2 NP n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1 ADJP n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2 NS n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3 NS n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1 NP n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2 PUNC n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3 ADJ n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1 NPR n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_1_1_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_1_3_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_2_1 n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3->n64_a_history_of_qed__1_5_2_2_2_4_2_1_2_2_5_2_3_1 n64_a_history_of_qed__1_6->n64_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 64_a_history_of_qed))