Context                Previous, Next                Top


23_a_history_of_qed
I wrote some incomplete notes of this QED's internal workings.

%3 r_0023_0002__wrote wrote r_0023_0001__I I r_0023_0002__wrote->r_0023_0001__I [arg0] r_0023_0003__some_r_0023_0005__notes some notes r_0023_0002__wrote->r_0023_0003__some_r_0023_0005__notes [arg1] r_0023_0004__incomplete incomplete r_0023_0003__some_r_0023_0005__notes->r_0023_0004__incomplete [attrib] r_0023_0011__workings workings r_0023_0003__some_r_0023_0005__notes->r_0023_0011__workings of r_0023_0007__this_r_0023_0008__QED_r_0023_0009___apos_s this QED 's r_0023_0011__workings->r_0023_0007__this_r_0023_0008__QED_r_0023_0009___apos_s [gen] r_0023_0010__internal internal r_0023_0011__workings->r_0023_0010__internal [attrib] 
arc(r_0023_0002__wrote, r_0023_0001__I, arg0).
arc(r_0023_0002__wrote, r_0023_0003__some_r_0023_0005__notes, arg1).
arc(r_0023_0003__some_r_0023_0005__notes, r_0023_0004__incomplete, attrib10).
arc(r_0023_0003__some_r_0023_0005__notes, r_0023_0011__workings, r_0023_0006__of).
arc(r_0023_0011__workings, r_0023_0007__this_r_0023_0008__QED_r_0023_0009___apos_s, gen).
arc(r_0023_0011__workings, r_0023_0010__internal, attrib26).


%3 r_0023_0002__wrote wrote r_0023_0001__I I r_0023_0002__wrote->r_0023_0001__I [arg0] r_0023_0003__some_r_0023_0005__notes some notes r_0023_0002__wrote->r_0023_0003__some_r_0023_0005__notes [arg1] r_0023_0004__incomplete incomplete r_0023_0003__some_r_0023_0005__notes->r_0023_0004__incomplete [attrib] r_0023_0011__workings workings r_0023_0003__some_r_0023_0005__notes->r_0023_0011__workings of r_0023_0007__this_r_0023_0008__QED_r_0023_0009___apos_s this QED 's r_0023_0011__workings->r_0023_0007__this_r_0023_0008__QED_r_0023_0009___apos_s [gen] r_0023_0010__internal internal r_0023_0011__workings->r_0023_0010__internal [attrib] 
fof(formula,axiom,
    ? [R_23_2_WROTE,R_23_1_I,R_23_3_SOME_NOTES,R_23_4_INCOMPLETE,R_23_11_WORKINGS,R_23_10_INTERNAL,R_23_7_THIS_QED_APOS_S] :
      ( i(R_23_1_I)
      & incomplete(R_23_4_INCOMPLETE)
      & internal(R_23_10_INTERNAL)
      & this_QED_apos_s(R_23_7_THIS_QED_APOS_S)
      & wrote(R_23_2_WROTE,R_23_1_I,R_23_3_SOME_NOTES)
      & some_notes(R_23_3_SOME_NOTES)
      & attrib10(R_23_3_SOME_NOTES,R_23_4_INCOMPLETE)
      & of(R_23_3_SOME_NOTES,R_23_11_WORKINGS)
      & workings(R_23_11_WORKINGS)
      & attrib26(R_23_11_WORKINGS,R_23_10_INTERNAL)
      & gen(R_23_11_WORKINGS,R_23_7_THIS_QED_APOS_S) ) ).


n23_a_history_of_qed n23_a_history_of_qed_4 I n23_a_history_of_qed_6 wrote n23_a_history_of_qed_9 some n23_a_history_of_qed_12 incomplete n23_a_history_of_qed_14 notes n23_a_history_of_qed_17 of n23_a_history_of_qed_21 this n23_a_history_of_qed_23 QED n23_a_history_of_qed_25 's n23_a_history_of_qed_28 internal n23_a_history_of_qed_30 workings n23_a_history_of_qed_32 . n23_a_history_of_qed_1 IP-MAT n23_a_history_of_qed_2 NP-SBJ n23_a_history_of_qed_1->n23_a_history_of_qed_2 n23_a_history_of_qed_5 VBD;__ n23_a_history_of_qed_1->n23_a_history_of_qed_5 n23_a_history_of_qed_7 NP-OB1 n23_a_history_of_qed_1->n23_a_history_of_qed_7 n23_a_history_of_qed_31 PUNC n23_a_history_of_qed_1->n23_a_history_of_qed_31 n23_a_history_of_qed_3 PRO n23_a_history_of_qed_2->n23_a_history_of_qed_3 n23_a_history_of_qed_3->n23_a_history_of_qed_4 n23_a_history_of_qed_5->n23_a_history_of_qed_6 n23_a_history_of_qed_8 D n23_a_history_of_qed_7->n23_a_history_of_qed_8 n23_a_history_of_qed_10 ADJP n23_a_history_of_qed_7->n23_a_history_of_qed_10 n23_a_history_of_qed_13 NS n23_a_history_of_qed_7->n23_a_history_of_qed_13 n23_a_history_of_qed_15 PP n23_a_history_of_qed_7->n23_a_history_of_qed_15 n23_a_history_of_qed_8->n23_a_history_of_qed_9 n23_a_history_of_qed_11 ADJ n23_a_history_of_qed_10->n23_a_history_of_qed_11 n23_a_history_of_qed_11->n23_a_history_of_qed_12 n23_a_history_of_qed_13->n23_a_history_of_qed_14 n23_a_history_of_qed_16 P-ROLE n23_a_history_of_qed_15->n23_a_history_of_qed_16 n23_a_history_of_qed_18 NP n23_a_history_of_qed_15->n23_a_history_of_qed_18 n23_a_history_of_qed_16->n23_a_history_of_qed_17 n23_a_history_of_qed_19 NP-GEN n23_a_history_of_qed_18->n23_a_history_of_qed_19 n23_a_history_of_qed_26 ADJP n23_a_history_of_qed_18->n23_a_history_of_qed_26 n23_a_history_of_qed_29 NS n23_a_history_of_qed_18->n23_a_history_of_qed_29 n23_a_history_of_qed_20 D n23_a_history_of_qed_19->n23_a_history_of_qed_20 n23_a_history_of_qed_22 NPR n23_a_history_of_qed_19->n23_a_history_of_qed_22 n23_a_history_of_qed_24 GENM n23_a_history_of_qed_19->n23_a_history_of_qed_24 n23_a_history_of_qed_20->n23_a_history_of_qed_21 n23_a_history_of_qed_22->n23_a_history_of_qed_23 n23_a_history_of_qed_24->n23_a_history_of_qed_25 n23_a_history_of_qed_27 ADJ n23_a_history_of_qed_26->n23_a_history_of_qed_27 n23_a_history_of_qed_27->n23_a_history_of_qed_28 n23_a_history_of_qed_29->n23_a_history_of_qed_30 n23_a_history_of_qed_31->n23_a_history_of_qed_32 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ wrote;{write})
          (NP-OB1;{GECOS_QED_NOTES} (D some;{some})
                                    (ADJP (ADJ incomplete;{incomplete}))
                                    (NS notes;{note})
                                    (PP (P-ROLE of;{of})
                                        (NP (NP-GEN;{GECOS_QED} (D this;{this})
                                                                (NPR QED;{QED})
                                                                (GENM <apos>s))
                                            (ADJP (ADJ internal;{internal}))
                                            (NS workings;{working}))))
          (PUNC .))
  (ID 23_a_history_of_qed))