Context                Previous, Next                Top


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

%3 0024_0002__was_0024_0003__intended was_intended 0024_0001__This this 0024_0002__was_0024_0003__intended->0024_0001__This [arg2] 0024_0005__be be 0024_0002__was_0024_0003__intended->0024_0005__be [arg1] 0024_0005__be->0024_0001__This [arg0] 0024_0006__a_0024_0008__paper a_paper 0024_0005__be->0024_0006__a_0024_0008__paper [prd2] 0024_0007__published published 0024_0007__published->0024_0006__a_0024_0008__paper [arg1] 0024_0010__but but 0024_0010__but->0024_0002__was_0024_0003__intended [conj1] 0024_0011__was_0024_0013__finished was_finished 0024_0010__but->0024_0011__was_0024_0013__finished [conj2] 0024_0011__was_0024_0013__finished->0024_0001__This [arg1] 0024_0012__never never 0024_0011__was_0024_0013__finished->0024_0012__never [tmp] 
arc(r_0024_0002__was_r_0024_0003__intended,r_0024_0001__This,arg2).
arc(r_0024_0002__was_r_0024_0003__intended,r_0024_0005__be,arg1).
arc(r_0024_0005__be,r_0024_0001__This,arg0).
arc(r_0024_0005__be,r_0024_0006__a_r_0024_0008__paper,prd2).
arc(r_0024_0007__published,r_0024_0006__a_r_0024_0008__paper,arg1).
arc(r_0024_0010__but,r_0024_0002__was_r_0024_0003__intended,coord_conj1).
arc(r_0024_0010__but,r_0024_0011__was_r_0024_0013__finished,coord_conj2).
arc(r_0024_0011__was_r_0024_0013__finished,r_0024_0001__This,arg1).
arc(r_0024_0011__was_r_0024_0013__finished,r_0024_0012__never,tmp).

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-PRD2 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-TMP 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-PRD2 (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-TMP (ADV never;{never}))
                                         (VVN finished;{finish})))))
          (PUNC .))
  (ID 24_a_history_of_qed))