Context                Previous, Next                Top


3_a_history_of_qed
The text editors ed and vi, still much - used on Unix systems and elsewhere, have a long history, some bits of which are recounted here.

%3 r_0003_0005__and and r_0003_0004__ed ed r_0003_0005__and->r_0003_0004__ed [conj1] r_0003_0006__vi vi r_0003_0005__and->r_0003_0006__vi [conj2] r_0003_0011__used used r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors The text editors r_0003_0011__used->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg1] r_0003_0008__still still r_0003_0011__used->r_0003_0008__still [nim] r_0003_0009__much much r_0003_0011__used->r_0003_0009__much [nim] r_0003_0013__Unix_r_0003_0014__systems Unix systems r_0003_0011__used->r_0003_0013__Unix_r_0003_0014__systems on [nim] r_0003_0015__and_r_0003_0016__elsewhere and elsewhere r_0003_0011__used->r_0003_0015__and_r_0003_0016__elsewhere [nim] z_000_3_a_history_of_qed_24 r_0003_0011__used->z_000_3_a_history_of_qed_24 [arg0] r_0003_0018__have have r_0003_0018__have->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] r_0003_0019__a_r_0003_0021__history a history r_0003_0018__have->r_0003_0019__a_r_0003_0021__history [arg1] r_0003_0020__long long r_0003_0019__a_r_0003_0021__history->r_0003_0020__long [attrib] r_0003_0023__some_r_0003_0024__bits some bits r_0003_0023__some_r_0003_0024__bits->r_0003_0019__a_r_0003_0021__history of r_0003_0027__are are r_0003_0028__recounted recounted r_0003_0027__are->r_0003_0028__recounted [scope] r_0003_0028__recounted->r_0003_0023__some_r_0003_0024__bits [arg1] r_0003_0029__here here r_0003_0028__recounted->r_0003_0029__here [nim] z_000_3_a_history_of_qed_78 r_0003_0028__recounted->z_000_3_a_history_of_qed_78 [arg0] z_000_3_a_history_of_qed_9 z_000_3_a_history_of_qed_9->r_0003_0005__and [prd] z_000_3_a_history_of_qed_9->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] 
arc(r_0003_0005__and, r_0003_0004__ed, conj1).
arc(r_0003_0005__and, r_0003_0006__vi, conj2).
arc(r_0003_0011__used, r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors, arg1).
arc(r_0003_0011__used, r_0003_0008__still, nim26).
arc(r_0003_0011__used, r_0003_0009__much, nim29).
arc(r_0003_0011__used, r_0003_0013__Unix_r_0003_0014__systems, r_0003_0012__on_nim39).
arc(r_0003_0011__used, r_0003_0015__and_r_0003_0016__elsewhere, nim44).
arc(r_0003_0011__used, z_000_3_a_history_of_qed_24, arg0).
arc(r_0003_0018__have, r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors, arg0).
arc(r_0003_0018__have, r_0003_0019__a_r_0003_0021__history, arg1).
arc(r_0003_0019__a_r_0003_0021__history, r_0003_0020__long, attrib56).
arc(r_0003_0023__some_r_0003_0024__bits, r_0003_0019__a_r_0003_0021__history, r_0003_0025__of).
arc(r_0003_0027__are, r_0003_0028__recounted, scope).
arc(r_0003_0028__recounted, r_0003_0023__some_r_0003_0024__bits, arg1).
arc(r_0003_0028__recounted, r_0003_0029__here, nim82).
arc(r_0003_0028__recounted, z_000_3_a_history_of_qed_78, arg0).
arc(z_000_3_a_history_of_qed_9, r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors, arg0).
arc(z_000_3_a_history_of_qed_9, r_0003_0005__and, prd).


%3 z_000_3_a_history_of_qed_9 r_0003_0005__and and z_000_3_a_history_of_qed_9->r_0003_0005__and [prd] r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors The text editors z_000_3_a_history_of_qed_9->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] r_0003_0006__vi vi r_0003_0005__and->r_0003_0006__vi [conj2] r_0003_0004__ed ed r_0003_0005__and->r_0003_0004__ed [conj1] r_0003_0027__are_r_0003_0028__recounted are recounted z_000_3_a_history_of_qed_78 r_0003_0027__are_r_0003_0028__recounted->z_000_3_a_history_of_qed_78 [arg0] r_0003_0029__here here r_0003_0027__are_r_0003_0028__recounted->r_0003_0029__here [nim] r_0003_0023__some_r_0003_0024__bits some bits r_0003_0027__are_r_0003_0028__recounted->r_0003_0023__some_r_0003_0024__bits [arg1] r_0003_0019__a_r_0003_0021__history a history r_0003_0023__some_r_0003_0024__bits->r_0003_0019__a_r_0003_0021__history of r_0003_0020__long long r_0003_0019__a_r_0003_0021__history->r_0003_0020__long [attrib] r_0003_0018__have have r_0003_0018__have->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] r_0003_0018__have->r_0003_0019__a_r_0003_0021__history [arg1] r_0003_0011__used used r_0003_0011__used->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg1] z_000_3_a_history_of_qed_24 r_0003_0011__used->z_000_3_a_history_of_qed_24 [arg0] r_0003_0015__and_r_0003_0016__elsewhere and elsewhere r_0003_0011__used->r_0003_0015__and_r_0003_0016__elsewhere [nim] r_0003_0013__Unix_r_0003_0014__systems Unix systems r_0003_0011__used->r_0003_0013__Unix_r_0003_0014__systems on [nim] r_0003_0009__much much r_0003_0011__used->r_0003_0009__much [nim] r_0003_0008__still still r_0003_0011__used->r_0003_0008__still [nim] 
fof(formula,axiom,
    ? [R_0003_0001__THE_R_0003_0002__TEXT_R_0003_0003__EDITORS,R_0003_0008__STILL,R_0003_0009__MUCH,R_0003_0013__UNIX_R_0003_0014__SYSTEMS,R_0003_0015__AND_R_0003_0016__ELSEWHERE,Z_000_3_A_HISTORY_OF_QED_24,R_0003_0011__USED,R_0003_0020__LONG,R_0003_0019__A_R_0003_0021__HISTORY,R_0003_0018__HAVE,R_0003_0023__SOME_R_0003_0024__BITS,R_0003_0029__HERE,Z_000_3_A_HISTORY_OF_QED_78,R_0003_0027__ARE_R_0003_0028__RECOUNTED,R_0003_0004__ED,R_0003_0006__VI,R_0003_0005__AND,Z_000_3_A_HISTORY_OF_QED_9] :
      ( r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors(R_0003_0001__THE_R_0003_0002__TEXT_R_0003_0003__EDITORS)
      & r_0003_0004__ed(R_0003_0004__ED)
      & r_0003_0006__vi(R_0003_0006__VI)
      & r_0003_0008__still(R_0003_0008__STILL)
      & r_0003_0009__much(R_0003_0009__MUCH)
      & r_0003_0013__Unix_r_0003_0014__systems(R_0003_0013__UNIX_R_0003_0014__SYSTEMS)
      & r_0003_0015__and_r_0003_0016__elsewhere(R_0003_0015__AND_R_0003_0016__ELSEWHERE)
      & r_0003_0020__long(R_0003_0020__LONG)
      & r_0003_0029__here(R_0003_0029__HERE)
      & z_000_3_a_history_of_qed_24(Z_000_3_A_HISTORY_OF_QED_24)
      & z_000_3_a_history_of_qed_78(Z_000_3_A_HISTORY_OF_QED_78)
      & z_000_3_a_history_of_qed_9(Z_000_3_A_HISTORY_OF_QED_9)
      & has_prd(Z_000_3_A_HISTORY_OF_QED_9,R_0003_0005__AND)
      & r_0003_0005__and(R_0003_0005__AND)
      & has_conj2(R_0003_0005__AND,R_0003_0006__VI)
      & has_conj1(R_0003_0005__AND,R_0003_0004__ED)
      & has_arg0(Z_000_3_A_HISTORY_OF_QED_9,R_0003_0001__THE_R_0003_0002__TEXT_R_0003_0003__EDITORS)
      & r_0003_0027__are_r_0003_0028__recounted(R_0003_0027__ARE_R_0003_0028__RECOUNTED)
      & has_arg0(R_0003_0027__ARE_R_0003_0028__RECOUNTED,Z_000_3_A_HISTORY_OF_QED_78)
      & has_nim82(R_0003_0027__ARE_R_0003_0028__RECOUNTED,R_0003_0029__HERE)
      & has_arg1(R_0003_0027__ARE_R_0003_0028__RECOUNTED,R_0003_0023__SOME_R_0003_0024__BITS)
      & r_0003_0023__some_r_0003_0024__bits(R_0003_0023__SOME_R_0003_0024__BITS)
      & has_r_0003_0025__of(R_0003_0023__SOME_R_0003_0024__BITS,R_0003_0019__A_R_0003_0021__HISTORY)
      & r_0003_0019__a_r_0003_0021__history(R_0003_0019__A_R_0003_0021__HISTORY)
      & has_attrib56(R_0003_0019__A_R_0003_0021__HISTORY,R_0003_0020__LONG)
      & r_0003_0018__have(R_0003_0018__HAVE)
      & has_arg1(R_0003_0018__HAVE,R_0003_0019__A_R_0003_0021__HISTORY)
      & has_arg0(R_0003_0018__HAVE,R_0003_0001__THE_R_0003_0002__TEXT_R_0003_0003__EDITORS)
      & r_0003_0011__used(R_0003_0011__USED)
      & has_arg0(R_0003_0011__USED,Z_000_3_A_HISTORY_OF_QED_24)
      & has_nim44(R_0003_0011__USED,R_0003_0015__AND_R_0003_0016__ELSEWHERE)
      & has_r_0003_0012__on_nim39(R_0003_0011__USED,R_0003_0013__UNIX_R_0003_0014__SYSTEMS)
      & has_nim29(R_0003_0011__USED,R_0003_0009__MUCH)
      & has_nim26(R_0003_0011__USED,R_0003_0008__STILL)
      & has_arg1(R_0003_0011__USED,R_0003_0001__THE_R_0003_0002__TEXT_R_0003_0003__EDITORS) ) ).


n3_a_history_of_qed n3_a_history_of_qed__1_1_1_1 The n3_a_history_of_qed__1_1_2_1 text n3_a_history_of_qed__1_1_3_1 editors n3_a_history_of_qed__1_1_4_1_1_1_1_1 ed n3_a_history_of_qed__1_1_4_1_1_2_1_1 and n3_a_history_of_qed__1_1_4_1_1_2_2_1_1 vi n3_a_history_of_qed__1_1_5_1 , n3_a_history_of_qed__1_1_6_1_1 * n3_a_history_of_qed__1_1_6_2_1_1 still n3_a_history_of_qed__1_1_6_3_1_1 much n3_a_history_of_qed__1_1_6_4_1 - n3_a_history_of_qed__1_1_6_5_1 used n3_a_history_of_qed__1_1_6_6_1_1 on n3_a_history_of_qed__1_1_6_6_2_1_1 Unix n3_a_history_of_qed__1_1_6_6_2_2_1 systems n3_a_history_of_qed__1_1_6_7_1_1 and n3_a_history_of_qed__1_1_6_7_2_1 elsewhere n3_a_history_of_qed__1_2_1 , n3_a_history_of_qed__1_3_1 have n3_a_history_of_qed__1_4_1_1 a n3_a_history_of_qed__1_4_2_1_1 long n3_a_history_of_qed__1_4_3_1 history n3_a_history_of_qed__1_4_4_1 , n3_a_history_of_qed__1_4_5_1_1_1 some n3_a_history_of_qed__1_4_5_1_2_1 bits n3_a_history_of_qed__1_4_5_1_3_1_1 of n3_a_history_of_qed__1_4_5_1_3_2_1_1 which n3_a_history_of_qed__1_4_5_2_1 are n3_a_history_of_qed__1_4_5_3_1_1 * n3_a_history_of_qed__1_4_5_3_2_1 recounted n3_a_history_of_qed__1_4_5_3_3_1_1 here n3_a_history_of_qed__1_5_1 . n3_a_history_of_qed__1 IP-MAT n3_a_history_of_qed__1_1 NP-SBJ n3_a_history_of_qed__1->n3_a_history_of_qed__1_1 n3_a_history_of_qed__1_2 PUNC n3_a_history_of_qed__1->n3_a_history_of_qed__1_2 n3_a_history_of_qed__1_3 HVP;_Tn_ n3_a_history_of_qed__1->n3_a_history_of_qed__1_3 n3_a_history_of_qed__1_4 NP-OB1 n3_a_history_of_qed__1->n3_a_history_of_qed__1_4 n3_a_history_of_qed__1_5 PUNC n3_a_history_of_qed__1->n3_a_history_of_qed__1_5 n3_a_history_of_qed__1_1_1 D n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_1 n3_a_history_of_qed__1_1_2 N n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_2 n3_a_history_of_qed__1_1_3 NS n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_3 n3_a_history_of_qed__1_1_4 IP-PPL n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_4 n3_a_history_of_qed__1_1_5 PUNC n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_5 n3_a_history_of_qed__1_1_6 IP-PPL n3_a_history_of_qed__1_1->n3_a_history_of_qed__1_1_6 n3_a_history_of_qed__1_1_1->n3_a_history_of_qed__1_1_1_1 n3_a_history_of_qed__1_1_2->n3_a_history_of_qed__1_1_2_1 n3_a_history_of_qed__1_1_3->n3_a_history_of_qed__1_1_3_1 n3_a_history_of_qed__1_1_4_1 NP-PRD n3_a_history_of_qed__1_1_4->n3_a_history_of_qed__1_1_4_1 n3_a_history_of_qed__1_1_4_1_1 NLYR n3_a_history_of_qed__1_1_4_1->n3_a_history_of_qed__1_1_4_1_1 n3_a_history_of_qed__1_1_4_1_1_1 NLYR n3_a_history_of_qed__1_1_4_1_1->n3_a_history_of_qed__1_1_4_1_1_1 n3_a_history_of_qed__1_1_4_1_1_2 CONJP n3_a_history_of_qed__1_1_4_1_1->n3_a_history_of_qed__1_1_4_1_1_2 n3_a_history_of_qed__1_1_4_1_1_1_1 NPR n3_a_history_of_qed__1_1_4_1_1_1->n3_a_history_of_qed__1_1_4_1_1_1_1 n3_a_history_of_qed__1_1_4_1_1_1_1->n3_a_history_of_qed__1_1_4_1_1_1_1_1 n3_a_history_of_qed__1_1_4_1_1_2_1 CONJ n3_a_history_of_qed__1_1_4_1_1_2->n3_a_history_of_qed__1_1_4_1_1_2_1 n3_a_history_of_qed__1_1_4_1_1_2_2 NLYR n3_a_history_of_qed__1_1_4_1_1_2->n3_a_history_of_qed__1_1_4_1_1_2_2 n3_a_history_of_qed__1_1_4_1_1_2_1->n3_a_history_of_qed__1_1_4_1_1_2_1_1 n3_a_history_of_qed__1_1_4_1_1_2_2_1 NPR n3_a_history_of_qed__1_1_4_1_1_2_2->n3_a_history_of_qed__1_1_4_1_1_2_2_1 n3_a_history_of_qed__1_1_4_1_1_2_2_1->n3_a_history_of_qed__1_1_4_1_1_2_2_1_1 n3_a_history_of_qed__1_1_5->n3_a_history_of_qed__1_1_5_1 n3_a_history_of_qed__1_1_6_1 NP-LGS n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_1 n3_a_history_of_qed__1_1_6_2 ADVP-NIM n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_2 n3_a_history_of_qed__1_1_6_3 ADVP-NIM n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_3 n3_a_history_of_qed__1_1_6_4 PUNC n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_4 n3_a_history_of_qed__1_1_6_5 VVN;_Tn_ n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_5 n3_a_history_of_qed__1_1_6_6 PP-NIM n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_6 n3_a_history_of_qed__1_1_6_7 ADVP-NIM n3_a_history_of_qed__1_1_6->n3_a_history_of_qed__1_1_6_7 n3_a_history_of_qed__1_1_6_1->n3_a_history_of_qed__1_1_6_1_1 n3_a_history_of_qed__1_1_6_2_1 ADV n3_a_history_of_qed__1_1_6_2->n3_a_history_of_qed__1_1_6_2_1 n3_a_history_of_qed__1_1_6_2_1->n3_a_history_of_qed__1_1_6_2_1_1 n3_a_history_of_qed__1_1_6_3_1 ADV n3_a_history_of_qed__1_1_6_3->n3_a_history_of_qed__1_1_6_3_1 n3_a_history_of_qed__1_1_6_3_1->n3_a_history_of_qed__1_1_6_3_1_1 n3_a_history_of_qed__1_1_6_4->n3_a_history_of_qed__1_1_6_4_1 n3_a_history_of_qed__1_1_6_5->n3_a_history_of_qed__1_1_6_5_1 n3_a_history_of_qed__1_1_6_6_1 P-ROLE n3_a_history_of_qed__1_1_6_6->n3_a_history_of_qed__1_1_6_6_1 n3_a_history_of_qed__1_1_6_6_2 NP n3_a_history_of_qed__1_1_6_6->n3_a_history_of_qed__1_1_6_6_2 n3_a_history_of_qed__1_1_6_6_1->n3_a_history_of_qed__1_1_6_6_1_1 n3_a_history_of_qed__1_1_6_6_2_1 NPR n3_a_history_of_qed__1_1_6_6_2->n3_a_history_of_qed__1_1_6_6_2_1 n3_a_history_of_qed__1_1_6_6_2_2 NS n3_a_history_of_qed__1_1_6_6_2->n3_a_history_of_qed__1_1_6_6_2_2 n3_a_history_of_qed__1_1_6_6_2_1->n3_a_history_of_qed__1_1_6_6_2_1_1 n3_a_history_of_qed__1_1_6_6_2_2->n3_a_history_of_qed__1_1_6_6_2_2_1 n3_a_history_of_qed__1_1_6_7_1 CONJ n3_a_history_of_qed__1_1_6_7->n3_a_history_of_qed__1_1_6_7_1 n3_a_history_of_qed__1_1_6_7_2 ADV n3_a_history_of_qed__1_1_6_7->n3_a_history_of_qed__1_1_6_7_2 n3_a_history_of_qed__1_1_6_7_1->n3_a_history_of_qed__1_1_6_7_1_1 n3_a_history_of_qed__1_1_6_7_2->n3_a_history_of_qed__1_1_6_7_2_1 n3_a_history_of_qed__1_2->n3_a_history_of_qed__1_2_1 n3_a_history_of_qed__1_3->n3_a_history_of_qed__1_3_1 n3_a_history_of_qed__1_4_1 D n3_a_history_of_qed__1_4->n3_a_history_of_qed__1_4_1 n3_a_history_of_qed__1_4_2 ADJP n3_a_history_of_qed__1_4->n3_a_history_of_qed__1_4_2 n3_a_history_of_qed__1_4_3 N n3_a_history_of_qed__1_4->n3_a_history_of_qed__1_4_3 n3_a_history_of_qed__1_4_4 PUNC n3_a_history_of_qed__1_4->n3_a_history_of_qed__1_4_4 n3_a_history_of_qed__1_4_5 IP-REL n3_a_history_of_qed__1_4->n3_a_history_of_qed__1_4_5 n3_a_history_of_qed__1_4_1->n3_a_history_of_qed__1_4_1_1 n3_a_history_of_qed__1_4_2_1 ADJ n3_a_history_of_qed__1_4_2->n3_a_history_of_qed__1_4_2_1 n3_a_history_of_qed__1_4_2_1->n3_a_history_of_qed__1_4_2_1_1 n3_a_history_of_qed__1_4_3->n3_a_history_of_qed__1_4_3_1 n3_a_history_of_qed__1_4_4->n3_a_history_of_qed__1_4_4_1 n3_a_history_of_qed__1_4_5_1 NP-SBJ n3_a_history_of_qed__1_4_5->n3_a_history_of_qed__1_4_5_1 n3_a_history_of_qed__1_4_5_2 BEP;_cat_VePASS_ n3_a_history_of_qed__1_4_5->n3_a_history_of_qed__1_4_5_2 n3_a_history_of_qed__1_4_5_3 IP-PPL-CAT n3_a_history_of_qed__1_4_5->n3_a_history_of_qed__1_4_5_3 n3_a_history_of_qed__1_4_5_1_1 D n3_a_history_of_qed__1_4_5_1->n3_a_history_of_qed__1_4_5_1_1 n3_a_history_of_qed__1_4_5_1_2 NS n3_a_history_of_qed__1_4_5_1->n3_a_history_of_qed__1_4_5_1_2 n3_a_history_of_qed__1_4_5_1_3 PP n3_a_history_of_qed__1_4_5_1->n3_a_history_of_qed__1_4_5_1_3 n3_a_history_of_qed__1_4_5_1_1->n3_a_history_of_qed__1_4_5_1_1_1 n3_a_history_of_qed__1_4_5_1_2->n3_a_history_of_qed__1_4_5_1_2_1 n3_a_history_of_qed__1_4_5_1_3_1 P-ROLE n3_a_history_of_qed__1_4_5_1_3->n3_a_history_of_qed__1_4_5_1_3_1 n3_a_history_of_qed__1_4_5_1_3_2 NP n3_a_history_of_qed__1_4_5_1_3->n3_a_history_of_qed__1_4_5_1_3_2 n3_a_history_of_qed__1_4_5_1_3_1->n3_a_history_of_qed__1_4_5_1_3_1_1 n3_a_history_of_qed__1_4_5_1_3_2_1 RPRO n3_a_history_of_qed__1_4_5_1_3_2->n3_a_history_of_qed__1_4_5_1_3_2_1 n3_a_history_of_qed__1_4_5_1_3_2_1->n3_a_history_of_qed__1_4_5_1_3_2_1_1 n3_a_history_of_qed__1_4_5_2->n3_a_history_of_qed__1_4_5_2_1 n3_a_history_of_qed__1_4_5_3_1 NP-LGS n3_a_history_of_qed__1_4_5_3->n3_a_history_of_qed__1_4_5_3_1 n3_a_history_of_qed__1_4_5_3_2 VVN;_Tn_ n3_a_history_of_qed__1_4_5_3->n3_a_history_of_qed__1_4_5_3_2 n3_a_history_of_qed__1_4_5_3_3 ADVP-NIM n3_a_history_of_qed__1_4_5_3->n3_a_history_of_qed__1_4_5_3_3 n3_a_history_of_qed__1_4_5_3_1->n3_a_history_of_qed__1_4_5_3_1_1 n3_a_history_of_qed__1_4_5_3_2->n3_a_history_of_qed__1_4_5_3_2_1 n3_a_history_of_qed__1_4_5_3_3_1 ADV n3_a_history_of_qed__1_4_5_3_3->n3_a_history_of_qed__1_4_5_3_3_1 n3_a_history_of_qed__1_4_5_3_3_1->n3_a_history_of_qed__1_4_5_3_3_1_1 n3_a_history_of_qed__1_5->n3_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N text;{text})
                  (NS editors;{editor})
                  (IP-PPL (NP-PRD (NLYR (NLYR (NPR ed;{ed}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NPR vi;{vi}))))))
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (ADVP-NIM (ADV still;{still}))
                          (ADVP-NIM (ADV much;{much}))
                          (PUNC <hyphen>)
                          (VVN;_Tn_ used;{use})
                          (PP-NIM (P-ROLE on;{on})
                                  (NP (NPR Unix;{Unix})
                                      (NS systems;{system})))
                          (ADVP-NIM (CONJ and;{and})
                                    (ADV elsewhere;{elsewhere}))))
          (PUNC ,)
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ long;{long}))
                  (N history;{history})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (D some;{some})
                                  (NS bits;{bit})
                                  (PP (P-ROLE of;{of})
                                      (NP (RPRO which;{which}))))
                          (BEP;_cat_VePASS_ are;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ recounted;{recount})
                                      (ADVP-NIM (ADV here;{here})))))
          (PUNC .))
  (ID 3_a_history_of_qed))