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 r_0045_0001__Keeping Keeping r_0045_0002__a_r_0045_0005__window a window r_0045_0001__Keeping->r_0045_0002__a_r_0045_0005__window [arg1] r_0045_0007__a_r_0045_0008__part a part r_0045_0001__Keeping->r_0045_0007__a_r_0045_0008__part on [nim] z_000_45_a_history_of_qed_2 r_0045_0001__Keeping->z_000_45_a_history_of_qed_2 [arg0] r_0045_0010__the_r_0045_0011__text the text r_0045_0007__a_r_0045_0008__part->r_0045_0010__the_r_0045_0011__text of r_0045_0004__updated updated r_0045_0004__updated->r_0045_0002__a_r_0045_0005__window [arg1] r_0045_0003__constantly constantly r_0045_0004__updated->r_0045_0003__constantly [nim] z_000_45_a_history_of_qed_9 r_0045_0004__updated->z_000_45_a_history_of_qed_9 [arg0] r_0045_0012__being being r_0045_0013__edited edited r_0045_0012__being->r_0045_0013__edited [scope] r_0045_0013__edited->r_0045_0010__the_r_0045_0011__text [arg1] z_000_45_a_history_of_qed_38 r_0045_0013__edited->z_000_45_a_history_of_qed_38 [arg0] r_0045_0014__is is r_0045_0014__is->r_0045_0001__Keeping [arg0] r_0045_0015__now now r_0045_0014__is->r_0045_0015__now [nim] r_0045_0017__of_course of course r_0045_0014__is->r_0045_0017__of_course [nim] r_0045_0021__and and r_0045_0014__is->r_0045_0021__and [prd] r_0045_0019__completely completely r_0045_0021__and->r_0045_0019__completely [qual] r_0045_0020__standard standard r_0045_0021__and->r_0045_0020__standard [conj1] r_0045_0022__accepted accepted r_0045_0021__and->r_0045_0022__accepted [conj2] 
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_nim21).
arc(r_0045_0001__Keeping, z_000_45_a_history_of_qed_2, arg0).
arc(r_0045_0004__updated, r_0045_0002__a_r_0045_0005__window, arg1).
arc(r_0045_0004__updated, r_0045_0003__constantly, nim11).
arc(r_0045_0004__updated, z_000_45_a_history_of_qed_9, 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_000_45_a_history_of_qed_38, arg0).
arc(r_0045_0014__is, r_0045_0001__Keeping, arg0).
arc(r_0045_0014__is, r_0045_0015__now, nim44).
arc(r_0045_0014__is, r_0045_0017__of_course, nim49).
arc(r_0045_0014__is, r_0045_0021__and, prd).
arc(r_0045_0021__and, r_0045_0019__completely, qual55).
arc(r_0045_0021__and, r_0045_0020__standard, conj1).
arc(r_0045_0021__and, r_0045_0022__accepted, conj2).


%3 r_0045_0021__and and r_0045_0022__accepted accepted r_0045_0021__and->r_0045_0022__accepted [conj2] r_0045_0020__standard standard r_0045_0021__and->r_0045_0020__standard [conj1] r_0045_0019__completely completely r_0045_0021__and->r_0045_0019__completely [qual] r_0045_0014__is is r_0045_0014__is->r_0045_0021__and [prd] r_0045_0017__of_course of course r_0045_0014__is->r_0045_0017__of_course [nim] r_0045_0015__now now r_0045_0014__is->r_0045_0015__now [nim] r_0045_0001__Keeping Keeping r_0045_0014__is->r_0045_0001__Keeping [arg0] r_0045_0007__a_r_0045_0008__part a part r_0045_0001__Keeping->r_0045_0007__a_r_0045_0008__part on [nim] r_0045_0002__a_r_0045_0005__window a window r_0045_0001__Keeping->r_0045_0002__a_r_0045_0005__window [arg1] z_000_45_a_history_of_qed_2 r_0045_0001__Keeping->z_000_45_a_history_of_qed_2 [arg0] r_0045_0012__being_r_0045_0013__edited being edited z_000_45_a_history_of_qed_38 r_0045_0012__being_r_0045_0013__edited->z_000_45_a_history_of_qed_38 [arg0] r_0045_0010__the_r_0045_0011__text the text r_0045_0012__being_r_0045_0013__edited->r_0045_0010__the_r_0045_0011__text [arg1] r_0045_0007__a_r_0045_0008__part->r_0045_0010__the_r_0045_0011__text of r_0045_0004__updated updated z_000_45_a_history_of_qed_9 r_0045_0004__updated->z_000_45_a_history_of_qed_9 [arg0] r_0045_0003__constantly constantly r_0045_0004__updated->r_0045_0003__constantly [nim] r_0045_0004__updated->r_0045_0002__a_r_0045_0005__window [arg1] 
fof(formula,axiom,
    ? [R_0045_0002__A_R_0045_0005__WINDOW,R_0045_0003__CONSTANTLY,Z_000_45_A_HISTORY_OF_QED_9,R_0045_0004__UPDATED,R_0045_0010__THE_R_0045_0011__TEXT,Z_000_45_A_HISTORY_OF_QED_38,R_0045_0012__BEING_R_0045_0013__EDITED,R_0045_0007__A_R_0045_0008__PART,Z_000_45_A_HISTORY_OF_QED_2,R_0045_0001__KEEPING,R_0045_0015__NOW,R_0045_0017__OF_COURSE,R_0045_0019__COMPLETELY,R_0045_0020__STANDARD,R_0045_0022__ACCEPTED,R_0045_0021__AND,R_0045_0014__IS] :
      ( r_0045_0002__a_r_0045_0005__window(R_0045_0002__A_R_0045_0005__WINDOW)
      & r_0045_0003__constantly(R_0045_0003__CONSTANTLY)
      & r_0045_0010__the_r_0045_0011__text(R_0045_0010__THE_R_0045_0011__TEXT)
      & r_0045_0015__now(R_0045_0015__NOW)
      & r_0045_0017__of_course(R_0045_0017__OF_COURSE)
      & r_0045_0019__completely(R_0045_0019__COMPLETELY)
      & r_0045_0020__standard(R_0045_0020__STANDARD)
      & r_0045_0022__accepted(R_0045_0022__ACCEPTED)
      & z_000_45_a_history_of_qed_2(Z_000_45_A_HISTORY_OF_QED_2)
      & z_000_45_a_history_of_qed_38(Z_000_45_A_HISTORY_OF_QED_38)
      & z_000_45_a_history_of_qed_9(Z_000_45_A_HISTORY_OF_QED_9)
      & r_0045_0014__is(R_0045_0014__IS)
      & has_prd(R_0045_0014__IS,R_0045_0021__AND)
      & r_0045_0021__and(R_0045_0021__AND)
      & has_conj2(R_0045_0021__AND,R_0045_0022__ACCEPTED)
      & has_conj1(R_0045_0021__AND,R_0045_0020__STANDARD)
      & has_qual55(R_0045_0021__AND,R_0045_0019__COMPLETELY)
      & has_nim49(R_0045_0014__IS,R_0045_0017__OF_COURSE)
      & has_nim44(R_0045_0014__IS,R_0045_0015__NOW)
      & has_arg0(R_0045_0014__IS,R_0045_0001__KEEPING)
      & r_0045_0001__Keeping(R_0045_0001__KEEPING)
      & has_arg0(R_0045_0001__KEEPING,Z_000_45_A_HISTORY_OF_QED_2)
      & has_r_0045_0006__on_nim21(R_0045_0001__KEEPING,R_0045_0007__A_R_0045_0008__PART)
      & r_0045_0007__a_r_0045_0008__part(R_0045_0007__A_R_0045_0008__PART)
      & has_r_0045_0009__of(R_0045_0007__A_R_0045_0008__PART,R_0045_0010__THE_R_0045_0011__TEXT)
      & has_arg1(R_0045_0001__KEEPING,R_0045_0002__A_R_0045_0005__WINDOW)
      & r_0045_0012__being_r_0045_0013__edited(R_0045_0012__BEING_R_0045_0013__EDITED)
      & has_arg0(R_0045_0012__BEING_R_0045_0013__EDITED,Z_000_45_A_HISTORY_OF_QED_38)
      & has_arg1(R_0045_0012__BEING_R_0045_0013__EDITED,R_0045_0010__THE_R_0045_0011__TEXT)
      & r_0045_0004__updated(R_0045_0004__UPDATED)
      & has_arg0(R_0045_0004__UPDATED,Z_000_45_A_HISTORY_OF_QED_9)
      & has_nim11(R_0045_0004__UPDATED,R_0045_0003__CONSTANTLY)
      & has_arg1(R_0045_0004__UPDATED,R_0045_0002__A_R_0045_0005__WINDOW) ) ).


n45_a_history_of_qed n45_a_history_of_qed__1_1_1_1 Keeping n45_a_history_of_qed__1_1_2_1_1 a n45_a_history_of_qed__1_1_2_2_1_1 * n45_a_history_of_qed__1_1_2_2_2_1_1 constantly n45_a_history_of_qed__1_1_2_2_3_1 updated n45_a_history_of_qed__1_1_2_3_1 window n45_a_history_of_qed__1_1_3_1_1 on n45_a_history_of_qed__1_1_3_2_1_1 a n45_a_history_of_qed__1_1_3_2_2_1 part n45_a_history_of_qed__1_1_3_2_3_1_1 of n45_a_history_of_qed__1_1_3_2_3_2_1_1 the n45_a_history_of_qed__1_1_3_2_3_2_2_1 text n45_a_history_of_qed__1_1_3_2_3_2_3_1_1 being n45_a_history_of_qed__1_1_3_2_3_2_3_2_1_1 * n45_a_history_of_qed__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-MAT n45_a_history_of_qed__1_1 IP-PPL-SBJ 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 VAG;_Tn.pr_ n45_a_history_of_qed__1_1->n45_a_history_of_qed__1_1_1 n45_a_history_of_qed__1_1_2 NP-OB1 n45_a_history_of_qed__1_1->n45_a_history_of_qed__1_1_2 n45_a_history_of_qed__1_1_3 PP-NIM n45_a_history_of_qed__1_1->n45_a_history_of_qed__1_1_3 n45_a_history_of_qed__1_1_1->n45_a_history_of_qed__1_1_1_1 n45_a_history_of_qed__1_1_2_1 D n45_a_history_of_qed__1_1_2->n45_a_history_of_qed__1_1_2_1 n45_a_history_of_qed__1_1_2_2 IP-PPL n45_a_history_of_qed__1_1_2->n45_a_history_of_qed__1_1_2_2 n45_a_history_of_qed__1_1_2_3 N n45_a_history_of_qed__1_1_2->n45_a_history_of_qed__1_1_2_3 n45_a_history_of_qed__1_1_2_1->n45_a_history_of_qed__1_1_2_1_1 n45_a_history_of_qed__1_1_2_2_1 NP-LGS n45_a_history_of_qed__1_1_2_2->n45_a_history_of_qed__1_1_2_2_1 n45_a_history_of_qed__1_1_2_2_2 ADVP-NIM n45_a_history_of_qed__1_1_2_2->n45_a_history_of_qed__1_1_2_2_2 n45_a_history_of_qed__1_1_2_2_3 VVN;_Tn_ n45_a_history_of_qed__1_1_2_2->n45_a_history_of_qed__1_1_2_2_3 n45_a_history_of_qed__1_1_2_2_1->n45_a_history_of_qed__1_1_2_2_1_1 n45_a_history_of_qed__1_1_2_2_2_1 ADV n45_a_history_of_qed__1_1_2_2_2->n45_a_history_of_qed__1_1_2_2_2_1 n45_a_history_of_qed__1_1_2_2_2_1->n45_a_history_of_qed__1_1_2_2_2_1_1 n45_a_history_of_qed__1_1_2_2_3->n45_a_history_of_qed__1_1_2_2_3_1 n45_a_history_of_qed__1_1_2_3->n45_a_history_of_qed__1_1_2_3_1 n45_a_history_of_qed__1_1_3_1 P-ROLE n45_a_history_of_qed__1_1_3->n45_a_history_of_qed__1_1_3_1 n45_a_history_of_qed__1_1_3_2 NP n45_a_history_of_qed__1_1_3->n45_a_history_of_qed__1_1_3_2 n45_a_history_of_qed__1_1_3_1->n45_a_history_of_qed__1_1_3_1_1 n45_a_history_of_qed__1_1_3_2_1 D n45_a_history_of_qed__1_1_3_2->n45_a_history_of_qed__1_1_3_2_1 n45_a_history_of_qed__1_1_3_2_2 N n45_a_history_of_qed__1_1_3_2->n45_a_history_of_qed__1_1_3_2_2 n45_a_history_of_qed__1_1_3_2_3 PP n45_a_history_of_qed__1_1_3_2->n45_a_history_of_qed__1_1_3_2_3 n45_a_history_of_qed__1_1_3_2_1->n45_a_history_of_qed__1_1_3_2_1_1 n45_a_history_of_qed__1_1_3_2_2->n45_a_history_of_qed__1_1_3_2_2_1 n45_a_history_of_qed__1_1_3_2_3_1 P-ROLE n45_a_history_of_qed__1_1_3_2_3->n45_a_history_of_qed__1_1_3_2_3_1 n45_a_history_of_qed__1_1_3_2_3_2 NP n45_a_history_of_qed__1_1_3_2_3->n45_a_history_of_qed__1_1_3_2_3_2 n45_a_history_of_qed__1_1_3_2_3_1->n45_a_history_of_qed__1_1_3_2_3_1_1 n45_a_history_of_qed__1_1_3_2_3_2_1 D n45_a_history_of_qed__1_1_3_2_3_2->n45_a_history_of_qed__1_1_3_2_3_2_1 n45_a_history_of_qed__1_1_3_2_3_2_2 N n45_a_history_of_qed__1_1_3_2_3_2->n45_a_history_of_qed__1_1_3_2_3_2_2 n45_a_history_of_qed__1_1_3_2_3_2_3 IP-PPL n45_a_history_of_qed__1_1_3_2_3_2->n45_a_history_of_qed__1_1_3_2_3_2_3 n45_a_history_of_qed__1_1_3_2_3_2_1->n45_a_history_of_qed__1_1_3_2_3_2_1_1 n45_a_history_of_qed__1_1_3_2_3_2_2->n45_a_history_of_qed__1_1_3_2_3_2_2_1 n45_a_history_of_qed__1_1_3_2_3_2_3_1 BAG;_cat_VePASS_ n45_a_history_of_qed__1_1_3_2_3_2_3->n45_a_history_of_qed__1_1_3_2_3_2_3_1 n45_a_history_of_qed__1_1_3_2_3_2_3_2 IP-PPL-CAT n45_a_history_of_qed__1_1_3_2_3_2_3->n45_a_history_of_qed__1_1_3_2_3_2_3_2 n45_a_history_of_qed__1_1_3_2_3_2_3_1->n45_a_history_of_qed__1_1_3_2_3_2_3_1_1 n45_a_history_of_qed__1_1_3_2_3_2_3_2_1 NP-LGS n45_a_history_of_qed__1_1_3_2_3_2_3_2->n45_a_history_of_qed__1_1_3_2_3_2_3_2_1 n45_a_history_of_qed__1_1_3_2_3_2_3_2_2 VVN;_Tn_ n45_a_history_of_qed__1_1_3_2_3_2_3_2->n45_a_history_of_qed__1_1_3_2_3_2_3_2_2 n45_a_history_of_qed__1_1_3_2_3_2_3_2_1->n45_a_history_of_qed__1_1_3_2_3_2_3_2_1_1 n45_a_history_of_qed__1_1_3_2_3_2_3_2_2->n45_a_history_of_qed__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-MAT (IP-PPL-SBJ (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_VePASS_ 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))