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_0002__was_r_0024_0003__intended was intended r_0024_0001__This This 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_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_r_0024_0003__intended [conj1] r_0024_0011__was_r_0024_0013__finished was finished r_0024_0010__but->r_0024_0011__was_r_0024_0013__finished [conj2] r_0024_0011__was_r_0024_0013__finished->r_0024_0001__This [arg1] r_0024_0012__never never r_0024_0011__was_r_0024_0013__finished->r_0024_0012__never [nim] 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] 
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_4 This n24_a_history_of_qed_8 was n24_a_history_of_qed_11 * n24_a_history_of_qed_13 intended n24_a_history_of_qed_16 to n24_a_history_of_qed_18 be n24_a_history_of_qed_21 a n24_a_history_of_qed_24 * n24_a_history_of_qed_26 published n24_a_history_of_qed_28 paper n24_a_history_of_qed_30 , n24_a_history_of_qed_33 but n24_a_history_of_qed_36 was n24_a_history_of_qed_39 * n24_a_history_of_qed_42 never n24_a_history_of_qed_44 finished n24_a_history_of_qed_46 . n24_a_history_of_qed_1 IP-MAT n24_a_history_of_qed_2 NP-SBJ n24_a_history_of_qed_1->n24_a_history_of_qed_2 n24_a_history_of_qed_5 ILYR n24_a_history_of_qed_1->n24_a_history_of_qed_5 n24_a_history_of_qed_45 PUNC n24_a_history_of_qed_1->n24_a_history_of_qed_45 n24_a_history_of_qed_3 D;_nphd_ n24_a_history_of_qed_2->n24_a_history_of_qed_3 n24_a_history_of_qed_3->n24_a_history_of_qed_4 n24_a_history_of_qed_6 ILYR n24_a_history_of_qed_5->n24_a_history_of_qed_6 n24_a_history_of_qed_29 PUNC n24_a_history_of_qed_5->n24_a_history_of_qed_29 n24_a_history_of_qed_31 CONJP n24_a_history_of_qed_5->n24_a_history_of_qed_31 n24_a_history_of_qed_7 BED;_cat_VePASS_ n24_a_history_of_qed_6->n24_a_history_of_qed_7 n24_a_history_of_qed_9 IP-PPL-CAT n24_a_history_of_qed_6->n24_a_history_of_qed_9 n24_a_history_of_qed_7->n24_a_history_of_qed_8 n24_a_history_of_qed_10 NP-LGS n24_a_history_of_qed_9->n24_a_history_of_qed_10 n24_a_history_of_qed_12 VVN;__ n24_a_history_of_qed_9->n24_a_history_of_qed_12 n24_a_history_of_qed_14 IP-INF-OB1 n24_a_history_of_qed_9->n24_a_history_of_qed_14 n24_a_history_of_qed_10->n24_a_history_of_qed_11 n24_a_history_of_qed_12->n24_a_history_of_qed_13 n24_a_history_of_qed_15 TO n24_a_history_of_qed_14->n24_a_history_of_qed_15 n24_a_history_of_qed_17 BE;_Ln_ n24_a_history_of_qed_14->n24_a_history_of_qed_17 n24_a_history_of_qed_19 NP-PRD n24_a_history_of_qed_14->n24_a_history_of_qed_19 n24_a_history_of_qed_15->n24_a_history_of_qed_16 n24_a_history_of_qed_17->n24_a_history_of_qed_18 n24_a_history_of_qed_20 D n24_a_history_of_qed_19->n24_a_history_of_qed_20 n24_a_history_of_qed_22 IP-PPL n24_a_history_of_qed_19->n24_a_history_of_qed_22 n24_a_history_of_qed_27 N n24_a_history_of_qed_19->n24_a_history_of_qed_27 n24_a_history_of_qed_20->n24_a_history_of_qed_21 n24_a_history_of_qed_23 NP-LGS n24_a_history_of_qed_22->n24_a_history_of_qed_23 n24_a_history_of_qed_25 VVN;__ n24_a_history_of_qed_22->n24_a_history_of_qed_25 n24_a_history_of_qed_23->n24_a_history_of_qed_24 n24_a_history_of_qed_25->n24_a_history_of_qed_26 n24_a_history_of_qed_27->n24_a_history_of_qed_28 n24_a_history_of_qed_29->n24_a_history_of_qed_30 n24_a_history_of_qed_32 CONJ n24_a_history_of_qed_31->n24_a_history_of_qed_32 n24_a_history_of_qed_34 ILYR n24_a_history_of_qed_31->n24_a_history_of_qed_34 n24_a_history_of_qed_32->n24_a_history_of_qed_33 n24_a_history_of_qed_35 BED;_cat_VePASS_ n24_a_history_of_qed_34->n24_a_history_of_qed_35 n24_a_history_of_qed_37 IP-PPL-CAT n24_a_history_of_qed_34->n24_a_history_of_qed_37 n24_a_history_of_qed_35->n24_a_history_of_qed_36 n24_a_history_of_qed_38 NP-LGS n24_a_history_of_qed_37->n24_a_history_of_qed_38 n24_a_history_of_qed_40 ADVP-NIM n24_a_history_of_qed_37->n24_a_history_of_qed_40 n24_a_history_of_qed_43 VVN;__ n24_a_history_of_qed_37->n24_a_history_of_qed_43 n24_a_history_of_qed_38->n24_a_history_of_qed_39 n24_a_history_of_qed_41 ADV n24_a_history_of_qed_40->n24_a_history_of_qed_41 n24_a_history_of_qed_41->n24_a_history_of_qed_42 n24_a_history_of_qed_43->n24_a_history_of_qed_44 n24_a_history_of_qed_45->n24_a_history_of_qed_46 
( (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))