34_a_history_of_qed
(Ryan's UMC notes also talk about an apparently unrelated QED, for “Quick Edit”).
arc(r_0034_0004__UMC_r_0034_0005__notes, r_0034_0002__Ryan_r_0034_0003___apos_s, gen).
arc(r_0034_0007__talk, r_0034_0004__UMC_r_0034_0005__notes, arg0).
arc(r_0034_0007__talk, r_0034_0006__also, nim14).
arc(r_0034_0007__talk, r_0034_0009__an_r_0034_0012__QED, r_0034_0008__about_nim22).
arc(r_0034_0009__an_r_0034_0012__QED, r_0034_0011__unrelated, attrib25).
arc(r_0034_0009__an_r_0034_0012__QED, r_0034_0016__Quick_r_0034_0017__Edit, r_0034_0014__for).
arc(r_0034_0011__unrelated, r_0034_0010__apparently, qual26).
fof(formula,axiom,
? [R_34_7_TALK,R_34_4_UMC_NOTES,R_34_2_RYAN_APOS_S,R_34_6_ALSO,R_34_9_AN_QED,R_34_11_UNRELATED,R_34_10_APPARENTLY,R_34_16_QUICK_EDIT] :
( ryan_apos_s(R_34_2_RYAN_APOS_S)
& also(R_34_6_ALSO)
& apparently(R_34_10_APPARENTLY)
& quick_Edit(R_34_16_QUICK_EDIT)
& talk(R_34_7_TALK,R_34_4_UMC_NOTES)
& uMC_notes(R_34_4_UMC_NOTES)
& gen(R_34_4_UMC_NOTES,R_34_2_RYAN_APOS_S)
& nim14(R_34_7_TALK,R_34_6_ALSO)
& about_nim22(R_34_7_TALK,R_34_9_AN_QED)
& an_QED(R_34_9_AN_QED)
& attrib25(R_34_9_AN_QED,R_34_11_UNRELATED)
& unrelated(R_34_11_UNRELATED)
& qual26(R_34_11_UNRELATED,R_34_10_APPARENTLY)
& for(R_34_9_AN_QED,R_34_16_QUICK_EDIT) ) ).
( (IP-MAT (PULB -LRB-)
(NP-SBJ;{BQED_NOTES} (NP-GEN;{JOSHUA_RYAN} (NPR Ryan;{Ryan})
(GENM <apos>s))
(NPR UMC;{UMC})
(NS notes;{note}))
(ADVP-NIM (ADV also;{also}))
(VBP;__ talk;{talk})
(PP-NIM (P-ROLE about;{about})
(NP (D an;{an})
(ADJP (ADVP (ADV apparently;{apparently}))
(ADJ unrelated;{unrelated}))
(NPR QED;{QED})
(PUNC ,)
(PP (P-ROLE for;{for})
(NP (PULQ <ldquo>)
(NPR Quick;{Quick})
(N Edit;{edit})
(PURQ <rdquo>)))))
(PURB -RRB-)
(PUNC .))
(ID 34_a_history_of_qed))