Context                Previous, Next                Top


45_a_history_of_qed
Keeping a constantly updated window on a part of the text being edited is now, of course, completely standard and accepted.

%3 0045_0001__Keeping Keeping 0045_0002__a_5__window a_window 0045_0001__Keeping->0045_0002__a_5__window [arg1] 0045_0007__a_8__part a_part 0045_0001__Keeping->0045_0007__a_8__part on[nim] 0045_5002 0045_0001__Keeping->0045_5002 [arg0] 0045_0010__the_11__text the_text 0045_0007__a_8__part->0045_0010__the_11__text of 0045_0004__updated updated 0045_0004__updated->0045_0002__a_5__window [inv][arg1] 0045_0003__constantly constantly 0045_0004__updated->0045_0003__constantly [nim] 0045_5012___star_ * 0045_0004__updated->0045_5012___star_ [arg0] 0045_0012__being being 0045_0013__edited edited 0045_0012__being->0045_0013__edited [scope] 0045_0013__edited->0045_0010__the_11__text [arg1] 0045_5017___star_ * 0045_0013__edited->0045_5017___star_ [arg0] 0045_0014__is is 0045_0014__is->0045_5002 [arg0] 0045_0015__now now 0045_0014__is->0045_0015__now [nim] 0045_0017__of_course of_course 0045_0014__is->0045_0017__of_course [nim] 0045_0021__and and 0045_0014__is->0045_0021__and [prd] 0045_0019__completely completely 0045_0021__and->0045_0019__completely [qual] 0045_0020__standard standard 0045_0021__and->0045_0020__standard [conj1] 0045_0022__accepted accepted 0045_0021__and->0045_0022__accepted [conj2] 0045_1001____star__ _*_ 0045_1001____star__->0045_0001__Keeping [restriction] 0045_1001____star__->0045_0014__is [scope] 
arc(r_0045_0001__Keeping,r_0045_0002__a_r_0045_0005__window,arg1).
arc(r_0045_0001__Keeping,r_0045_0007__a_r_0045_0008__part,r_0045_0006__on__nim).
arc(r_0045_0001__Keeping,z_0045_5002,arg0).
arc(r_0045_0004__updated,r_0045_0002__a_r_0045_0005__window,inv_arg1).
arc(r_0045_0004__updated,r_0045_0003__constantly,nim).
arc(r_0045_0004__updated,z_0045_5012___star_,arg0).
arc(r_0045_0007__a_r_0045_0008__part,r_0045_0010__the_r_0045_0011__text,r_0045_0009__of).
arc(r_0045_0012__being,r_0045_0013__edited,scope).
arc(r_0045_0013__edited,r_0045_0010__the_r_0045_0011__text,arg1).
arc(r_0045_0013__edited,z_0045_5017___star_,arg0).
arc(r_0045_0014__is,r_0045_0015__now,nim).
arc(r_0045_0014__is,r_0045_0017__of_course,nim).
arc(r_0045_0014__is,r_0045_0021__and,prd).
arc(r_0045_0014__is,z_0045_5002,arg0).
arc(r_0045_0021__and,r_0045_0019__completely,qual).
arc(r_0045_0021__and,r_0045_0020__standard,conj1).
arc(r_0045_0021__and,r_0045_0022__accepted,conj2).
arc(r_0045_1001____star__,r_0045_0001__Keeping,restriction).
arc(r_0045_1001____star__,r_0045_0014__is,scope).

n45_a_history_of_qed n45_a_history_of_qed__1_1_1_1_1 Keeping n45_a_history_of_qed__1_1_1_2_1_1 a n45_a_history_of_qed__1_1_1_2_2_1_1 * n45_a_history_of_qed__1_1_1_2_2_2_1_1 constantly n45_a_history_of_qed__1_1_1_2_2_3_1 updated n45_a_history_of_qed__1_1_1_2_3_1 window n45_a_history_of_qed__1_1_1_3_1_1 on n45_a_history_of_qed__1_1_1_3_2_1_1 a n45_a_history_of_qed__1_1_1_3_2_2_1 part n45_a_history_of_qed__1_1_1_3_2_3_1_1 of n45_a_history_of_qed__1_1_1_3_2_3_2_1_1 the n45_a_history_of_qed__1_1_1_3_2_3_2_2_1 text n45_a_history_of_qed__1_1_1_3_2_3_2_3_1_1 being n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_1_1 * n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_2_1 edited n45_a_history_of_qed__1_2_1 is n45_a_history_of_qed__1_3_1_1 now n45_a_history_of_qed__1_4_1 , n45_a_history_of_qed__1_5_1_1 of_course n45_a_history_of_qed__1_6_1 , n45_a_history_of_qed__1_7_1_1_1 completely n45_a_history_of_qed__1_7_2_1_1_1 standard n45_a_history_of_qed__1_7_2_2_1_1 and n45_a_history_of_qed__1_7_2_2_2_1_1 accepted n45_a_history_of_qed__1_8_1 . n45_a_history_of_qed__1 IP-PPL n45_a_history_of_qed__1_1 PP-SCON n45_a_history_of_qed__1->n45_a_history_of_qed__1_1 n45_a_history_of_qed__1_2 BEP;~La n45_a_history_of_qed__1->n45_a_history_of_qed__1_2 n45_a_history_of_qed__1_3 ADVP-NIM n45_a_history_of_qed__1->n45_a_history_of_qed__1_3 n45_a_history_of_qed__1_4 PUNC n45_a_history_of_qed__1->n45_a_history_of_qed__1_4 n45_a_history_of_qed__1_5 ADVP-NIM n45_a_history_of_qed__1->n45_a_history_of_qed__1_5 n45_a_history_of_qed__1_6 PUNC n45_a_history_of_qed__1->n45_a_history_of_qed__1_6 n45_a_history_of_qed__1_7 ADJP-PRD n45_a_history_of_qed__1->n45_a_history_of_qed__1_7 n45_a_history_of_qed__1_8 PUNC n45_a_history_of_qed__1->n45_a_history_of_qed__1_8 n45_a_history_of_qed__1_1_1 IP-PPL n45_a_history_of_qed__1_1->n45_a_history_of_qed__1_1_1 n45_a_history_of_qed__1_1_1_1 VAG;~Tn.pr n45_a_history_of_qed__1_1_1->n45_a_history_of_qed__1_1_1_1 n45_a_history_of_qed__1_1_1_2 NP-OB1 n45_a_history_of_qed__1_1_1->n45_a_history_of_qed__1_1_1_2 n45_a_history_of_qed__1_1_1_3 PP-NIM n45_a_history_of_qed__1_1_1->n45_a_history_of_qed__1_1_1_3 n45_a_history_of_qed__1_1_1_1->n45_a_history_of_qed__1_1_1_1_1 n45_a_history_of_qed__1_1_1_2_1 D n45_a_history_of_qed__1_1_1_2->n45_a_history_of_qed__1_1_1_2_1 n45_a_history_of_qed__1_1_1_2_2 IP-PPL n45_a_history_of_qed__1_1_1_2->n45_a_history_of_qed__1_1_1_2_2 n45_a_history_of_qed__1_1_1_2_3 N n45_a_history_of_qed__1_1_1_2->n45_a_history_of_qed__1_1_1_2_3 n45_a_history_of_qed__1_1_1_2_1->n45_a_history_of_qed__1_1_1_2_1_1 n45_a_history_of_qed__1_1_1_2_2_1 NP-LGS n45_a_history_of_qed__1_1_1_2_2->n45_a_history_of_qed__1_1_1_2_2_1 n45_a_history_of_qed__1_1_1_2_2_2 ADVP-NIM n45_a_history_of_qed__1_1_1_2_2->n45_a_history_of_qed__1_1_1_2_2_2 n45_a_history_of_qed__1_1_1_2_2_3 VVN;~Tn n45_a_history_of_qed__1_1_1_2_2->n45_a_history_of_qed__1_1_1_2_2_3 n45_a_history_of_qed__1_1_1_2_2_1->n45_a_history_of_qed__1_1_1_2_2_1_1 n45_a_history_of_qed__1_1_1_2_2_2_1 ADV n45_a_history_of_qed__1_1_1_2_2_2->n45_a_history_of_qed__1_1_1_2_2_2_1 n45_a_history_of_qed__1_1_1_2_2_2_1->n45_a_history_of_qed__1_1_1_2_2_2_1_1 n45_a_history_of_qed__1_1_1_2_2_3->n45_a_history_of_qed__1_1_1_2_2_3_1 n45_a_history_of_qed__1_1_1_2_3->n45_a_history_of_qed__1_1_1_2_3_1 n45_a_history_of_qed__1_1_1_3_1 P-ROLE n45_a_history_of_qed__1_1_1_3->n45_a_history_of_qed__1_1_1_3_1 n45_a_history_of_qed__1_1_1_3_2 NP n45_a_history_of_qed__1_1_1_3->n45_a_history_of_qed__1_1_1_3_2 n45_a_history_of_qed__1_1_1_3_1->n45_a_history_of_qed__1_1_1_3_1_1 n45_a_history_of_qed__1_1_1_3_2_1 D n45_a_history_of_qed__1_1_1_3_2->n45_a_history_of_qed__1_1_1_3_2_1 n45_a_history_of_qed__1_1_1_3_2_2 N n45_a_history_of_qed__1_1_1_3_2->n45_a_history_of_qed__1_1_1_3_2_2 n45_a_history_of_qed__1_1_1_3_2_3 PP n45_a_history_of_qed__1_1_1_3_2->n45_a_history_of_qed__1_1_1_3_2_3 n45_a_history_of_qed__1_1_1_3_2_1->n45_a_history_of_qed__1_1_1_3_2_1_1 n45_a_history_of_qed__1_1_1_3_2_2->n45_a_history_of_qed__1_1_1_3_2_2_1 n45_a_history_of_qed__1_1_1_3_2_3_1 P-ROLE n45_a_history_of_qed__1_1_1_3_2_3->n45_a_history_of_qed__1_1_1_3_2_3_1 n45_a_history_of_qed__1_1_1_3_2_3_2 NP n45_a_history_of_qed__1_1_1_3_2_3->n45_a_history_of_qed__1_1_1_3_2_3_2 n45_a_history_of_qed__1_1_1_3_2_3_1->n45_a_history_of_qed__1_1_1_3_2_3_1_1 n45_a_history_of_qed__1_1_1_3_2_3_2_1 D n45_a_history_of_qed__1_1_1_3_2_3_2->n45_a_history_of_qed__1_1_1_3_2_3_2_1 n45_a_history_of_qed__1_1_1_3_2_3_2_2 N n45_a_history_of_qed__1_1_1_3_2_3_2->n45_a_history_of_qed__1_1_1_3_2_3_2_2 n45_a_history_of_qed__1_1_1_3_2_3_2_3 IP-PPL n45_a_history_of_qed__1_1_1_3_2_3_2->n45_a_history_of_qed__1_1_1_3_2_3_2_3 n45_a_history_of_qed__1_1_1_3_2_3_2_1->n45_a_history_of_qed__1_1_1_3_2_3_2_1_1 n45_a_history_of_qed__1_1_1_3_2_3_2_2->n45_a_history_of_qed__1_1_1_3_2_3_2_2_1 n45_a_history_of_qed__1_1_1_3_2_3_2_3_1 BAG;~cat_Ve_passive_ n45_a_history_of_qed__1_1_1_3_2_3_2_3->n45_a_history_of_qed__1_1_1_3_2_3_2_3_1 n45_a_history_of_qed__1_1_1_3_2_3_2_3_2 IP-PPL-CAT n45_a_history_of_qed__1_1_1_3_2_3_2_3->n45_a_history_of_qed__1_1_1_3_2_3_2_3_2 n45_a_history_of_qed__1_1_1_3_2_3_2_3_1->n45_a_history_of_qed__1_1_1_3_2_3_2_3_1_1 n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_1 NP-LGS n45_a_history_of_qed__1_1_1_3_2_3_2_3_2->n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_1 n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_2 VVN;~Tn n45_a_history_of_qed__1_1_1_3_2_3_2_3_2->n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_2 n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_1->n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_1_1 n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_2->n45_a_history_of_qed__1_1_1_3_2_3_2_3_2_2_1 n45_a_history_of_qed__1_2->n45_a_history_of_qed__1_2_1 n45_a_history_of_qed__1_3_1 ADV n45_a_history_of_qed__1_3->n45_a_history_of_qed__1_3_1 n45_a_history_of_qed__1_3_1->n45_a_history_of_qed__1_3_1_1 n45_a_history_of_qed__1_4->n45_a_history_of_qed__1_4_1 n45_a_history_of_qed__1_5_1 ADV n45_a_history_of_qed__1_5->n45_a_history_of_qed__1_5_1 n45_a_history_of_qed__1_5_1->n45_a_history_of_qed__1_5_1_1 n45_a_history_of_qed__1_6->n45_a_history_of_qed__1_6_1 n45_a_history_of_qed__1_7_1 ADVP n45_a_history_of_qed__1_7->n45_a_history_of_qed__1_7_1 n45_a_history_of_qed__1_7_2 AJLYR n45_a_history_of_qed__1_7->n45_a_history_of_qed__1_7_2 n45_a_history_of_qed__1_7_1_1 ADV n45_a_history_of_qed__1_7_1->n45_a_history_of_qed__1_7_1_1 n45_a_history_of_qed__1_7_1_1->n45_a_history_of_qed__1_7_1_1_1 n45_a_history_of_qed__1_7_2_1 AJLYR n45_a_history_of_qed__1_7_2->n45_a_history_of_qed__1_7_2_1 n45_a_history_of_qed__1_7_2_2 CONJP n45_a_history_of_qed__1_7_2->n45_a_history_of_qed__1_7_2_2 n45_a_history_of_qed__1_7_2_1_1 ADJ n45_a_history_of_qed__1_7_2_1->n45_a_history_of_qed__1_7_2_1_1 n45_a_history_of_qed__1_7_2_1_1->n45_a_history_of_qed__1_7_2_1_1_1 n45_a_history_of_qed__1_7_2_2_1 CONJ n45_a_history_of_qed__1_7_2_2->n45_a_history_of_qed__1_7_2_2_1 n45_a_history_of_qed__1_7_2_2_2 AJLYR n45_a_history_of_qed__1_7_2_2->n45_a_history_of_qed__1_7_2_2_2 n45_a_history_of_qed__1_7_2_2_1->n45_a_history_of_qed__1_7_2_2_1_1 n45_a_history_of_qed__1_7_2_2_2_1 ADJ n45_a_history_of_qed__1_7_2_2_2->n45_a_history_of_qed__1_7_2_2_2_1 n45_a_history_of_qed__1_7_2_2_2_1->n45_a_history_of_qed__1_7_2_2_2_1_1 n45_a_history_of_qed__1_8->n45_a_history_of_qed__1_8_1 
( (IP-PPL (PP-SCON (IP-PPL (VAG;~Tn.pr Keeping;{keep})
                           (NP-OB1 (D a;{a})
                                   (IP-PPL (NP-LGS *)
                                           (ADVP-NIM (ADV constantly;{constantly}))
                                           (VVN;~Tn updated;{update}))
                                   (N window;{window}))
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (D a;{a})
                                       (N part;{part})
                                       (PP (P-ROLE of;{of})
                                           (NP (D the;{the})
                                               (N text;{text})
                                               (IP-PPL (BAG;~cat_Ve_passive_ being;{be})
                                                       (IP-PPL-CAT (NP-LGS *)
                                                                   (VVN;~Tn edited;{edit})))))))))
          (BEP;~La is;{be})
          (ADVP-NIM (ADV now;{now}))
          (PUNC ,)
          (ADVP-NIM (ADV of_course;{of_course}))
          (PUNC ,)
          (ADJP-PRD (ADVP (ADV completely;{completely}))
                    (AJLYR (AJLYR (ADJ standard;{standard}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ accepted;{accepted})))))
          (PUNC .))
  (ID 45_a_history_of_qed))