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_0011__workings workings r_0023_0010__internal internal r_0023_0011__workings->r_0023_0010__internal [attrib] 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_0003__some_r_0023_0005__notes some notes r_0023_0003__some_r_0023_0005__notes->r_0023_0011__workings of r_0023_0004__incomplete incomplete r_0023_0003__some_r_0023_0005__notes->r_0023_0004__incomplete [attrib] r_0023_0002__wrote wrote r_0023_0002__wrote->r_0023_0003__some_r_0023_0005__notes [arg1] r_0023_0001__I I r_0023_0002__wrote->r_0023_0001__I [arg0] 
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__1_1_1_1 I n23_a_history_of_qed__1_2_1 wrote n23_a_history_of_qed__1_3_1_1 some n23_a_history_of_qed__1_3_2_1_1 incomplete n23_a_history_of_qed__1_3_3_1 notes n23_a_history_of_qed__1_3_4_1_1 of n23_a_history_of_qed__1_3_4_2_1_1_1 this n23_a_history_of_qed__1_3_4_2_1_2_1 QED n23_a_history_of_qed__1_3_4_2_1_3_1 's n23_a_history_of_qed__1_3_4_2_2_1_1 internal n23_a_history_of_qed__1_3_4_2_3_1 workings n23_a_history_of_qed__1_4_1 . n23_a_history_of_qed__1 IP-MAT n23_a_history_of_qed__1_1 NP-SBJ n23_a_history_of_qed__1->n23_a_history_of_qed__1_1 n23_a_history_of_qed__1_2 VBD;__ n23_a_history_of_qed__1->n23_a_history_of_qed__1_2 n23_a_history_of_qed__1_3 NP-OB1 n23_a_history_of_qed__1->n23_a_history_of_qed__1_3 n23_a_history_of_qed__1_4 PUNC n23_a_history_of_qed__1->n23_a_history_of_qed__1_4 n23_a_history_of_qed__1_1_1 PRO n23_a_history_of_qed__1_1->n23_a_history_of_qed__1_1_1 n23_a_history_of_qed__1_1_1->n23_a_history_of_qed__1_1_1_1 n23_a_history_of_qed__1_2->n23_a_history_of_qed__1_2_1 n23_a_history_of_qed__1_3_1 D n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_1 n23_a_history_of_qed__1_3_2 ADJP n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_2 n23_a_history_of_qed__1_3_3 NS n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_3 n23_a_history_of_qed__1_3_4 PP n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_4 n23_a_history_of_qed__1_3_1->n23_a_history_of_qed__1_3_1_1 n23_a_history_of_qed__1_3_2_1 ADJ n23_a_history_of_qed__1_3_2->n23_a_history_of_qed__1_3_2_1 n23_a_history_of_qed__1_3_2_1->n23_a_history_of_qed__1_3_2_1_1 n23_a_history_of_qed__1_3_3->n23_a_history_of_qed__1_3_3_1 n23_a_history_of_qed__1_3_4_1 P-ROLE n23_a_history_of_qed__1_3_4->n23_a_history_of_qed__1_3_4_1 n23_a_history_of_qed__1_3_4_2 NP n23_a_history_of_qed__1_3_4->n23_a_history_of_qed__1_3_4_2 n23_a_history_of_qed__1_3_4_1->n23_a_history_of_qed__1_3_4_1_1 n23_a_history_of_qed__1_3_4_2_1 NP-GEN n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_1 n23_a_history_of_qed__1_3_4_2_2 ADJP n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_2 n23_a_history_of_qed__1_3_4_2_3 NS n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_3 n23_a_history_of_qed__1_3_4_2_1_1 D n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_1 n23_a_history_of_qed__1_3_4_2_1_2 NPR n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_2 n23_a_history_of_qed__1_3_4_2_1_3 GENM n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_3 n23_a_history_of_qed__1_3_4_2_1_1->n23_a_history_of_qed__1_3_4_2_1_1_1 n23_a_history_of_qed__1_3_4_2_1_2->n23_a_history_of_qed__1_3_4_2_1_2_1 n23_a_history_of_qed__1_3_4_2_1_3->n23_a_history_of_qed__1_3_4_2_1_3_1 n23_a_history_of_qed__1_3_4_2_2_1 ADJ n23_a_history_of_qed__1_3_4_2_2->n23_a_history_of_qed__1_3_4_2_2_1 n23_a_history_of_qed__1_3_4_2_2_1->n23_a_history_of_qed__1_3_4_2_2_1_1 n23_a_history_of_qed__1_3_4_2_3->n23_a_history_of_qed__1_3_4_2_3_1 n23_a_history_of_qed__1_4->n23_a_history_of_qed__1_4_1 
( (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))