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.
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,arg1).
arc(r_0045_0004__updated,r_0045_0003__constantly,nim).
arc(r_0045_0004__updated,star_z_0045_5012,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,keep_scope).
arc(r_0045_0013__edited,r_0045_0010__the_r_0045_0011__text,arg1).
arc(r_0045_0013__edited,star_z_0045_5017,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_).
( (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))