Context                Previous, Next                Top


41_a_history_of_qed
Subsequent versions of ed for Unix (now written in C) began to add back some of the complexity (e.g. back - referencing in “regular” expressions, which now didn't quite include all the regular languages nor context - free languages, but did intrude a bit on the context - sensitive languages.)

n41_a_history_of_qed n41_a_history_of_qed__1_1_1_1_1 Subsequent n41_a_history_of_qed__1_1_2_1 versions n41_a_history_of_qed__1_1_3_1_1 of n41_a_history_of_qed__1_1_3_2_1_1 ed n41_a_history_of_qed__1_1_3_2_2_1_1 for n41_a_history_of_qed__1_1_3_2_2_2_1_1 Unix n41_a_history_of_qed__1_1_3_2_3_1 -LRB- n41_a_history_of_qed__1_1_3_2_4_1_1 * n41_a_history_of_qed__1_1_3_2_4_2_1_1 now n41_a_history_of_qed__1_1_3_2_4_3_1 written n41_a_history_of_qed__1_1_3_2_4_4_1_1 in n41_a_history_of_qed__1_1_3_2_4_4_2_1_1 C n41_a_history_of_qed__1_1_3_2_5_1 -RRB- n41_a_history_of_qed__1_2_1 began n41_a_history_of_qed__1_3_1_1 to n41_a_history_of_qed__1_3_2_1 add n41_a_history_of_qed__1_3_3_1_1 back n41_a_history_of_qed__1_3_4_1_1 some n41_a_history_of_qed__1_3_4_2_1_1 of n41_a_history_of_qed__1_3_4_2_2_1_1 the n41_a_history_of_qed__1_3_4_2_2_2_1 complexity n41_a_history_of_qed__1_3_4_3_1 -LRB- n41_a_history_of_qed__1_3_4_4_1 e.g. n41_a_history_of_qed__1_3_4_5_1_1_1_1 back n41_a_history_of_qed__1_3_4_5_1_2_1 - n41_a_history_of_qed__1_3_4_5_1_3_1 referencing n41_a_history_of_qed__1_3_4_5_1_4_1_1 in n41_a_history_of_qed__1_3_4_5_1_4_2_1_1 <ldquo> n41_a_history_of_qed__1_3_4_5_1_4_2_2_1_1 regular n41_a_history_of_qed__1_3_4_5_1_4_2_3_1 <rdquo> n41_a_history_of_qed__1_3_4_5_1_4_2_4_1 expressions n41_a_history_of_qed__1_3_4_5_1_4_2_5_1 , n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1_1 which n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1_1 now n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1_1 did n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2_1 n't n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1_1 quite n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4_1 include n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1_1 all n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1_1 the n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2_1_1 regular n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_3_1 languages n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1_1 nor n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1_1 context n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2_1 - n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3_1 free n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2_1 languages n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2_1 , n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1_1 but n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1_1 did n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2_1 intrude n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1_1 a n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2_1 bit n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1_1 on n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1_1 the n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1_1 context n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2_1 - n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3_1 sensitive n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3_1 languages n41_a_history_of_qed__1_4_1 . n41_a_history_of_qed__1_5_1 -RRB- n41_a_history_of_qed__1 IP-MAT n41_a_history_of_qed__1_1 NP-SBJ n41_a_history_of_qed__1->n41_a_history_of_qed__1_1 n41_a_history_of_qed__1_2 VBD;__ n41_a_history_of_qed__1->n41_a_history_of_qed__1_2 n41_a_history_of_qed__1_3 IP-INF-OB1 n41_a_history_of_qed__1->n41_a_history_of_qed__1_3 n41_a_history_of_qed__1_4 PUNC n41_a_history_of_qed__1->n41_a_history_of_qed__1_4 n41_a_history_of_qed__1_5 PURB n41_a_history_of_qed__1->n41_a_history_of_qed__1_5 n41_a_history_of_qed__1_1_1 ADJP n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_1 n41_a_history_of_qed__1_1_2 NS n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_2 n41_a_history_of_qed__1_1_3 PP n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_3 n41_a_history_of_qed__1_1_1_1 ADJ n41_a_history_of_qed__1_1_1->n41_a_history_of_qed__1_1_1_1 n41_a_history_of_qed__1_1_1_1->n41_a_history_of_qed__1_1_1_1_1 n41_a_history_of_qed__1_1_2->n41_a_history_of_qed__1_1_2_1 n41_a_history_of_qed__1_1_3_1 P-ROLE n41_a_history_of_qed__1_1_3->n41_a_history_of_qed__1_1_3_1 n41_a_history_of_qed__1_1_3_2 NP n41_a_history_of_qed__1_1_3->n41_a_history_of_qed__1_1_3_2 n41_a_history_of_qed__1_1_3_1->n41_a_history_of_qed__1_1_3_1_1 n41_a_history_of_qed__1_1_3_2_1 NPR n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_1 n41_a_history_of_qed__1_1_3_2_2 PP n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_2 n41_a_history_of_qed__1_1_3_2_3 PULB n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_3 n41_a_history_of_qed__1_1_3_2_4 IP-PPL n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_4 n41_a_history_of_qed__1_1_3_2_5 PURB n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_5 n41_a_history_of_qed__1_1_3_2_1->n41_a_history_of_qed__1_1_3_2_1_1 n41_a_history_of_qed__1_1_3_2_2_1 P-ROLE n41_a_history_of_qed__1_1_3_2_2->n41_a_history_of_qed__1_1_3_2_2_1 n41_a_history_of_qed__1_1_3_2_2_2 NP n41_a_history_of_qed__1_1_3_2_2->n41_a_history_of_qed__1_1_3_2_2_2 n41_a_history_of_qed__1_1_3_2_2_1->n41_a_history_of_qed__1_1_3_2_2_1_1 n41_a_history_of_qed__1_1_3_2_2_2_1 NPR n41_a_history_of_qed__1_1_3_2_2_2->n41_a_history_of_qed__1_1_3_2_2_2_1 n41_a_history_of_qed__1_1_3_2_2_2_1->n41_a_history_of_qed__1_1_3_2_2_2_1_1 n41_a_history_of_qed__1_1_3_2_3->n41_a_history_of_qed__1_1_3_2_3_1 n41_a_history_of_qed__1_1_3_2_4_1 NP-LGS n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_1 n41_a_history_of_qed__1_1_3_2_4_2 ADVP-NIM n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_2 n41_a_history_of_qed__1_1_3_2_4_3 VVN;__ n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_3 n41_a_history_of_qed__1_1_3_2_4_4 PP n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_4 n41_a_history_of_qed__1_1_3_2_4_1->n41_a_history_of_qed__1_1_3_2_4_1_1 n41_a_history_of_qed__1_1_3_2_4_2_1 ADV n41_a_history_of_qed__1_1_3_2_4_2->n41_a_history_of_qed__1_1_3_2_4_2_1 n41_a_history_of_qed__1_1_3_2_4_2_1->n41_a_history_of_qed__1_1_3_2_4_2_1_1 n41_a_history_of_qed__1_1_3_2_4_3->n41_a_history_of_qed__1_1_3_2_4_3_1 n41_a_history_of_qed__1_1_3_2_4_4_1 P-ROLE n41_a_history_of_qed__1_1_3_2_4_4->n41_a_history_of_qed__1_1_3_2_4_4_1 n41_a_history_of_qed__1_1_3_2_4_4_2 NP n41_a_history_of_qed__1_1_3_2_4_4->n41_a_history_of_qed__1_1_3_2_4_4_2 n41_a_history_of_qed__1_1_3_2_4_4_1->n41_a_history_of_qed__1_1_3_2_4_4_1_1 n41_a_history_of_qed__1_1_3_2_4_4_2_1 NPR n41_a_history_of_qed__1_1_3_2_4_4_2->n41_a_history_of_qed__1_1_3_2_4_4_2_1 n41_a_history_of_qed__1_1_3_2_4_4_2_1->n41_a_history_of_qed__1_1_3_2_4_4_2_1_1 n41_a_history_of_qed__1_1_3_2_5->n41_a_history_of_qed__1_1_3_2_5_1 n41_a_history_of_qed__1_2->n41_a_history_of_qed__1_2_1 n41_a_history_of_qed__1_3_1 TO n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_1 n41_a_history_of_qed__1_3_2 VB;__ n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_2 n41_a_history_of_qed__1_3_3 ADVP-NIM n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_3 n41_a_history_of_qed__1_3_4 NP-OB1 n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_4 n41_a_history_of_qed__1_3_1->n41_a_history_of_qed__1_3_1_1 n41_a_history_of_qed__1_3_2->n41_a_history_of_qed__1_3_2_1 n41_a_history_of_qed__1_3_3_1 ADV n41_a_history_of_qed__1_3_3->n41_a_history_of_qed__1_3_3_1 n41_a_history_of_qed__1_3_3_1->n41_a_history_of_qed__1_3_3_1_1 n41_a_history_of_qed__1_3_4_1 D;_nphd_ n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_1 n41_a_history_of_qed__1_3_4_2 PP n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_2 n41_a_history_of_qed__1_3_4_3 PULB n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_3 n41_a_history_of_qed__1_3_4_4 FW n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_4 n41_a_history_of_qed__1_3_4_5 PRN n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_5 n41_a_history_of_qed__1_3_4_1->n41_a_history_of_qed__1_3_4_1_1 n41_a_history_of_qed__1_3_4_2_1 P-ROLE n41_a_history_of_qed__1_3_4_2->n41_a_history_of_qed__1_3_4_2_1 n41_a_history_of_qed__1_3_4_2_2 NP n41_a_history_of_qed__1_3_4_2->n41_a_history_of_qed__1_3_4_2_2 n41_a_history_of_qed__1_3_4_2_1->n41_a_history_of_qed__1_3_4_2_1_1 n41_a_history_of_qed__1_3_4_2_2_1 D n41_a_history_of_qed__1_3_4_2_2->n41_a_history_of_qed__1_3_4_2_2_1 n41_a_history_of_qed__1_3_4_2_2_2 N n41_a_history_of_qed__1_3_4_2_2->n41_a_history_of_qed__1_3_4_2_2_2 n41_a_history_of_qed__1_3_4_2_2_1->n41_a_history_of_qed__1_3_4_2_2_1_1 n41_a_history_of_qed__1_3_4_2_2_2->n41_a_history_of_qed__1_3_4_2_2_2_1 n41_a_history_of_qed__1_3_4_3->n41_a_history_of_qed__1_3_4_3_1 n41_a_history_of_qed__1_3_4_4->n41_a_history_of_qed__1_3_4_4_1 n41_a_history_of_qed__1_3_4_5_1 NP n41_a_history_of_qed__1_3_4_5->n41_a_history_of_qed__1_3_4_5_1 n41_a_history_of_qed__1_3_4_5_1_1 ADVP n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_1 n41_a_history_of_qed__1_3_4_5_1_2 PUNC n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_2 n41_a_history_of_qed__1_3_4_5_1_3 N n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_3 n41_a_history_of_qed__1_3_4_5_1_4 PP n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_4 n41_a_history_of_qed__1_3_4_5_1_1_1 ADV n41_a_history_of_qed__1_3_4_5_1_1->n41_a_history_of_qed__1_3_4_5_1_1_1 n41_a_history_of_qed__1_3_4_5_1_1_1->n41_a_history_of_qed__1_3_4_5_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_2->n41_a_history_of_qed__1_3_4_5_1_2_1 n41_a_history_of_qed__1_3_4_5_1_3->n41_a_history_of_qed__1_3_4_5_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_1 P-ROLE n41_a_history_of_qed__1_3_4_5_1_4->n41_a_history_of_qed__1_3_4_5_1_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2 NP n41_a_history_of_qed__1_3_4_5_1_4->n41_a_history_of_qed__1_3_4_5_1_4_2 n41_a_history_of_qed__1_3_4_5_1_4_1->n41_a_history_of_qed__1_3_4_5_1_4_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_1 PULQ n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_3 PURQ n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_4 NS n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_4 n41_a_history_of_qed__1_3_4_5_1_4_2_5 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_5 n41_a_history_of_qed__1_3_4_5_1_4_2_6 IP-REL n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6 n41_a_history_of_qed__1_3_4_5_1_4_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2_1 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_5->n41_a_history_of_qed__1_3_4_5_1_4_2_5_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1 NP-SBJ n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2 ADVP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1 RPRO n41_a_history_of_qed__1_3_4_5_1_4_2_6_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1 ADV n41_a_history_of_qed__1_3_4_5_1_4_2_6_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3 CONJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1 DOD n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2 NEG;_clitic_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3 ADVP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4 VB;_Tn_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5 NP-OB1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1 ADV n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2 CONJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1 Q;_nphd_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_3 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2_1 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1 CONJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1 CONJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1 DOD n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2 VB;_Ipr_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3 NP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4 PP-CLR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1 P-ROLE n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3_1 n41_a_history_of_qed__1_4->n41_a_history_of_qed__1_4_1 n41_a_history_of_qed__1_5->n41_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Subsequent;{subsequent}))
                  (NS versions;{version})
                  (PP (P-ROLE of;{of})
                      (NP (NPR ed;{ed})
                          (PP (P-ROLE for;{for})
                              (NP (NPR Unix;{Unix})))
                          (PULB -LRB-)
                          (IP-PPL (NP-LGS *)
                                  (ADVP-NIM (ADV now;{now}))
                                  (VVN;__ written;{write})
                                  (PP (P-ROLE in;{in})
                                      (NP (NPR C;{C}))))
                          (PURB -RRB-))))
          (VBD;__ began;{begin})
          (IP-INF-OB1 (TO to;{to})
                      (VB;__ add;{add})
                      (ADVP-NIM (ADV back;{back}))
                      (NP-OB1 (D;_nphd_ some;{some})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N complexity;{complexity})))
                              (PULB -LRB-)
                              (FW e<dot>g<dot>)
                              (PRN (NP (ADVP (ADV back;{back}))
                                       (PUNC <hyphen>)
                                       (N referencing;{referencing})
                                       (PP (P-ROLE in;{in})
                                           (NP (PULQ <ldquo>)
                                               (ADJP (ADJ regular;{regular}))
                                               (PURQ <rdquo>)
                                               (NS expressions;{expression})
                                               (PUNC ,)
                                               (IP-REL (NP-SBJ (RPRO which;{which}))
                                                       (ADVP-NIM (ADV now;{now}))
                                                       (ILYR (ILYR (DOD did;{do})
                                                                   (NEG;_clitic_ n<apos>t;{not})
                                                                   (ADVP-NIM (ADV quite;{quite}))
                                                                   (VB;_Tn_ include;{include})
                                                                   (NP-OB1 (NLYR (NLYR (Q;_nphd_ all;{all})
                                                                                       (NLYR (D the;{the})
                                                                                             (ADJP (ADJ regular;{regular}))
                                                                                             (NS languages;{language})))
                                                                                 (CONJP (CONJ nor;{nor})
                                                                                        (NLYR (ADJP (NP (N context;{context}))
                                                                                                    (PUNC <hyphen>)
                                                                                                    (ADJ free;{free}))
                                                                                              (NS languages;{language}))))))
                                                             (PUNC ,)
                                                             (CONJP (CONJ but;{but})
                                                                    (ILYR (DOD did;{do})
                                                                          (VB;_Ipr_ intrude;{intrude[on]})
                                                                          (NP-NIM (D a;{a})
                                                                                  (N bit;{bit}))
                                                                          (PP-CLR (P-ROLE on;{on})
                                                                                  (NP (D the;{the})
                                                                                      (ADJP (NP (N context;{context}))
                                                                                            (PUNC <hyphen>)
                                                                                            (ADJ sensitive;{sensitive}))
                                                                                      (NS languages;{language})))))))))))))
          (PUNC .)
          (PURB -RRB-))
  (ID 41_a_history_of_qed))


%3 z_0041_5032 r_0041_0025__referencing referencing z_0041_5032->r_0041_0025__referencing [prd] r_0041_0017__some_r_0041_0022__e_dot_g_dot_ some e.g. z_0041_5032->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg0] r_0041_0030__expressions expressions r_0041_0025__referencing->r_0041_0030__expressions in r_0041_0023__back back r_0041_0025__referencing->r_0041_0023__back [qual] r_0041_0019__the_r_0041_0020__complexity the complexity r_0041_0017__some_r_0041_0022__e_dot_g_dot_->r_0041_0019__the_r_0041_0020__complexity of z_0041_5019 r_0041_0039__the_r_0041_0041__languages the languages z_0041_5019->r_0041_0039__the_r_0041_0041__languages [nim] r_0041_0040__regular regular r_0041_0039__the_r_0041_0041__languages->r_0041_0040__regular [attrib] r_0041_0057__sensitive sensitive r_0041_0055__context context r_0041_0057__sensitive->r_0041_0055__context [nim] r_0041_0054__the_r_0041_0058__languages the languages r_0041_0054__the_r_0041_0058__languages->r_0041_0057__sensitive [attrib] r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on did intrude on r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0054__the_r_0041_0058__languages [arg1] r_0041_0051__a_r_0041_0052__bit a bit r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0051__a_r_0041_0052__bit [nim] r_0041_0033__now now r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0033__now [nim] r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0030__expressions [arg0] r_0041_0028__regular regular r_0041_0030__expressions->r_0041_0028__regular [attrib] r_0041_0048__but but r_0041_0048__but->r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on [conj2] r_0041_0035__n_apos_t n't r_0041_0048__but->r_0041_0035__n_apos_t [conj1] r_0041_0034__did_r_0041_0037__include did include r_0041_0035__n_apos_t->r_0041_0034__did_r_0041_0037__include [keep_scope] r_0041_0046__languages languages r_0041_0045__free free r_0041_0046__languages->r_0041_0045__free [attrib] r_0041_0043__context context r_0041_0045__free->r_0041_0043__context [nim] r_0041_0042__nor nor r_0041_0042__nor->z_0041_5019 [conj1] r_0041_0042__nor->r_0041_0046__languages [conj2] r_0041_0038__all__quant all [quant] r_0041_0038__all__quant->z_0041_5019 [restriction] r_0041_0038__all__quant->r_0041_0042__nor [scope] r_0041_0034__did_r_0041_0037__include->r_0041_0033__now [nim] r_0041_0034__did_r_0041_0037__include->r_0041_0030__expressions [arg0] r_0041_0034__did_r_0041_0037__include->r_0041_0042__nor [arg1] r_0041_0036__quite quite r_0041_0034__did_r_0041_0037__include->r_0041_0036__quite [nim] r_0041_0015__add add r_0041_0015__add->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg1] r_0041_0016__back back r_0041_0015__add->r_0041_0016__back [nim] r_0041_0002__versions versions r_0041_0015__add->r_0041_0002__versions [arg0] r_0041_0004__ed ed r_0041_0002__versions->r_0041_0004__ed of r_0041_0001__Subsequent Subsequent r_0041_0002__versions->r_0041_0001__Subsequent [attrib] r_0041_0013__began began r_0041_0013__began->r_0041_0015__add [arg1] r_0041_0013__began->r_0041_0002__versions [arg0] r_0041_0009__written written z_0041_5004___star_ * r_0041_0009__written->z_0041_5004___star_ [arg0] r_0041_0011__C C r_0041_0009__written->r_0041_0011__C in r_0041_0008__now now r_0041_0009__written->r_0041_0008__now [nim] r_0041_0009__written->r_0041_0004__ed [inv_arg1] r_0041_0006__Unix Unix r_0041_0004__ed->r_0041_0006__Unix for 
arc(r_0041_0002__versions,r_0041_0001__Subsequent,attrib).
arc(r_0041_0002__versions,r_0041_0004__ed,r_0041_0003__of).
arc(r_0041_0004__ed,r_0041_0006__Unix,r_0041_0005__for).
arc(r_0041_0009__written,r_0041_0004__ed,inv_arg1).
arc(r_0041_0009__written,r_0041_0008__now,nim).
arc(r_0041_0009__written,r_0041_0011__C,r_0041_0010__in).
arc(r_0041_0009__written,z_0041_5004___star_,arg0).
arc(r_0041_0013__began,r_0041_0002__versions,arg0).
arc(r_0041_0013__began,r_0041_0015__add,arg1).
arc(r_0041_0015__add,r_0041_0002__versions,arg0).
arc(r_0041_0015__add,r_0041_0016__back,nim).
arc(r_0041_0015__add,r_0041_0017__some_r_0041_0022__e_dot_g_dot_,arg1).
arc(r_0041_0017__some_r_0041_0022__e_dot_g_dot_,r_0041_0019__the_r_0041_0020__complexity,r_0041_0018__of).
arc(r_0041_0025__referencing,r_0041_0023__back,qual).
arc(r_0041_0025__referencing,r_0041_0030__expressions,r_0041_0026__in).
arc(r_0041_0030__expressions,r_0041_0028__regular,attrib).
arc(r_0041_0034__did_r_0041_0037__include,r_0041_0030__expressions,arg0).
arc(r_0041_0034__did_r_0041_0037__include,r_0041_0033__now,nim).
arc(r_0041_0034__did_r_0041_0037__include,r_0041_0036__quite,nim).
arc(r_0041_0034__did_r_0041_0037__include,r_0041_0042__nor,arg1).
arc(r_0041_0035__n_apos_t,r_0041_0034__did_r_0041_0037__include,keep_scope).
arc(r_0041_0038__all__quant,r_0041_0042__nor,scope).
arc(r_0041_0038__all__quant,z_0041_5019,restriction).
arc(r_0041_0039__the_r_0041_0041__languages,r_0041_0040__regular,attrib).
arc(r_0041_0042__nor,r_0041_0046__languages,conj2).
arc(r_0041_0042__nor,z_0041_5019,conj1).
arc(r_0041_0045__free,r_0041_0043__context,nim).
arc(r_0041_0046__languages,r_0041_0045__free,attrib).
arc(r_0041_0048__but,r_0041_0035__n_apos_t,conj1).
arc(r_0041_0048__but,r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on,conj2).
arc(r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on,r_0041_0030__expressions,arg0).
arc(r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on,r_0041_0033__now,nim).
arc(r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on,r_0041_0051__a_r_0041_0052__bit,nim).
arc(r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on,r_0041_0054__the_r_0041_0058__languages,arg1).
arc(r_0041_0054__the_r_0041_0058__languages,r_0041_0057__sensitive,attrib).
arc(r_0041_0057__sensitive,r_0041_0055__context,nim).
arc(z_0041_5019,r_0041_0039__the_r_0041_0041__languages,nim).
arc(z_0041_5032,r_0041_0017__some_r_0041_0022__e_dot_g_dot_,arg0).
arc(z_0041_5032,r_0041_0025__referencing,prd).


%3 r_0041_0002__versions versions r_0041_0001__Subsequent Subsequent r_0041_0002__versions->r_0041_0001__Subsequent [attrib] r_0041_0004__ed ed r_0041_0002__versions->r_0041_0004__ed of r_0041_0006__Unix Unix r_0041_0004__ed->r_0041_0006__Unix for r_0041_0009__written written r_0041_0004__ed->r_0041_0009__written [inv_arg1] r_0041_0008__now now r_0041_0009__written->r_0041_0008__now [nim] r_0041_0011__C C r_0041_0009__written->r_0041_0011__C in z_0041_5004___star_ * r_0041_0009__written->z_0041_5004___star_ [arg0] r_0041_0013__began began r_0041_0013__began->r_0041_0002__versions [arg0] r_0041_0015__add add r_0041_0013__began->r_0041_0015__add [arg1] r_0041_0015__add->r_0041_0002__versions [arg0] r_0041_0016__back back r_0041_0015__add->r_0041_0016__back [nim] r_0041_0017__some_r_0041_0022__e_dot_g_dot_ some e.g. r_0041_0015__add->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg1] r_0041_0019__the_r_0041_0020__complexity the complexity r_0041_0017__some_r_0041_0022__e_dot_g_dot_->r_0041_0019__the_r_0041_0020__complexity of r_0041_0025__referencing referencing r_0041_0023__back back r_0041_0025__referencing->r_0041_0023__back [qual] r_0041_0030__expressions expressions r_0041_0025__referencing->r_0041_0030__expressions in r_0041_0028__regular regular r_0041_0030__expressions->r_0041_0028__regular [attrib] r_0041_0034__did_r_0041_0037__include did include r_0041_0034__did_r_0041_0037__include->r_0041_0030__expressions [arg0] r_0041_0033__now now r_0041_0034__did_r_0041_0037__include->r_0041_0033__now [nim] r_0041_0036__quite quite r_0041_0034__did_r_0041_0037__include->r_0041_0036__quite [nim] r_0041_0042__nor nor r_0041_0034__did_r_0041_0037__include->r_0041_0042__nor [arg1] z_0041_5019 r_0041_0042__nor->z_0041_5019 [conj1] r_0041_0046__languages languages r_0041_0042__nor->r_0041_0046__languages [conj2] r_0041_0035__n_apos_t n't r_0041_0035__n_apos_t->r_0041_0034__did_r_0041_0037__include [keep_scope] r_0041_0038__all__quant all [quant] r_0041_0038__all__quant->r_0041_0034__did_r_0041_0037__include [scope] r_0041_0038__all__quant->z_0041_5019 [restriction] r_0041_0039__the_r_0041_0041__languages the languages z_0041_5019->r_0041_0039__the_r_0041_0041__languages [nim] r_0041_0040__regular regular r_0041_0039__the_r_0041_0041__languages->r_0041_0040__regular [attrib] r_0041_0045__free free r_0041_0046__languages->r_0041_0045__free [attrib] r_0041_0043__context context r_0041_0045__free->r_0041_0043__context [nim] r_0041_0048__but but r_0041_0048__but->r_0041_0035__n_apos_t [conj1] r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on did intrude on r_0041_0048__but->r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on [conj2] r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0030__expressions [arg0] r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0033__now [nim] r_0041_0051__a_r_0041_0052__bit a bit r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0051__a_r_0041_0052__bit [nim] r_0041_0054__the_r_0041_0058__languages the languages r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on->r_0041_0054__the_r_0041_0058__languages [arg1] r_0041_0057__sensitive sensitive r_0041_0054__the_r_0041_0058__languages->r_0041_0057__sensitive [attrib] r_0041_0055__context context r_0041_0057__sensitive->r_0041_0055__context [nim] z_0041_5032 z_0041_5032->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg0] z_0041_5032->r_0041_0025__referencing [prd] 
fof(formula,axiom,
    ? [R_0041_0001__SUBSEQUENT,R_0041_0006__UNIX,R_0041_0008__NOW,R_0041_0011__C,Z_0041_5004___STAR_,R_0041_0009__WRITTEN,R_0041_0004__ED,R_0041_0002__VERSIONS,R_0041_0016__BACK,R_0041_0019__THE_R_0041_0020__COMPLEXITY,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_,R_0041_0015__ADD,R_0041_0013__BEGAN,R_0041_0028__REGULAR,R_0041_0030__EXPRESSIONS,R_0041_0033__NOW,R_0041_0051__A_R_0041_0052__BIT,R_0041_0055__CONTEXT,R_0041_0057__SENSITIVE,R_0041_0054__THE_R_0041_0058__LANGUAGES,R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON,R_0041_0048__BUT,R_0041_0023__BACK,R_0041_0025__REFERENCING,Z_0041_5032] :
      ( r_0041_0001__Subsequent(R_0041_0001__SUBSEQUENT)
      & r_0041_0006__Unix(R_0041_0006__UNIX)
      & r_0041_0008__now(R_0041_0008__NOW)
      & r_0041_0011__C(R_0041_0011__C)
      & r_0041_0016__back(R_0041_0016__BACK)
      & r_0041_0019__the_r_0041_0020__complexity(R_0041_0019__THE_R_0041_0020__COMPLEXITY)
      & r_0041_0023__back(R_0041_0023__BACK)
      & r_0041_0028__regular(R_0041_0028__REGULAR)
      & r_0041_0033__now(R_0041_0033__NOW)
      & r_0041_0051__a_r_0041_0052__bit(R_0041_0051__A_R_0041_0052__BIT)
      & r_0041_0055__context(R_0041_0055__CONTEXT)
      & z_0041_5004___star_(Z_0041_5004___STAR_)
      & z_0041_5032(Z_0041_5032)
      & has_prd(Z_0041_5032,R_0041_0025__REFERENCING)
      & r_0041_0025__referencing(R_0041_0025__REFERENCING)
      & has_r_0041_0026__in(R_0041_0025__REFERENCING,R_0041_0030__EXPRESSIONS)
      & r_0041_0030__expressions(R_0041_0030__EXPRESSIONS)
      & has_attrib(R_0041_0030__EXPRESSIONS,R_0041_0028__REGULAR)
      & has_qual(R_0041_0025__REFERENCING,R_0041_0023__BACK)
      & has_arg0(Z_0041_5032,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & r_0041_0017__some_r_0041_0022__e_dot_g_dot_(R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & has_r_0041_0018__of(R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_,R_0041_0019__THE_R_0041_0020__COMPLEXITY)
      & r_0041_0048__but(R_0041_0048__BUT)
      & has_conj2(R_0041_0048__BUT,R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON)
      & r_0041_0049__did_r_0041_0050__intrude_r_0041_0053__on(R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON)
      & has_arg1(R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON,R_0041_0054__THE_R_0041_0058__LANGUAGES)
      & r_0041_0054__the_r_0041_0058__languages(R_0041_0054__THE_R_0041_0058__LANGUAGES)
      & has_attrib(R_0041_0054__THE_R_0041_0058__LANGUAGES,R_0041_0057__SENSITIVE)
      & r_0041_0057__sensitive(R_0041_0057__SENSITIVE)
      & has_nim(R_0041_0057__SENSITIVE,R_0041_0055__CONTEXT)
      & has_nim(R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON,R_0041_0051__A_R_0041_0052__BIT)
      & has_nim(R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON,R_0041_0033__NOW)
      & has_arg0(R_0041_0049__DID_R_0041_0050__INTRUDE_R_0041_0053__ON,R_0041_0030__EXPRESSIONS)
      & has_conj1(R_0041_0048__BUT,R_0041_0035__N_APOS_T)
      & ~ ? [R_0041_0036__QUITE,R_0041_0043__CONTEXT,R_0041_0045__FREE,R_0041_0046__LANGUAGES,R_0041_0040__REGULAR,R_0041_0039__THE_R_0041_0041__LANGUAGES,Z_0041_5019,R_0041_0042__NOR,R_0041_0034__DID_R_0041_0037__INCLUDE] :
            ( r_0041_0036__quite(R_0041_0036__QUITE)
            & r_0041_0040__regular(R_0041_0040__REGULAR)
            & r_0041_0043__context(R_0041_0043__CONTEXT)
            & r_0041_0034__did_r_0041_0037__include(R_0041_0034__DID_R_0041_0037__INCLUDE)
            & has_arg1(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0042__NOR)
            & r_0041_0042__nor(R_0041_0042__NOR)
            & has_conj1(R_0041_0042__NOR,Z_0041_5019)
            & z_0041_5019(Z_0041_5019)
            & has_nim(Z_0041_5019,R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & r_0041_0039__the_r_0041_0041__languages(R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & has_attrib(R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0040__REGULAR)
            & has_conj2(R_0041_0042__NOR,R_0041_0046__LANGUAGES)
            & r_0041_0046__languages(R_0041_0046__LANGUAGES)
            & has_attrib(R_0041_0046__LANGUAGES,R_0041_0045__FREE)
            & r_0041_0045__free(R_0041_0045__FREE)
            & has_nim(R_0041_0045__FREE,R_0041_0043__CONTEXT)
            & has_nim(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0036__QUITE)
            & has_nim(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0033__NOW)
            & has_arg0(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0030__EXPRESSIONS) )
      & ! [Z_0041_5019,R_0041_0040__REGULAR,R_0041_0039__THE_R_0041_0041__LANGUAGES] :
          ( ( r_0041_0040__regular(R_0041_0040__REGULAR)
            & z_0041_5019(Z_0041_5019)
            & has_nim(Z_0041_5019,R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & r_0041_0039__the_r_0041_0041__languages(R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & has_attrib(R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0040__REGULAR) )
         => ? [R_0041_0036__QUITE,R_0041_0043__CONTEXT,R_0041_0045__FREE,R_0041_0046__LANGUAGES,R_0041_0042__NOR,R_0041_0034__DID_R_0041_0037__INCLUDE] :
              ( r_0041_0036__quite(R_0041_0036__QUITE)
              & r_0041_0043__context(R_0041_0043__CONTEXT)
              & r_0041_0034__did_r_0041_0037__include(R_0041_0034__DID_R_0041_0037__INCLUDE)
              & has_arg1(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0042__NOR)
              & r_0041_0042__nor(R_0041_0042__NOR)
              & has_conj1(R_0041_0042__NOR,Z_0041_5019)
              & has_conj2(R_0041_0042__NOR,R_0041_0046__LANGUAGES)
              & r_0041_0046__languages(R_0041_0046__LANGUAGES)
              & has_attrib(R_0041_0046__LANGUAGES,R_0041_0045__FREE)
              & r_0041_0045__free(R_0041_0045__FREE)
              & has_nim(R_0041_0045__FREE,R_0041_0043__CONTEXT)
              & has_nim(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0036__QUITE)
              & has_nim(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0033__NOW)
              & has_arg0(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0030__EXPRESSIONS) ) )
      & r_0041_0013__began(R_0041_0013__BEGAN)
      & has_arg1(R_0041_0013__BEGAN,R_0041_0015__ADD)
      & r_0041_0015__add(R_0041_0015__ADD)
      & has_arg1(R_0041_0015__ADD,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & has_nim(R_0041_0015__ADD,R_0041_0016__BACK)
      & has_arg0(R_0041_0015__ADD,R_0041_0002__VERSIONS)
      & r_0041_0002__versions(R_0041_0002__VERSIONS)
      & has_r_0041_0003__of(R_0041_0002__VERSIONS,R_0041_0004__ED)
      & r_0041_0004__ed(R_0041_0004__ED)
      & has_inv_arg1(R_0041_0004__ED,R_0041_0009__WRITTEN)
      & r_0041_0009__written(R_0041_0009__WRITTEN)
      & has_arg0(R_0041_0009__WRITTEN,Z_0041_5004___STAR_)
      & has_r_0041_0010__in(R_0041_0009__WRITTEN,R_0041_0011__C)
      & has_nim(R_0041_0009__WRITTEN,R_0041_0008__NOW)
      & has_r_0041_0005__for(R_0041_0004__ED,R_0041_0006__UNIX)
      & has_attrib(R_0041_0002__VERSIONS,R_0041_0001__SUBSEQUENT)
      & has_arg0(R_0041_0013__BEGAN,R_0041_0002__VERSIONS) ) ).