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_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_r_0045_0013__edited being edited r_0045_0012__being_r_0045_0013__edited->r_0045_0010__the_r_0045_0011__text [arg1] 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_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] 
fof(formula,axiom,
    ? [R_45_4_UPDATED,Z_45_A_HISTORY_OF_QED_9,R_45_3_CONSTANTLY,R_45_12_BEING_EDITED,Z_45_A_HISTORY_OF_QED_38,R_45_14_IS,R_45_1_KEEPING,Z_45_A_HISTORY_OF_QED_2,R_45_2_A_WINDOW,R_45_7_A_PART,R_45_10_THE_TEXT,R_45_15_NOW,R_45_17_OF_COURSE,R_45_21_AND,R_45_20_STANDARD,R_45_22_ACCEPTED,R_45_19_COMPLETELY] :
      ( constantly(R_45_3_CONSTANTLY)
      & a_window(R_45_2_A_WINDOW)
      & the_text(R_45_10_THE_TEXT)
      & now(R_45_15_NOW)
      & of_course(R_45_17_OF_COURSE)
      & standard(R_45_20_STANDARD)
      & accepted(R_45_22_ACCEPTED)
      & completely(R_45_19_COMPLETELY)
      & updated(R_45_4_UPDATED,Z_45_A_HISTORY_OF_QED_9,R_45_2_A_WINDOW)
      & nim11(R_45_4_UPDATED,R_45_3_CONSTANTLY)
      & being_edited(R_45_12_BEING_EDITED,Z_45_A_HISTORY_OF_QED_38,R_45_10_THE_TEXT)
      & is(R_45_14_IS,R_45_1_KEEPING,R_45_21_AND)
      & keeping(R_45_1_KEEPING,Z_45_A_HISTORY_OF_QED_2,R_45_2_A_WINDOW)
      & on_nim21(R_45_1_KEEPING,R_45_7_A_PART)
      & a_part(R_45_7_A_PART)
      & of(R_45_7_A_PART,R_45_10_THE_TEXT)
      & and(R_45_21_AND)
      & conj1(R_45_21_AND,R_45_20_STANDARD)
      & conj2(R_45_21_AND,R_45_22_ACCEPTED)
      & qual55(R_45_21_AND,R_45_19_COMPLETELY)
      & nim44(R_45_14_IS,R_45_15_NOW)
      & nim49(R_45_14_IS,R_45_17_OF_COURSE) ) ).


n45_a_history_of_qed n45_a_history_of_qed_4 Keeping n45_a_history_of_qed_7 a n45_a_history_of_qed_10 * n45_a_history_of_qed_13 constantly n45_a_history_of_qed_15 updated n45_a_history_of_qed_17 window n45_a_history_of_qed_20 on n45_a_history_of_qed_23 a n45_a_history_of_qed_25 part n45_a_history_of_qed_28 of n45_a_history_of_qed_31 the n45_a_history_of_qed_33 text n45_a_history_of_qed_36 being n45_a_history_of_qed_39 * n45_a_history_of_qed_41 edited n45_a_history_of_qed_43 is n45_a_history_of_qed_46 now n45_a_history_of_qed_48 , n45_a_history_of_qed_51 of_course n45_a_history_of_qed_53 , n45_a_history_of_qed_57 completely n45_a_history_of_qed_61 standard n45_a_history_of_qed_64 and n45_a_history_of_qed_67 accepted n45_a_history_of_qed_69 . n45_a_history_of_qed_1 IP-MAT n45_a_history_of_qed_2 IP-PPL-SBJ n45_a_history_of_qed_1->n45_a_history_of_qed_2 n45_a_history_of_qed_42 BEP;_La_ n45_a_history_of_qed_1->n45_a_history_of_qed_42 n45_a_history_of_qed_44 ADVP-NIM n45_a_history_of_qed_1->n45_a_history_of_qed_44 n45_a_history_of_qed_47 PUNC n45_a_history_of_qed_1->n45_a_history_of_qed_47 n45_a_history_of_qed_49 ADVP-NIM n45_a_history_of_qed_1->n45_a_history_of_qed_49 n45_a_history_of_qed_52 PUNC n45_a_history_of_qed_1->n45_a_history_of_qed_52 n45_a_history_of_qed_54 ADJP-PRD n45_a_history_of_qed_1->n45_a_history_of_qed_54 n45_a_history_of_qed_68 PUNC n45_a_history_of_qed_1->n45_a_history_of_qed_68 n45_a_history_of_qed_3 VAG;_Tn.pr_ n45_a_history_of_qed_2->n45_a_history_of_qed_3 n45_a_history_of_qed_5 NP-OB1 n45_a_history_of_qed_2->n45_a_history_of_qed_5 n45_a_history_of_qed_18 PP-NIM n45_a_history_of_qed_2->n45_a_history_of_qed_18 n45_a_history_of_qed_3->n45_a_history_of_qed_4 n45_a_history_of_qed_6 D n45_a_history_of_qed_5->n45_a_history_of_qed_6 n45_a_history_of_qed_8 IP-PPL n45_a_history_of_qed_5->n45_a_history_of_qed_8 n45_a_history_of_qed_16 N n45_a_history_of_qed_5->n45_a_history_of_qed_16 n45_a_history_of_qed_6->n45_a_history_of_qed_7 n45_a_history_of_qed_9 NP-LGS n45_a_history_of_qed_8->n45_a_history_of_qed_9 n45_a_history_of_qed_11 ADVP-NIM n45_a_history_of_qed_8->n45_a_history_of_qed_11 n45_a_history_of_qed_14 VVN;_Tn_ n45_a_history_of_qed_8->n45_a_history_of_qed_14 n45_a_history_of_qed_9->n45_a_history_of_qed_10 n45_a_history_of_qed_12 ADV n45_a_history_of_qed_11->n45_a_history_of_qed_12 n45_a_history_of_qed_12->n45_a_history_of_qed_13 n45_a_history_of_qed_14->n45_a_history_of_qed_15 n45_a_history_of_qed_16->n45_a_history_of_qed_17 n45_a_history_of_qed_19 P-ROLE n45_a_history_of_qed_18->n45_a_history_of_qed_19 n45_a_history_of_qed_21 NP n45_a_history_of_qed_18->n45_a_history_of_qed_21 n45_a_history_of_qed_19->n45_a_history_of_qed_20 n45_a_history_of_qed_22 D n45_a_history_of_qed_21->n45_a_history_of_qed_22 n45_a_history_of_qed_24 N n45_a_history_of_qed_21->n45_a_history_of_qed_24 n45_a_history_of_qed_26 PP n45_a_history_of_qed_21->n45_a_history_of_qed_26 n45_a_history_of_qed_22->n45_a_history_of_qed_23 n45_a_history_of_qed_24->n45_a_history_of_qed_25 n45_a_history_of_qed_27 P-ROLE n45_a_history_of_qed_26->n45_a_history_of_qed_27 n45_a_history_of_qed_29 NP n45_a_history_of_qed_26->n45_a_history_of_qed_29 n45_a_history_of_qed_27->n45_a_history_of_qed_28 n45_a_history_of_qed_30 D n45_a_history_of_qed_29->n45_a_history_of_qed_30 n45_a_history_of_qed_32 N n45_a_history_of_qed_29->n45_a_history_of_qed_32 n45_a_history_of_qed_34 IP-PPL n45_a_history_of_qed_29->n45_a_history_of_qed_34 n45_a_history_of_qed_30->n45_a_history_of_qed_31 n45_a_history_of_qed_32->n45_a_history_of_qed_33 n45_a_history_of_qed_35 BAG;_cat_VePASS_ n45_a_history_of_qed_34->n45_a_history_of_qed_35 n45_a_history_of_qed_37 IP-PPL-CAT n45_a_history_of_qed_34->n45_a_history_of_qed_37 n45_a_history_of_qed_35->n45_a_history_of_qed_36 n45_a_history_of_qed_38 NP-LGS n45_a_history_of_qed_37->n45_a_history_of_qed_38 n45_a_history_of_qed_40 VVN;_Tn_ n45_a_history_of_qed_37->n45_a_history_of_qed_40 n45_a_history_of_qed_38->n45_a_history_of_qed_39 n45_a_history_of_qed_40->n45_a_history_of_qed_41 n45_a_history_of_qed_42->n45_a_history_of_qed_43 n45_a_history_of_qed_45 ADV n45_a_history_of_qed_44->n45_a_history_of_qed_45 n45_a_history_of_qed_45->n45_a_history_of_qed_46 n45_a_history_of_qed_47->n45_a_history_of_qed_48 n45_a_history_of_qed_50 ADV n45_a_history_of_qed_49->n45_a_history_of_qed_50 n45_a_history_of_qed_50->n45_a_history_of_qed_51 n45_a_history_of_qed_52->n45_a_history_of_qed_53 n45_a_history_of_qed_55 ADVP n45_a_history_of_qed_54->n45_a_history_of_qed_55 n45_a_history_of_qed_58 AJLYR n45_a_history_of_qed_54->n45_a_history_of_qed_58 n45_a_history_of_qed_56 ADV n45_a_history_of_qed_55->n45_a_history_of_qed_56 n45_a_history_of_qed_56->n45_a_history_of_qed_57 n45_a_history_of_qed_59 AJLYR n45_a_history_of_qed_58->n45_a_history_of_qed_59 n45_a_history_of_qed_62 CONJP n45_a_history_of_qed_58->n45_a_history_of_qed_62 n45_a_history_of_qed_60 ADJ n45_a_history_of_qed_59->n45_a_history_of_qed_60 n45_a_history_of_qed_60->n45_a_history_of_qed_61 n45_a_history_of_qed_63 CONJ n45_a_history_of_qed_62->n45_a_history_of_qed_63 n45_a_history_of_qed_65 AJLYR n45_a_history_of_qed_62->n45_a_history_of_qed_65 n45_a_history_of_qed_63->n45_a_history_of_qed_64 n45_a_history_of_qed_66 ADJ n45_a_history_of_qed_65->n45_a_history_of_qed_66 n45_a_history_of_qed_66->n45_a_history_of_qed_67 n45_a_history_of_qed_68->n45_a_history_of_qed_69 
( (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))