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 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] 
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_4 An n1_a_history_of_qed_7 incomplete n1_a_history_of_qed_9 history n1_a_history_of_qed_12 of n1_a_history_of_qed_15 the n1_a_history_of_qed_17 QED n1_a_history_of_qed_19 Text n1_a_history_of_qed_21 Editor n1_a_history_of_qed_1 FRAG n1_a_history_of_qed_2 NP n1_a_history_of_qed_1->n1_a_history_of_qed_2 n1_a_history_of_qed_3 D n1_a_history_of_qed_2->n1_a_history_of_qed_3 n1_a_history_of_qed_5 ADJP n1_a_history_of_qed_2->n1_a_history_of_qed_5 n1_a_history_of_qed_8 N n1_a_history_of_qed_2->n1_a_history_of_qed_8 n1_a_history_of_qed_10 PP n1_a_history_of_qed_2->n1_a_history_of_qed_10 n1_a_history_of_qed_3->n1_a_history_of_qed_4 n1_a_history_of_qed_6 ADJ n1_a_history_of_qed_5->n1_a_history_of_qed_6 n1_a_history_of_qed_6->n1_a_history_of_qed_7 n1_a_history_of_qed_8->n1_a_history_of_qed_9 n1_a_history_of_qed_11 P-ROLE n1_a_history_of_qed_10->n1_a_history_of_qed_11 n1_a_history_of_qed_13 NP n1_a_history_of_qed_10->n1_a_history_of_qed_13 n1_a_history_of_qed_11->n1_a_history_of_qed_12 n1_a_history_of_qed_14 D n1_a_history_of_qed_13->n1_a_history_of_qed_14 n1_a_history_of_qed_16 NPR n1_a_history_of_qed_13->n1_a_history_of_qed_16 n1_a_history_of_qed_18 NPR n1_a_history_of_qed_13->n1_a_history_of_qed_18 n1_a_history_of_qed_20 NPR n1_a_history_of_qed_13->n1_a_history_of_qed_20 n1_a_history_of_qed_14->n1_a_history_of_qed_15 n1_a_history_of_qed_16->n1_a_history_of_qed_17 n1_a_history_of_qed_18->n1_a_history_of_qed_19 n1_a_history_of_qed_20->n1_a_history_of_qed_21 
( (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))