TSPC 24_a_history_of

24_a_history_of_qed
This was intended to be a published paper, but was never finished.

( (IP-MAT (NP-SBJ;{GECOS_QED_NOTES} (D;_nphd_ This;{this}))
          (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ intended;{intend})
                                  (IP-INF-OB1 (TO to;{to})
                                              (BE;_Ln_ be;{be})
                                              (NP-PRD (D a;{a})
                                                      (IP-PPL (NP-LGS *)
                                                              (VVN;__ published;{publish}))
                                                      (N paper;{paper})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV never;{never}))
                                         (VVN;__ finished;{finish})))))
          (PUNC .))
  (ID 24_a_history_of_qed))

arc(r_0024_0002__was,r_0024_0003__intended,scope).
arc(r_0024_0003__intended,r_0024_0001__This,arg2).
arc(r_0024_0003__intended,r_0024_0005__be,arg1).
arc(r_0024_0003__intended,z_0024_5007___star_,arg0).
arc(r_0024_0005__be,r_0024_0001__This,arg0).
arc(r_0024_0005__be,r_0024_0006__a_r_0024_0008__paper,prd).
arc(r_0024_0007__published,r_0024_0006__a_r_0024_0008__paper,inv_arg1).
arc(r_0024_0007__published,z_0024_5004___star_,arg0).
arc(r_0024_0010__but,r_0024_0002__was,conj1).
arc(r_0024_0010__but,r_0024_0011__was,conj2).
arc(r_0024_0011__was,r_0024_0013__finished,scope).
arc(r_0024_0013__finished,r_0024_0001__This,arg1).
arc(r_0024_0013__finished,r_0024_0012__never,nim).
arc(r_0024_0013__finished,z_0024_5012___star_,arg0).

fof(formula,axiom,
    ? [R_0024_0001__THIS,Z_0024_5004___STAR_,R_0024_0007__PUBLISHED,R_0024_0006__A_R_0024_0008__PAPER,R_0024_0005__BE,Z_0024_5007___STAR_,R_0024_0002__WAS_R_0024_0003__INTENDED,R_0024_0012__NEVER,Z_0024_5012___STAR_,R_0024_0011__WAS_R_0024_0013__FINISHED,R_0024_0010__BUT] :
      ( r_0024_0001__This(R_0024_0001__THIS)
      & r_0024_0012__never(R_0024_0012__NEVER)
      & z_0024_5004___star_(Z_0024_5004___STAR_)
      & z_0024_5007___star_(Z_0024_5007___STAR_)
      & z_0024_5012___star_(Z_0024_5012___STAR_)
      & r_0024_0010__but(R_0024_0010__BUT)
      & has_conj2(R_0024_0010__BUT,R_0024_0011__WAS_R_0024_0013__FINISHED)
      & r_0024_0011__was_r_0024_0013__finished(R_0024_0011__WAS_R_0024_0013__FINISHED)
      & has_arg0(R_0024_0011__WAS_R_0024_0013__FINISHED,Z_0024_5012___STAR_)
      & has_nim(R_0024_0011__WAS_R_0024_0013__FINISHED,R_0024_0012__NEVER)
      & has_arg1(R_0024_0011__WAS_R_0024_0013__FINISHED,R_0024_0001__THIS)
      & has_conj1(R_0024_0010__BUT,R_0024_0002__WAS_R_0024_0003__INTENDED)
      & r_0024_0002__was_r_0024_0003__intended(R_0024_0002__WAS_R_0024_0003__INTENDED)
      & has_arg0(R_0024_0002__WAS_R_0024_0003__INTENDED,Z_0024_5007___STAR_)
      & has_arg1(R_0024_0002__WAS_R_0024_0003__INTENDED,R_0024_0005__BE)
      & r_0024_0005__be(R_0024_0005__BE)
      & has_prd(R_0024_0005__BE,R_0024_0006__A_R_0024_0008__PAPER)
      & r_0024_0006__a_r_0024_0008__paper(R_0024_0006__A_R_0024_0008__PAPER)
      & has_inv_arg1(R_0024_0006__A_R_0024_0008__PAPER,R_0024_0007__PUBLISHED)
      & r_0024_0007__published(R_0024_0007__PUBLISHED)
      & has_arg0(R_0024_0007__PUBLISHED,Z_0024_5004___STAR_)
      & has_arg0(R_0024_0005__BE,R_0024_0001__THIS)
      & has_arg2(R_0024_0002__WAS_R_0024_0003__INTENDED,R_0024_0001__THIS) ) ).