Context                Previous, Next                Top


34_a_history_of_qed
(Ryan's UMC notes also talk about an apparently unrelated QED, for “Quick Edit”).

%3 r_0034_0004__UMC_r_0034_0005__notes UMC notes r_0034_0002__Ryan_r_0034_0003___apos_s Ryan 's r_0034_0004__UMC_r_0034_0005__notes->r_0034_0002__Ryan_r_0034_0003___apos_s [gen] r_0034_0007__talk talk r_0034_0007__talk->r_0034_0004__UMC_r_0034_0005__notes [arg0] r_0034_0006__also also r_0034_0007__talk->r_0034_0006__also [nim] r_0034_0009__an_r_0034_0012__QED an QED r_0034_0007__talk->r_0034_0009__an_r_0034_0012__QED about [nim] r_0034_0011__unrelated unrelated r_0034_0009__an_r_0034_0012__QED->r_0034_0011__unrelated [attrib] r_0034_0016__Quick_r_0034_0017__Edit Quick Edit r_0034_0009__an_r_0034_0012__QED->r_0034_0016__Quick_r_0034_0017__Edit for r_0034_0010__apparently apparently r_0034_0011__unrelated->r_0034_0010__apparently [qual] 
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).


%3 r_0034_0004__UMC_r_0034_0005__notes UMC notes r_0034_0002__Ryan_r_0034_0003___apos_s Ryan 's r_0034_0004__UMC_r_0034_0005__notes->r_0034_0002__Ryan_r_0034_0003___apos_s [gen] r_0034_0007__talk talk r_0034_0007__talk->r_0034_0004__UMC_r_0034_0005__notes [arg0] r_0034_0006__also also r_0034_0007__talk->r_0034_0006__also [nim] r_0034_0009__an_r_0034_0012__QED an QED r_0034_0007__talk->r_0034_0009__an_r_0034_0012__QED about [nim] r_0034_0011__unrelated unrelated r_0034_0009__an_r_0034_0012__QED->r_0034_0011__unrelated [attrib] r_0034_0016__Quick_r_0034_0017__Edit Quick Edit r_0034_0009__an_r_0034_0012__QED->r_0034_0016__Quick_r_0034_0017__Edit for r_0034_0010__apparently apparently r_0034_0011__unrelated->r_0034_0010__apparently [qual] 
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) ) ).


n34_a_history_of_qed n34_a_history_of_qed_3 -LRB- n34_a_history_of_qed_7 Ryan n34_a_history_of_qed_9 's n34_a_history_of_qed_11 UMC n34_a_history_of_qed_13 notes n34_a_history_of_qed_16 also n34_a_history_of_qed_18 talk n34_a_history_of_qed_21 about n34_a_history_of_qed_24 an n34_a_history_of_qed_28 apparently n34_a_history_of_qed_30 unrelated n34_a_history_of_qed_32 QED n34_a_history_of_qed_34 , n34_a_history_of_qed_37 for n34_a_history_of_qed_40 <ldquo> n34_a_history_of_qed_42 Quick n34_a_history_of_qed_44 Edit n34_a_history_of_qed_46 <rdquo> n34_a_history_of_qed_48 -RRB- n34_a_history_of_qed_50 . n34_a_history_of_qed_1 IP-MAT n34_a_history_of_qed_2 PULB n34_a_history_of_qed_1->n34_a_history_of_qed_2 n34_a_history_of_qed_4 NP-SBJ n34_a_history_of_qed_1->n34_a_history_of_qed_4 n34_a_history_of_qed_14 ADVP-NIM n34_a_history_of_qed_1->n34_a_history_of_qed_14 n34_a_history_of_qed_17 VBP;__ n34_a_history_of_qed_1->n34_a_history_of_qed_17 n34_a_history_of_qed_19 PP-NIM n34_a_history_of_qed_1->n34_a_history_of_qed_19 n34_a_history_of_qed_47 PURB n34_a_history_of_qed_1->n34_a_history_of_qed_47 n34_a_history_of_qed_49 PUNC n34_a_history_of_qed_1->n34_a_history_of_qed_49 n34_a_history_of_qed_2->n34_a_history_of_qed_3 n34_a_history_of_qed_5 NP-GEN n34_a_history_of_qed_4->n34_a_history_of_qed_5 n34_a_history_of_qed_10 NPR n34_a_history_of_qed_4->n34_a_history_of_qed_10 n34_a_history_of_qed_12 NS n34_a_history_of_qed_4->n34_a_history_of_qed_12 n34_a_history_of_qed_6 NPR n34_a_history_of_qed_5->n34_a_history_of_qed_6 n34_a_history_of_qed_8 GENM n34_a_history_of_qed_5->n34_a_history_of_qed_8 n34_a_history_of_qed_6->n34_a_history_of_qed_7 n34_a_history_of_qed_8->n34_a_history_of_qed_9 n34_a_history_of_qed_10->n34_a_history_of_qed_11 n34_a_history_of_qed_12->n34_a_history_of_qed_13 n34_a_history_of_qed_15 ADV n34_a_history_of_qed_14->n34_a_history_of_qed_15 n34_a_history_of_qed_15->n34_a_history_of_qed_16 n34_a_history_of_qed_17->n34_a_history_of_qed_18 n34_a_history_of_qed_20 P-ROLE n34_a_history_of_qed_19->n34_a_history_of_qed_20 n34_a_history_of_qed_22 NP n34_a_history_of_qed_19->n34_a_history_of_qed_22 n34_a_history_of_qed_20->n34_a_history_of_qed_21 n34_a_history_of_qed_23 D n34_a_history_of_qed_22->n34_a_history_of_qed_23 n34_a_history_of_qed_25 ADJP n34_a_history_of_qed_22->n34_a_history_of_qed_25 n34_a_history_of_qed_31 NPR n34_a_history_of_qed_22->n34_a_history_of_qed_31 n34_a_history_of_qed_33 PUNC n34_a_history_of_qed_22->n34_a_history_of_qed_33 n34_a_history_of_qed_35 PP n34_a_history_of_qed_22->n34_a_history_of_qed_35 n34_a_history_of_qed_23->n34_a_history_of_qed_24 n34_a_history_of_qed_26 ADVP n34_a_history_of_qed_25->n34_a_history_of_qed_26 n34_a_history_of_qed_29 ADJ n34_a_history_of_qed_25->n34_a_history_of_qed_29 n34_a_history_of_qed_27 ADV n34_a_history_of_qed_26->n34_a_history_of_qed_27 n34_a_history_of_qed_27->n34_a_history_of_qed_28 n34_a_history_of_qed_29->n34_a_history_of_qed_30 n34_a_history_of_qed_31->n34_a_history_of_qed_32 n34_a_history_of_qed_33->n34_a_history_of_qed_34 n34_a_history_of_qed_36 P-ROLE n34_a_history_of_qed_35->n34_a_history_of_qed_36 n34_a_history_of_qed_38 NP n34_a_history_of_qed_35->n34_a_history_of_qed_38 n34_a_history_of_qed_36->n34_a_history_of_qed_37 n34_a_history_of_qed_39 PULQ n34_a_history_of_qed_38->n34_a_history_of_qed_39 n34_a_history_of_qed_41 NPR n34_a_history_of_qed_38->n34_a_history_of_qed_41 n34_a_history_of_qed_43 N n34_a_history_of_qed_38->n34_a_history_of_qed_43 n34_a_history_of_qed_45 PURQ n34_a_history_of_qed_38->n34_a_history_of_qed_45 n34_a_history_of_qed_39->n34_a_history_of_qed_40 n34_a_history_of_qed_41->n34_a_history_of_qed_42 n34_a_history_of_qed_43->n34_a_history_of_qed_44 n34_a_history_of_qed_45->n34_a_history_of_qed_46 n34_a_history_of_qed_47->n34_a_history_of_qed_48 n34_a_history_of_qed_49->n34_a_history_of_qed_50 
( (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))