Context                Previous, Next                Top


1_a_history_of_qed
An incomplete history of the QED Text Editor

%3 r_0001_0001__An_r_0001_0003__history An history r_0001_0002__incomplete incomplete r_0001_0001__An_r_0001_0003__history->r_0001_0002__incomplete [attrib] r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor the QED Text Editor r_0001_0001__An_r_0001_0003__history->r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor of z_000_1_a_history_of_qed_1 z_000_1_a_history_of_qed_1->r_0001_0001__An_r_0001_0003__history [nim] 
arc(r_0001_0001__An_r_0001_0003__history, r_0001_0002__incomplete, attrib5).
arc(r_0001_0001__An_r_0001_0003__history, r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor, r_0001_0004__of).
arc(z_000_1_a_history_of_qed_1, r_0001_0001__An_r_0001_0003__history, nim2).


%3 z_000_1_a_history_of_qed_1 r_0001_0001__An_r_0001_0003__history An history z_000_1_a_history_of_qed_1->r_0001_0001__An_r_0001_0003__history [nim] r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor the QED Text Editor r_0001_0001__An_r_0001_0003__history->r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor of r_0001_0002__incomplete incomplete r_0001_0001__An_r_0001_0003__history->r_0001_0002__incomplete [attrib] 
fof(formula,axiom,
    ? [Z_1_A_HISTORY_OF_QED_1,R_1_1_AN_HISTORY,R_1_2_INCOMPLETE,R_1_5_THE_QED_TEXT_EDITOR] :
      ( incomplete(R_1_2_INCOMPLETE)
      & the_QED_Text_Editor(R_1_5_THE_QED_TEXT_EDITOR)
      & z_1_a_history_of_qed_1(Z_1_A_HISTORY_OF_QED_1)
      & nim2(Z_1_A_HISTORY_OF_QED_1,R_1_1_AN_HISTORY)
      & an_history(R_1_1_AN_HISTORY)
      & attrib5(R_1_1_AN_HISTORY,R_1_2_INCOMPLETE)
      & of(R_1_1_AN_HISTORY,R_1_5_THE_QED_TEXT_EDITOR) ) ).


n1_a_history_of_qed n1_a_history_of_qed__1_1_1_1 An n1_a_history_of_qed__1_1_2_1_1 incomplete n1_a_history_of_qed__1_1_3_1 history n1_a_history_of_qed__1_1_4_1_1 of n1_a_history_of_qed__1_1_4_2_1_1 the n1_a_history_of_qed__1_1_4_2_2_1 QED n1_a_history_of_qed__1_1_4_2_3_1 Text n1_a_history_of_qed__1_1_4_2_4_1 Editor n1_a_history_of_qed__1 FRAG n1_a_history_of_qed__1_1 NP n1_a_history_of_qed__1->n1_a_history_of_qed__1_1 n1_a_history_of_qed__1_1_1 D n1_a_history_of_qed__1_1->n1_a_history_of_qed__1_1_1 n1_a_history_of_qed__1_1_2 ADJP n1_a_history_of_qed__1_1->n1_a_history_of_qed__1_1_2 n1_a_history_of_qed__1_1_3 N n1_a_history_of_qed__1_1->n1_a_history_of_qed__1_1_3 n1_a_history_of_qed__1_1_4 PP n1_a_history_of_qed__1_1->n1_a_history_of_qed__1_1_4 n1_a_history_of_qed__1_1_1->n1_a_history_of_qed__1_1_1_1 n1_a_history_of_qed__1_1_2_1 ADJ n1_a_history_of_qed__1_1_2->n1_a_history_of_qed__1_1_2_1 n1_a_history_of_qed__1_1_2_1->n1_a_history_of_qed__1_1_2_1_1 n1_a_history_of_qed__1_1_3->n1_a_history_of_qed__1_1_3_1 n1_a_history_of_qed__1_1_4_1 P-ROLE n1_a_history_of_qed__1_1_4->n1_a_history_of_qed__1_1_4_1 n1_a_history_of_qed__1_1_4_2 NP n1_a_history_of_qed__1_1_4->n1_a_history_of_qed__1_1_4_2 n1_a_history_of_qed__1_1_4_1->n1_a_history_of_qed__1_1_4_1_1 n1_a_history_of_qed__1_1_4_2_1 D n1_a_history_of_qed__1_1_4_2->n1_a_history_of_qed__1_1_4_2_1 n1_a_history_of_qed__1_1_4_2_2 NPR n1_a_history_of_qed__1_1_4_2->n1_a_history_of_qed__1_1_4_2_2 n1_a_history_of_qed__1_1_4_2_3 NPR n1_a_history_of_qed__1_1_4_2->n1_a_history_of_qed__1_1_4_2_3 n1_a_history_of_qed__1_1_4_2_4 NPR n1_a_history_of_qed__1_1_4_2->n1_a_history_of_qed__1_1_4_2_4 n1_a_history_of_qed__1_1_4_2_1->n1_a_history_of_qed__1_1_4_2_1_1 n1_a_history_of_qed__1_1_4_2_2->n1_a_history_of_qed__1_1_4_2_2_1 n1_a_history_of_qed__1_1_4_2_3->n1_a_history_of_qed__1_1_4_2_3_1 n1_a_history_of_qed__1_1_4_2_4->n1_a_history_of_qed__1_1_4_2_4_1 
( (FRAG (NP (D An;{an})
            (ADJP (ADJ incomplete;{incomplete}))
            (N history;{history})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (NPR QED;{QED})
                    (NPR Text;{Text})
                    (NPR Editor;{Editor})))))
  (ID 1_a_history_of_qed))