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

%3 0023_0002__wrote wrote 0023_0001__I I 0023_0002__wrote->0023_0001__I [arg0] 0023_0003__some_0023_0005__notes some_notes 0023_0002__wrote->0023_0003__some_0023_0005__notes [arg1] 0023_0004__incomplete incomplete 0023_0003__some_0023_0005__notes->0023_0004__incomplete [attrib] 0023_0011__workings workings 0023_0003__some_0023_0005__notes->0023_0011__workings of 0023_0007__this_0023_0008__QED this_qed 0023_0011__workings->0023_0007__this_0023_0008__QED [genv] 0023_0010__internal internal 0023_0011__workings->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,attrib).
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,genv).
arc(r_0023_0011__workings,r_0023_0010__internal,attrib).


IP-MAT NP-SBJ PRO I VBD wrote NP-OB1 D some ADJP ADJ incomplete NS notes PP P-ROLE of NP NP-GENV D this NPR QED GENM 's ADJP ADJ internal NS workings PUNC .
( (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-GENV;{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))