Context                Previous, Next                Top


1_a_history_of_qed
An incomplete history of the QED Text Editor

n1_a_history_of_qed n1_a_history_of_qed__1_1_1 An n1_a_history_of_qed__1_2_1_1 incomplete n1_a_history_of_qed__1_3_1 history n1_a_history_of_qed__1_4_1_1 of n1_a_history_of_qed__1_4_2_1_1 the n1_a_history_of_qed__1_4_2_2_1 QED n1_a_history_of_qed__1_4_2_3_1 Text n1_a_history_of_qed__1_4_2_4_1 Editor n1_a_history_of_qed__1 NP n1_a_history_of_qed__1_1 D n1_a_history_of_qed__1->n1_a_history_of_qed__1_1 n1_a_history_of_qed__1_2 ADJP n1_a_history_of_qed__1->n1_a_history_of_qed__1_2 n1_a_history_of_qed__1_3 N n1_a_history_of_qed__1->n1_a_history_of_qed__1_3 n1_a_history_of_qed__1_4 PP n1_a_history_of_qed__1->n1_a_history_of_qed__1_4 n1_a_history_of_qed__1_1->n1_a_history_of_qed__1_1_1 n1_a_history_of_qed__1_2_1 ADJ n1_a_history_of_qed__1_2->n1_a_history_of_qed__1_2_1 n1_a_history_of_qed__1_2_1->n1_a_history_of_qed__1_2_1_1 n1_a_history_of_qed__1_3->n1_a_history_of_qed__1_3_1 n1_a_history_of_qed__1_4_1 P-ROLE n1_a_history_of_qed__1_4->n1_a_history_of_qed__1_4_1 n1_a_history_of_qed__1_4_2 NP n1_a_history_of_qed__1_4->n1_a_history_of_qed__1_4_2 n1_a_history_of_qed__1_4_1->n1_a_history_of_qed__1_4_1_1 n1_a_history_of_qed__1_4_2_1 D n1_a_history_of_qed__1_4_2->n1_a_history_of_qed__1_4_2_1 n1_a_history_of_qed__1_4_2_2 NPR n1_a_history_of_qed__1_4_2->n1_a_history_of_qed__1_4_2_2 n1_a_history_of_qed__1_4_2_3 NPR n1_a_history_of_qed__1_4_2->n1_a_history_of_qed__1_4_2_3 n1_a_history_of_qed__1_4_2_4 NPR n1_a_history_of_qed__1_4_2->n1_a_history_of_qed__1_4_2_4 n1_a_history_of_qed__1_4_2_1->n1_a_history_of_qed__1_4_2_1_1 n1_a_history_of_qed__1_4_2_2->n1_a_history_of_qed__1_4_2_2_1 n1_a_history_of_qed__1_4_2_3->n1_a_history_of_qed__1_4_2_3_1 n1_a_history_of_qed__1_4_2_4->n1_a_history_of_qed__1_4_2_4_1 
( (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))


%3 z_0001_5005 r_0001_0001__An_r_0001_0003__history An history z_0001_5005->r_0001_0001__An_r_0001_0003__history 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] 
arc(r_0001_0001__An_r_0001_0003__history,r_0001_0002__incomplete,attrib).
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_0001_5005,r_0001_0001__An_r_0001_0003__history,z_0001_5002).


%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_0001_5005 z_0001_5005->r_0001_0001__An_r_0001_0003__history 
fof(formula,axiom,
    ? [R_0001_0002__INCOMPLETE,R_0001_0005__THE_R_0001_0006__QED_R_0001_0007__TEXT_R_0001_0008__EDITOR,R_0001_0001__AN_R_0001_0003__HISTORY,Z_0001_5005] :
      ( r_0001_0002__incomplete(R_0001_0002__INCOMPLETE)
      & r_0001_0005__the_r_0001_0006__QED_r_0001_0007__Text_r_0001_0008__Editor(R_0001_0005__THE_R_0001_0006__QED_R_0001_0007__TEXT_R_0001_0008__EDITOR)
      & z_0001_5005(Z_0001_5005)
      & has_z_0001_5002(Z_0001_5005,R_0001_0001__AN_R_0001_0003__HISTORY)
      & r_0001_0001__An_r_0001_0003__history(R_0001_0001__AN_R_0001_0003__HISTORY)
      & has_r_0001_0004__of(R_0001_0001__AN_R_0001_0003__HISTORY,R_0001_0005__THE_R_0001_0006__QED_R_0001_0007__TEXT_R_0001_0008__EDITOR)
      & has_attrib(R_0001_0001__AN_R_0001_0003__HISTORY,R_0001_0002__INCOMPLETE) ) ).