Context                Previous, Next                Top


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

n34_a_history_of_qed n34_a_history_of_qed__1_1_1 -LRB- n34_a_history_of_qed__1_2_1_1_1 Ryan n34_a_history_of_qed__1_2_1_2_1 's n34_a_history_of_qed__1_2_2_1 UMC n34_a_history_of_qed__1_2_3_1 notes n34_a_history_of_qed__1_3_1_1 also n34_a_history_of_qed__1_4_1 talk n34_a_history_of_qed__1_5_1_1 about n34_a_history_of_qed__1_5_2_1_1 an n34_a_history_of_qed__1_5_2_2_1_1_1 apparently n34_a_history_of_qed__1_5_2_2_2_1 unrelated n34_a_history_of_qed__1_5_2_3_1 QED n34_a_history_of_qed__1_5_2_4_1 , n34_a_history_of_qed__1_5_2_5_1_1 for n34_a_history_of_qed__1_5_2_5_2_1_1 <ldquo> n34_a_history_of_qed__1_5_2_5_2_2_1 Quick n34_a_history_of_qed__1_5_2_5_2_3_1 Edit n34_a_history_of_qed__1_5_2_5_2_4_1 <rdquo> n34_a_history_of_qed__1_6_1 -RRB- n34_a_history_of_qed__1_7_1 . n34_a_history_of_qed__1 IP-MAT n34_a_history_of_qed__1_1 PULB n34_a_history_of_qed__1->n34_a_history_of_qed__1_1 n34_a_history_of_qed__1_2 NP-SBJ n34_a_history_of_qed__1->n34_a_history_of_qed__1_2 n34_a_history_of_qed__1_3 ADVP-NIM n34_a_history_of_qed__1->n34_a_history_of_qed__1_3 n34_a_history_of_qed__1_4 VBP;__ n34_a_history_of_qed__1->n34_a_history_of_qed__1_4 n34_a_history_of_qed__1_5 PP-NIM n34_a_history_of_qed__1->n34_a_history_of_qed__1_5 n34_a_history_of_qed__1_6 PURB n34_a_history_of_qed__1->n34_a_history_of_qed__1_6 n34_a_history_of_qed__1_7 PUNC n34_a_history_of_qed__1->n34_a_history_of_qed__1_7 n34_a_history_of_qed__1_1->n34_a_history_of_qed__1_1_1 n34_a_history_of_qed__1_2_1 NP-GEN n34_a_history_of_qed__1_2->n34_a_history_of_qed__1_2_1 n34_a_history_of_qed__1_2_2 NPR n34_a_history_of_qed__1_2->n34_a_history_of_qed__1_2_2 n34_a_history_of_qed__1_2_3 NS n34_a_history_of_qed__1_2->n34_a_history_of_qed__1_2_3 n34_a_history_of_qed__1_2_1_1 NPR n34_a_history_of_qed__1_2_1->n34_a_history_of_qed__1_2_1_1 n34_a_history_of_qed__1_2_1_2 GENM n34_a_history_of_qed__1_2_1->n34_a_history_of_qed__1_2_1_2 n34_a_history_of_qed__1_2_1_1->n34_a_history_of_qed__1_2_1_1_1 n34_a_history_of_qed__1_2_1_2->n34_a_history_of_qed__1_2_1_2_1 n34_a_history_of_qed__1_2_2->n34_a_history_of_qed__1_2_2_1 n34_a_history_of_qed__1_2_3->n34_a_history_of_qed__1_2_3_1 n34_a_history_of_qed__1_3_1 ADV n34_a_history_of_qed__1_3->n34_a_history_of_qed__1_3_1 n34_a_history_of_qed__1_3_1->n34_a_history_of_qed__1_3_1_1 n34_a_history_of_qed__1_4->n34_a_history_of_qed__1_4_1 n34_a_history_of_qed__1_5_1 P-ROLE n34_a_history_of_qed__1_5->n34_a_history_of_qed__1_5_1 n34_a_history_of_qed__1_5_2 NP n34_a_history_of_qed__1_5->n34_a_history_of_qed__1_5_2 n34_a_history_of_qed__1_5_1->n34_a_history_of_qed__1_5_1_1 n34_a_history_of_qed__1_5_2_1 D n34_a_history_of_qed__1_5_2->n34_a_history_of_qed__1_5_2_1 n34_a_history_of_qed__1_5_2_2 ADJP n34_a_history_of_qed__1_5_2->n34_a_history_of_qed__1_5_2_2 n34_a_history_of_qed__1_5_2_3 NPR n34_a_history_of_qed__1_5_2->n34_a_history_of_qed__1_5_2_3 n34_a_history_of_qed__1_5_2_4 PUNC n34_a_history_of_qed__1_5_2->n34_a_history_of_qed__1_5_2_4 n34_a_history_of_qed__1_5_2_5 PP n34_a_history_of_qed__1_5_2->n34_a_history_of_qed__1_5_2_5 n34_a_history_of_qed__1_5_2_1->n34_a_history_of_qed__1_5_2_1_1 n34_a_history_of_qed__1_5_2_2_1 ADVP n34_a_history_of_qed__1_5_2_2->n34_a_history_of_qed__1_5_2_2_1 n34_a_history_of_qed__1_5_2_2_2 ADJ n34_a_history_of_qed__1_5_2_2->n34_a_history_of_qed__1_5_2_2_2 n34_a_history_of_qed__1_5_2_2_1_1 ADV n34_a_history_of_qed__1_5_2_2_1->n34_a_history_of_qed__1_5_2_2_1_1 n34_a_history_of_qed__1_5_2_2_1_1->n34_a_history_of_qed__1_5_2_2_1_1_1 n34_a_history_of_qed__1_5_2_2_2->n34_a_history_of_qed__1_5_2_2_2_1 n34_a_history_of_qed__1_5_2_3->n34_a_history_of_qed__1_5_2_3_1 n34_a_history_of_qed__1_5_2_4->n34_a_history_of_qed__1_5_2_4_1 n34_a_history_of_qed__1_5_2_5_1 P-ROLE n34_a_history_of_qed__1_5_2_5->n34_a_history_of_qed__1_5_2_5_1 n34_a_history_of_qed__1_5_2_5_2 NP n34_a_history_of_qed__1_5_2_5->n34_a_history_of_qed__1_5_2_5_2 n34_a_history_of_qed__1_5_2_5_1->n34_a_history_of_qed__1_5_2_5_1_1 n34_a_history_of_qed__1_5_2_5_2_1 PULQ n34_a_history_of_qed__1_5_2_5_2->n34_a_history_of_qed__1_5_2_5_2_1 n34_a_history_of_qed__1_5_2_5_2_2 NPR n34_a_history_of_qed__1_5_2_5_2->n34_a_history_of_qed__1_5_2_5_2_2 n34_a_history_of_qed__1_5_2_5_2_3 N n34_a_history_of_qed__1_5_2_5_2->n34_a_history_of_qed__1_5_2_5_2_3 n34_a_history_of_qed__1_5_2_5_2_4 PURQ n34_a_history_of_qed__1_5_2_5_2->n34_a_history_of_qed__1_5_2_5_2_4 n34_a_history_of_qed__1_5_2_5_2_1->n34_a_history_of_qed__1_5_2_5_2_1_1 n34_a_history_of_qed__1_5_2_5_2_2->n34_a_history_of_qed__1_5_2_5_2_2_1 n34_a_history_of_qed__1_5_2_5_2_3->n34_a_history_of_qed__1_5_2_5_2_3_1 n34_a_history_of_qed__1_5_2_5_2_4->n34_a_history_of_qed__1_5_2_5_2_4_1 n34_a_history_of_qed__1_6->n34_a_history_of_qed__1_6_1 n34_a_history_of_qed__1_7->n34_a_history_of_qed__1_7_1 
( (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))


%3 r_0034_0011__unrelated unrelated r_0034_0010__apparently apparently r_0034_0011__unrelated->r_0034_0010__apparently [qual] r_0034_0009__an_r_0034_0012__QED an QED 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_0007__talk talk r_0034_0007__talk->r_0034_0009__an_r_0034_0012__QED about [nim] r_0034_0006__also also r_0034_0007__talk->r_0034_0006__also [nim] r_0034_0004__UMC_r_0034_0005__notes UMC notes r_0034_0007__talk->r_0034_0004__UMC_r_0034_0005__notes [arg0] r_0034_0002__Ryan Ryan r_0034_0004__UMC_r_0034_0005__notes->r_0034_0002__Ryan [gen] 
arc(r_0034_0004__UMC_r_0034_0005__notes,r_0034_0002__Ryan,gen).
arc(r_0034_0007__talk,r_0034_0004__UMC_r_0034_0005__notes,arg0).
arc(r_0034_0007__talk,r_0034_0006__also,nim).
arc(r_0034_0007__talk,r_0034_0009__an_r_0034_0012__QED,r_0034_0008__about__nim).
arc(r_0034_0009__an_r_0034_0012__QED,r_0034_0011__unrelated,attrib).
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,qual).


%3 r_0034_0004__UMC_r_0034_0005__notes UMC notes r_0034_0002__Ryan Ryan r_0034_0004__UMC_r_0034_0005__notes->r_0034_0002__Ryan [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_0034_0002__RYAN,R_0034_0004__UMC_R_0034_0005__NOTES,R_0034_0006__ALSO,R_0034_0010__APPARENTLY,R_0034_0011__UNRELATED,R_0034_0016__QUICK_R_0034_0017__EDIT,R_0034_0009__AN_R_0034_0012__QED,R_0034_0007__TALK] :
      ( r_0034_0002__Ryan(R_0034_0002__RYAN)
      & r_0034_0006__also(R_0034_0006__ALSO)
      & r_0034_0010__apparently(R_0034_0010__APPARENTLY)
      & r_0034_0016__Quick_r_0034_0017__Edit(R_0034_0016__QUICK_R_0034_0017__EDIT)
      & r_0034_0007__talk(R_0034_0007__TALK)
      & has_r_0034_0008__about__nim(R_0034_0007__TALK,R_0034_0009__AN_R_0034_0012__QED)
      & r_0034_0009__an_r_0034_0012__QED(R_0034_0009__AN_R_0034_0012__QED)
      & has_r_0034_0014__for(R_0034_0009__AN_R_0034_0012__QED,R_0034_0016__QUICK_R_0034_0017__EDIT)
      & has_attrib(R_0034_0009__AN_R_0034_0012__QED,R_0034_0011__UNRELATED)
      & r_0034_0011__unrelated(R_0034_0011__UNRELATED)
      & has_qual(R_0034_0011__UNRELATED,R_0034_0010__APPARENTLY)
      & has_nim(R_0034_0007__TALK,R_0034_0006__ALSO)
      & has_arg0(R_0034_0007__TALK,R_0034_0004__UMC_R_0034_0005__NOTES)
      & ~ has_gen(R_0034_0004__UMC_R_0034_0005__NOTES,R_0034_0002__RYAN) ) ).