( (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_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))

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_5013___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_5018___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(z_0045_5009,r_0045_0001__Keeping,restriction).
arc(z_0045_5009,r_0045_0014__is,scope).

fof(formula,axiom,
    ? [R_0045_0010__THE_R_0045_0011__TEXT,Z_0045_5018___STAR_,R_0045_0012__BEING_R_0045_0013__EDITED,R_0045_0003__CONSTANTLY,Z_0045_5013___STAR_,R_0045_0004__UPDATED,R_0045_0002__A_R_0045_0005__WINDOW,R_0045_0007__A_R_0045_0008__PART,Z_0045_5002,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,Z_0045_5009] :
      ( 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_0045_5002(Z_0045_5002)
      & z_0045_5013___star_(Z_0045_5013___STAR_)
      & z_0045_5018___star_(Z_0045_5018___STAR_)
      & z_0045_5009(Z_0045_5009)
      & has_conj2(Z_0045_5009,R_0045_0014__IS)
      & r_0045_0014__is(R_0045_0014__IS)
      & has_arg0(R_0045_0014__IS,Z_0045_5002)
      & 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_qual(R_0045_0021__AND,R_0045_0019__COMPLETELY)
      & has_nim(R_0045_0014__IS,R_0045_0017__OF_COURSE)
      & has_nim(R_0045_0014__IS,R_0045_0015__NOW)
      & has_conj1(Z_0045_5009,R_0045_0001__KEEPING)
      & r_0045_0001__Keeping(R_0045_0001__KEEPING)
      & has_arg0(R_0045_0001__KEEPING,Z_0045_5002)
      & has_r_0045_0006__on__nim(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_0002__a_r_0045_0005__window(R_0045_0002__A_R_0045_0005__WINDOW)
      & has_inv_arg1(R_0045_0002__A_R_0045_0005__WINDOW,R_0045_0004__UPDATED)
      & r_0045_0004__updated(R_0045_0004__UPDATED)
      & has_arg0(R_0045_0004__UPDATED,Z_0045_5013___STAR_)
      & has_nim(R_0045_0004__UPDATED,R_0045_0003__CONSTANTLY)
      & 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_0045_5018___STAR_)
      & has_arg1(R_0045_0012__BEING_R_0045_0013__EDITED,R_0045_0010__THE_R_0045_0011__TEXT) ) ).