Context                Previous, Next                Top


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

n23_a_history_of_qed n23_a_history_of_qed__1_1_1_1 I n23_a_history_of_qed__1_2_1 wrote n23_a_history_of_qed__1_3_1_1 some n23_a_history_of_qed__1_3_2_1_1 incomplete n23_a_history_of_qed__1_3_3_1 notes n23_a_history_of_qed__1_3_4_1_1 of n23_a_history_of_qed__1_3_4_2_1_1_1 this n23_a_history_of_qed__1_3_4_2_1_2_1 QED n23_a_history_of_qed__1_3_4_2_1_3_1 's n23_a_history_of_qed__1_3_4_2_2_1_1 internal n23_a_history_of_qed__1_3_4_2_3_1 workings n23_a_history_of_qed__1_4_1 . n23_a_history_of_qed__1 IP-MAT n23_a_history_of_qed__1_1 NP-SBJ n23_a_history_of_qed__1->n23_a_history_of_qed__1_1 n23_a_history_of_qed__1_2 VBD;__ n23_a_history_of_qed__1->n23_a_history_of_qed__1_2 n23_a_history_of_qed__1_3 NP-OB1 n23_a_history_of_qed__1->n23_a_history_of_qed__1_3 n23_a_history_of_qed__1_4 PUNC n23_a_history_of_qed__1->n23_a_history_of_qed__1_4 n23_a_history_of_qed__1_1_1 PRO n23_a_history_of_qed__1_1->n23_a_history_of_qed__1_1_1 n23_a_history_of_qed__1_1_1->n23_a_history_of_qed__1_1_1_1 n23_a_history_of_qed__1_2->n23_a_history_of_qed__1_2_1 n23_a_history_of_qed__1_3_1 D n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_1 n23_a_history_of_qed__1_3_2 ADJP n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_2 n23_a_history_of_qed__1_3_3 NS n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_3 n23_a_history_of_qed__1_3_4 PP n23_a_history_of_qed__1_3->n23_a_history_of_qed__1_3_4 n23_a_history_of_qed__1_3_1->n23_a_history_of_qed__1_3_1_1 n23_a_history_of_qed__1_3_2_1 ADJ n23_a_history_of_qed__1_3_2->n23_a_history_of_qed__1_3_2_1 n23_a_history_of_qed__1_3_2_1->n23_a_history_of_qed__1_3_2_1_1 n23_a_history_of_qed__1_3_3->n23_a_history_of_qed__1_3_3_1 n23_a_history_of_qed__1_3_4_1 P-ROLE n23_a_history_of_qed__1_3_4->n23_a_history_of_qed__1_3_4_1 n23_a_history_of_qed__1_3_4_2 NP n23_a_history_of_qed__1_3_4->n23_a_history_of_qed__1_3_4_2 n23_a_history_of_qed__1_3_4_1->n23_a_history_of_qed__1_3_4_1_1 n23_a_history_of_qed__1_3_4_2_1 NP-GEN n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_1 n23_a_history_of_qed__1_3_4_2_2 ADJP n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_2 n23_a_history_of_qed__1_3_4_2_3 NS n23_a_history_of_qed__1_3_4_2->n23_a_history_of_qed__1_3_4_2_3 n23_a_history_of_qed__1_3_4_2_1_1 D n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_1 n23_a_history_of_qed__1_3_4_2_1_2 NPR n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_2 n23_a_history_of_qed__1_3_4_2_1_3 GENM n23_a_history_of_qed__1_3_4_2_1->n23_a_history_of_qed__1_3_4_2_1_3 n23_a_history_of_qed__1_3_4_2_1_1->n23_a_history_of_qed__1_3_4_2_1_1_1 n23_a_history_of_qed__1_3_4_2_1_2->n23_a_history_of_qed__1_3_4_2_1_2_1 n23_a_history_of_qed__1_3_4_2_1_3->n23_a_history_of_qed__1_3_4_2_1_3_1 n23_a_history_of_qed__1_3_4_2_2_1 ADJ n23_a_history_of_qed__1_3_4_2_2->n23_a_history_of_qed__1_3_4_2_2_1 n23_a_history_of_qed__1_3_4_2_2_1->n23_a_history_of_qed__1_3_4_2_2_1_1 n23_a_history_of_qed__1_3_4_2_3->n23_a_history_of_qed__1_3_4_2_3_1 n23_a_history_of_qed__1_4->n23_a_history_of_qed__1_4_1 
( (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-GEN;{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))


%3 r_0023_0011__workings workings r_0023_0010__internal internal r_0023_0011__workings->r_0023_0010__internal [attrib] r_0023_0007__this_r_0023_0008__QED this QED r_0023_0011__workings->r_0023_0007__this_r_0023_0008__QED [gen] r_0023_0003__some_r_0023_0005__notes some notes r_0023_0003__some_r_0023_0005__notes->r_0023_0011__workings of r_0023_0004__incomplete incomplete r_0023_0003__some_r_0023_0005__notes->r_0023_0004__incomplete [attrib] r_0023_0002__wrote wrote r_0023_0002__wrote->r_0023_0003__some_r_0023_0005__notes [arg1] r_0023_0001__I I r_0023_0002__wrote->r_0023_0001__I [arg0] 
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,gen).
arc(r_0023_0011__workings,r_0023_0010__internal,attrib).


%3 r_0023_0002__wrote wrote r_0023_0001__I I r_0023_0002__wrote->r_0023_0001__I [arg0] r_0023_0003__some_r_0023_0005__notes some notes r_0023_0002__wrote->r_0023_0003__some_r_0023_0005__notes [arg1] r_0023_0004__incomplete incomplete r_0023_0003__some_r_0023_0005__notes->r_0023_0004__incomplete [attrib] r_0023_0011__workings workings r_0023_0003__some_r_0023_0005__notes->r_0023_0011__workings of r_0023_0007__this_r_0023_0008__QED this QED r_0023_0011__workings->r_0023_0007__this_r_0023_0008__QED [gen] r_0023_0010__internal internal r_0023_0011__workings->r_0023_0010__internal [attrib] 
fof(formula,axiom,
    ? [R_0023_0001__I,R_0023_0004__INCOMPLETE,R_0023_0007__THIS_R_0023_0008__QED,R_0023_0010__INTERNAL,R_0023_0011__WORKINGS,R_0023_0003__SOME_R_0023_0005__NOTES,R_0023_0002__WROTE] :
      ( r_0023_0001__I(R_0023_0001__I)
      & r_0023_0004__incomplete(R_0023_0004__INCOMPLETE)
      & r_0023_0007__this_r_0023_0008__QED(R_0023_0007__THIS_R_0023_0008__QED)
      & r_0023_0010__internal(R_0023_0010__INTERNAL)
      & r_0023_0002__wrote(R_0023_0002__WROTE)
      & has_arg1(R_0023_0002__WROTE,R_0023_0003__SOME_R_0023_0005__NOTES)
      & ~ ( has_r_0023_0006__of(R_0023_0003__SOME_R_0023_0005__NOTES,R_0023_0011__WORKINGS)
          & r_0023_0011__workings(R_0023_0011__WORKINGS)
          & has_attrib(R_0023_0011__WORKINGS,R_0023_0010__INTERNAL)
          & has_gen(R_0023_0011__WORKINGS,R_0023_0007__THIS_R_0023_0008__QED)
          & has_attrib(R_0023_0003__SOME_R_0023_0005__NOTES,R_0023_0004__INCOMPLETE) )
      & has_arg0(R_0023_0002__WROTE,R_0023_0001__I) ) ).