23_a_history_of_qed
I wrote some incomplete notes of this QED 's internal workings .
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;{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))