Context                Previous, Next                Top


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

0024_0002__was was 0024_0003__intended intended 0024_0002__was->0024_0003__intended [scope] 0024_0001__This this 0024_0003__intended->0024_0001__This [arg2] 0024_0005__be be 0024_0003__intended->0024_0005__be [arg1] staz_0024_5007 * 0024_0003__intended->staz_0024_5007 [arg0] 0024_0005__be->0024_0001__This [arg0] 0024_0006__a_0024_0008__paper a_paper 0024_0005__be->0024_0006__a_0024_0008__paper [prd] 0024_0007__published published 0024_0007__published->0024_0006__a_0024_0008__paper [arg1] staz_0024_5004 * 0024_0007__published->staz_0024_5004 [arg0] 0024_0010__but but 0024_0010__but->0024_0002__was [conj1] 0024_0011__was was 0024_0010__but->0024_0011__was [conj2] 0024_0013__finished finished 0024_0011__was->0024_0013__finished [scope] 0024_0013__finished->0024_0001__This [arg1] 0024_0012__never never 0024_0013__finished->0024_0012__never [nim] staz_0024_5012 * 0024_0013__finished->staz_0024_5012 [arg0] 
arc(r_0024_0002__was,r_0024_0003__intended,keep_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,star_z_0024_5007,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,arg1).
arc(r_0024_0007__published,star_z_0024_5004,arg0).
arc(r_0024_0010__but,r_0024_0002__was,coord_conj1).
arc(r_0024_0010__but,r_0024_0011__was,coord_conj2).
arc(r_0024_0011__was,r_0024_0013__finished,keep_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,star_z_0024_5012,arg0).

IP-MAT NP-SBJ D;_nphd_ This ILYR ILYR BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * VVN intended IP-INF-OB1 TO to BE;~Ln be NP-PRD D a IP-PPL NP-LGS * VVN published N paper PUNC , CONJP CONJ but ILYR BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * ADVP-NIM ADV never VVN finished PUNC . 
( (IP-MAT (NP-SBJ;{GECOS_QED_NOTES} (D;_nphd_ This;{this}))
          (ILYR (ILYR (BED;~cat_Ve_passive_ 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_Ve_passive_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV never;{never}))
                                         (VVN finished;{finish})))))
          (PUNC .))
  (ID 24_a_history_of_qed))