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 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] 0024_5007___star_ * 0024_0003__intended->0024_5007___star_ [arg0] 0024_0005__be->0024_0001__This [arg0] 0024_0006__a_8__paper a_paper 0024_0005__be->0024_0006__a_8__paper [prd] 0024_0007__published published 0024_0007__published->0024_0006__a_8__paper [inv][arg1] 0024_5004___star_ * 0024_0007__published->0024_5004___star_ [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] 0024_5012___star_ * 0024_0013__finished->0024_5012___star_ [arg0] 
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).

n24_a_history_of_qed n24_a_history_of_qed__1_1_1_1 This n24_a_history_of_qed__1_2_1_1_1 was n24_a_history_of_qed__1_2_1_2_1_1 * n24_a_history_of_qed__1_2_1_2_2_1 intended n24_a_history_of_qed__1_2_1_2_3_1_1 to n24_a_history_of_qed__1_2_1_2_3_2_1 be n24_a_history_of_qed__1_2_1_2_3_3_1_1 a n24_a_history_of_qed__1_2_1_2_3_3_2_1_1 * n24_a_history_of_qed__1_2_1_2_3_3_2_2_1 published n24_a_history_of_qed__1_2_1_2_3_3_3_1 paper n24_a_history_of_qed__1_2_2_1 , n24_a_history_of_qed__1_2_3_1_1 but n24_a_history_of_qed__1_2_3_2_1_1 was n24_a_history_of_qed__1_2_3_2_2_1_1 * n24_a_history_of_qed__1_2_3_2_2_2_1_1 never n24_a_history_of_qed__1_2_3_2_2_3_1 finished n24_a_history_of_qed__1_3_1 . n24_a_history_of_qed__1 IP-MAT n24_a_history_of_qed__1_1 NP-SBJ n24_a_history_of_qed__1->n24_a_history_of_qed__1_1 n24_a_history_of_qed__1_2 ILYR n24_a_history_of_qed__1->n24_a_history_of_qed__1_2 n24_a_history_of_qed__1_3 PUNC n24_a_history_of_qed__1->n24_a_history_of_qed__1_3 n24_a_history_of_qed__1_1_1 D;_nphd_ n24_a_history_of_qed__1_1->n24_a_history_of_qed__1_1_1 n24_a_history_of_qed__1_1_1->n24_a_history_of_qed__1_1_1_1 n24_a_history_of_qed__1_2_1 ILYR n24_a_history_of_qed__1_2->n24_a_history_of_qed__1_2_1 n24_a_history_of_qed__1_2_2 PUNC n24_a_history_of_qed__1_2->n24_a_history_of_qed__1_2_2 n24_a_history_of_qed__1_2_3 CONJP n24_a_history_of_qed__1_2->n24_a_history_of_qed__1_2_3 n24_a_history_of_qed__1_2_1_1 BED;~cat_Ve_passive_ n24_a_history_of_qed__1_2_1->n24_a_history_of_qed__1_2_1_1 n24_a_history_of_qed__1_2_1_2 IP-PPL-CAT n24_a_history_of_qed__1_2_1->n24_a_history_of_qed__1_2_1_2 n24_a_history_of_qed__1_2_1_1->n24_a_history_of_qed__1_2_1_1_1 n24_a_history_of_qed__1_2_1_2_1 NP-LGS n24_a_history_of_qed__1_2_1_2->n24_a_history_of_qed__1_2_1_2_1 n24_a_history_of_qed__1_2_1_2_2 VVN;~ n24_a_history_of_qed__1_2_1_2->n24_a_history_of_qed__1_2_1_2_2 n24_a_history_of_qed__1_2_1_2_3 IP-INF-OB1 n24_a_history_of_qed__1_2_1_2->n24_a_history_of_qed__1_2_1_2_3 n24_a_history_of_qed__1_2_1_2_1->n24_a_history_of_qed__1_2_1_2_1_1 n24_a_history_of_qed__1_2_1_2_2->n24_a_history_of_qed__1_2_1_2_2_1 n24_a_history_of_qed__1_2_1_2_3_1 TO n24_a_history_of_qed__1_2_1_2_3->n24_a_history_of_qed__1_2_1_2_3_1 n24_a_history_of_qed__1_2_1_2_3_2 BE;~Ln n24_a_history_of_qed__1_2_1_2_3->n24_a_history_of_qed__1_2_1_2_3_2 n24_a_history_of_qed__1_2_1_2_3_3 NP-PRD n24_a_history_of_qed__1_2_1_2_3->n24_a_history_of_qed__1_2_1_2_3_3 n24_a_history_of_qed__1_2_1_2_3_1->n24_a_history_of_qed__1_2_1_2_3_1_1 n24_a_history_of_qed__1_2_1_2_3_2->n24_a_history_of_qed__1_2_1_2_3_2_1 n24_a_history_of_qed__1_2_1_2_3_3_1 D n24_a_history_of_qed__1_2_1_2_3_3->n24_a_history_of_qed__1_2_1_2_3_3_1 n24_a_history_of_qed__1_2_1_2_3_3_2 IP-PPL n24_a_history_of_qed__1_2_1_2_3_3->n24_a_history_of_qed__1_2_1_2_3_3_2 n24_a_history_of_qed__1_2_1_2_3_3_3 N n24_a_history_of_qed__1_2_1_2_3_3->n24_a_history_of_qed__1_2_1_2_3_3_3 n24_a_history_of_qed__1_2_1_2_3_3_1->n24_a_history_of_qed__1_2_1_2_3_3_1_1 n24_a_history_of_qed__1_2_1_2_3_3_2_1 NP-LGS n24_a_history_of_qed__1_2_1_2_3_3_2->n24_a_history_of_qed__1_2_1_2_3_3_2_1 n24_a_history_of_qed__1_2_1_2_3_3_2_2 VVN;~ n24_a_history_of_qed__1_2_1_2_3_3_2->n24_a_history_of_qed__1_2_1_2_3_3_2_2 n24_a_history_of_qed__1_2_1_2_3_3_2_1->n24_a_history_of_qed__1_2_1_2_3_3_2_1_1 n24_a_history_of_qed__1_2_1_2_3_3_2_2->n24_a_history_of_qed__1_2_1_2_3_3_2_2_1 n24_a_history_of_qed__1_2_1_2_3_3_3->n24_a_history_of_qed__1_2_1_2_3_3_3_1 n24_a_history_of_qed__1_2_2->n24_a_history_of_qed__1_2_2_1 n24_a_history_of_qed__1_2_3_1 CONJ n24_a_history_of_qed__1_2_3->n24_a_history_of_qed__1_2_3_1 n24_a_history_of_qed__1_2_3_2 ILYR n24_a_history_of_qed__1_2_3->n24_a_history_of_qed__1_2_3_2 n24_a_history_of_qed__1_2_3_1->n24_a_history_of_qed__1_2_3_1_1 n24_a_history_of_qed__1_2_3_2_1 BED;~cat_Ve_passive_ n24_a_history_of_qed__1_2_3_2->n24_a_history_of_qed__1_2_3_2_1 n24_a_history_of_qed__1_2_3_2_2 IP-PPL-CAT n24_a_history_of_qed__1_2_3_2->n24_a_history_of_qed__1_2_3_2_2 n24_a_history_of_qed__1_2_3_2_1->n24_a_history_of_qed__1_2_3_2_1_1 n24_a_history_of_qed__1_2_3_2_2_1 NP-LGS n24_a_history_of_qed__1_2_3_2_2->n24_a_history_of_qed__1_2_3_2_2_1 n24_a_history_of_qed__1_2_3_2_2_2 ADVP-NIM n24_a_history_of_qed__1_2_3_2_2->n24_a_history_of_qed__1_2_3_2_2_2 n24_a_history_of_qed__1_2_3_2_2_3 VVN;~ n24_a_history_of_qed__1_2_3_2_2->n24_a_history_of_qed__1_2_3_2_2_3 n24_a_history_of_qed__1_2_3_2_2_1->n24_a_history_of_qed__1_2_3_2_2_1_1 n24_a_history_of_qed__1_2_3_2_2_2_1 ADV n24_a_history_of_qed__1_2_3_2_2_2->n24_a_history_of_qed__1_2_3_2_2_2_1 n24_a_history_of_qed__1_2_3_2_2_2_1->n24_a_history_of_qed__1_2_3_2_2_2_1_1 n24_a_history_of_qed__1_2_3_2_2_3->n24_a_history_of_qed__1_2_3_2_2_3_1 n24_a_history_of_qed__1_3->n24_a_history_of_qed__1_3_1 
( (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))