Context                Previous, Next                Top


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

%3 r_0024_0002__was was r_0024_0003__intended intended r_0024_0002__was->r_0024_0003__intended [scope] r_0024_0001__This This r_0024_0003__intended->r_0024_0001__This [arg2] r_0024_0004__to_r_0024_0005__be to be r_0024_0003__intended->r_0024_0004__to_r_0024_0005__be [arg1] z_000_24_a_history_of_qed_10 r_0024_0003__intended->z_000_24_a_history_of_qed_10 [arg0] r_0024_0004__to_r_0024_0005__be->r_0024_0001__This [arg0] r_0024_0006__a_r_0024_0008__paper a paper r_0024_0004__to_r_0024_0005__be->r_0024_0006__a_r_0024_0008__paper [prd] r_0024_0007__published published r_0024_0007__published->r_0024_0006__a_r_0024_0008__paper [arg1] z_000_24_a_history_of_qed_23 r_0024_0007__published->z_000_24_a_history_of_qed_23 [arg0] r_0024_0010__but but r_0024_0010__but->r_0024_0002__was [conj1] r_0024_0011__was was r_0024_0010__but->r_0024_0011__was [conj2] r_0024_0013__finished finished r_0024_0011__was->r_0024_0013__finished [scope] r_0024_0013__finished->r_0024_0001__This [arg1] r_0024_0012__never never r_0024_0013__finished->r_0024_0012__never [nim] z_000_24_a_history_of_qed_38 r_0024_0013__finished->z_000_24_a_history_of_qed_38 [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_0004__to_r_0024_0005__be, arg1).
arc(r_0024_0003__intended, z_000_24_a_history_of_qed_10, arg0).
arc(r_0024_0004__to_r_0024_0005__be, r_0024_0001__This, arg0).
arc(r_0024_0004__to_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, z_000_24_a_history_of_qed_23, 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, nim40).
arc(r_0024_0013__finished, z_000_24_a_history_of_qed_38, arg0).


%3 r_0024_0011__was_r_0024_0013__finished was finished z_000_24_a_history_of_qed_38 r_0024_0011__was_r_0024_0013__finished->z_000_24_a_history_of_qed_38 [arg0] r_0024_0012__never never r_0024_0011__was_r_0024_0013__finished->r_0024_0012__never [nim] r_0024_0001__This This r_0024_0011__was_r_0024_0013__finished->r_0024_0001__This [arg1] r_0024_0010__but but r_0024_0010__but->r_0024_0011__was_r_0024_0013__finished [conj2] r_0024_0002__was_r_0024_0003__intended was intended r_0024_0010__but->r_0024_0002__was_r_0024_0003__intended [conj1] r_0024_0002__was_r_0024_0003__intended->r_0024_0001__This [arg2] r_0024_0004__to_r_0024_0005__be to be r_0024_0002__was_r_0024_0003__intended->r_0024_0004__to_r_0024_0005__be [arg1] z_000_24_a_history_of_qed_10 r_0024_0002__was_r_0024_0003__intended->z_000_24_a_history_of_qed_10 [arg0] r_0024_0007__published published z_000_24_a_history_of_qed_23 r_0024_0007__published->z_000_24_a_history_of_qed_23 [arg0] r_0024_0006__a_r_0024_0008__paper a paper r_0024_0007__published->r_0024_0006__a_r_0024_0008__paper [arg1] r_0024_0004__to_r_0024_0005__be->r_0024_0001__This [arg0] r_0024_0004__to_r_0024_0005__be->r_0024_0006__a_r_0024_0008__paper [prd] 
fof(formula,axiom,
    ? [R_24_7_PUBLISHED,Z_24_A_HISTORY_OF_QED_23,R_24_10_BUT,R_24_2_WAS_INTENDED,Z_24_A_HISTORY_OF_QED_10,R_24_4_TO_BE,R_24_6_A_PAPER,R_24_11_WAS_FINISHED,Z_24_A_HISTORY_OF_QED_38,R_24_1_THIS,R_24_12_NEVER] :
      ( a_paper(R_24_6_A_PAPER)
      & this(R_24_1_THIS)
      & never(R_24_12_NEVER)
      & published(R_24_7_PUBLISHED,Z_24_A_HISTORY_OF_QED_23,R_24_6_A_PAPER)
      & but(R_24_10_BUT)
      & conj1(R_24_10_BUT,R_24_2_WAS_INTENDED)
      & was_intended(R_24_2_WAS_INTENDED,Z_24_A_HISTORY_OF_QED_10,R_24_4_TO_BE,R_24_1_THIS)
      & to_be(R_24_4_TO_BE,R_24_1_THIS,R_24_6_A_PAPER)
      & conj2(R_24_10_BUT,R_24_11_WAS_FINISHED)
      & was_finished(R_24_11_WAS_FINISHED,Z_24_A_HISTORY_OF_QED_38,R_24_1_THIS)
      & nim40(R_24_11_WAS_FINISHED,R_24_12_NEVER) ) ).


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