1_a_history_of_qed
An incomplete history of the QED Text Editor
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).
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_000_1_A_HISTORY_OF_QED_1] :
( 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_000_1_a_history_of_qed_1(Z_000_1_A_HISTORY_OF_QED_1)
& has_nim2(Z_000_1_A_HISTORY_OF_QED_1,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_attrib5(R_0001_0001__AN_R_0001_0003__HISTORY,R_0001_0002__INCOMPLETE) ) ).
( (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))