arc(r_0033_0003__has, r_0033_0001__BQED, arg0).
arc(r_0033_0003__has, r_0033_0002__actually, nim7).
arc(r_0033_0003__has, r_0033_0007__purpose_r_0033_0008__commands, arg1).
arc(r_0033_0007__purpose_r_0033_0008__commands, r_0033_0004__fewer, attrib13).
arc(r_0033_0007__purpose_r_0033_0008__commands, r_0033_0005__general, attrib16).
arc(r_0033_0007__purpose_r_0033_0008__commands, r_0033_0010__EDIT, r_0033_0009__than).
arc(r_0033_0014__these_r_0033_0018__commands, r_0033_0017__stated, attrib45).
arc(r_0033_0017__stated, r_0033_0015__concisely, qual46).
arc(r_0033_0019__can, r_0033_0021__be, scope).
arc(r_0033_0020__not, r_0033_0019__can, keep_scope).
arc(r_0033_0021__be, r_0033_0022__performed, scope).
arc(r_0033_0022__performed, r_0033_0024__the_r_0033_0026__editors, arg0).
arc(r_0033_0022__performed, z_000_33_a_history_of_qed_35, arg1).
arc(r_0033_0024__the_r_0033_0026__editors, r_0033_0025__other, attrib71).
arc(z_000_33_a_history_of_qed_2, r_0033_0003__has, conj1).
arc(z_000_33_a_history_of_qed_2, r_0033_0020__not, conj2).
arc(z_000_33_a_history_of_qed_35, r_0033_0012__many, attrib36).
arc(z_000_33_a_history_of_qed_35, r_0033_0014__these_r_0033_0018__commands, r_0033_0013__of).

fof(formula,axiom,
    ? [R_0033_0001__BQED,R_0033_0002__ACTUALLY,R_0033_0004__FEWER,R_0033_0005__GENERAL,R_0033_0010__EDIT,R_0033_0007__PURPOSE_R_0033_0008__COMMANDS,R_0033_0003__HAS,Z_000_33_A_HISTORY_OF_QED_2] :
      ( r_0033_0001__BQED(R_0033_0001__BQED)
      & r_0033_0002__actually(R_0033_0002__ACTUALLY)
      & r_0033_0004__fewer(R_0033_0004__FEWER)
      & r_0033_0005__general(R_0033_0005__GENERAL)
      & r_0033_0010__EDIT(R_0033_0010__EDIT)
      & z_000_33_a_history_of_qed_2(Z_000_33_A_HISTORY_OF_QED_2)
      & has_conj2(Z_000_33_A_HISTORY_OF_QED_2,R_0033_0020__NOT)
      & ~ ? [R_0033_0025__OTHER,R_0033_0024__THE_R_0033_0026__EDITORS,R_0033_0012__MANY,R_0033_0015__CONCISELY,R_0033_0017__STATED,R_0033_0014__THESE_R_0033_0018__COMMANDS,Z_000_33_A_HISTORY_OF_QED_35,R_0033_0019__CAN_R_0033_0021__BE_R_0033_0022__PERFORMED] :
            ( r_0033_0012__many(R_0033_0012__MANY)
            & r_0033_0015__concisely(R_0033_0015__CONCISELY)
            & r_0033_0025__other(R_0033_0025__OTHER)
            & r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed(R_0033_0019__CAN_R_0033_0021__BE_R_0033_0022__PERFORMED)
            & has_arg1(R_0033_0019__CAN_R_0033_0021__BE_R_0033_0022__PERFORMED,Z_000_33_A_HISTORY_OF_QED_35)
            & z_000_33_a_history_of_qed_35(Z_000_33_A_HISTORY_OF_QED_35)
            & has_r_0033_0013__of(Z_000_33_A_HISTORY_OF_QED_35,R_0033_0014__THESE_R_0033_0018__COMMANDS)
            & r_0033_0014__these_r_0033_0018__commands(R_0033_0014__THESE_R_0033_0018__COMMANDS)
            & has_attrib45(R_0033_0014__THESE_R_0033_0018__COMMANDS,R_0033_0017__STATED)
            & r_0033_0017__stated(R_0033_0017__STATED)
            & has_qual46(R_0033_0017__STATED,R_0033_0015__CONCISELY)
            & has_attrib36(Z_000_33_A_HISTORY_OF_QED_35,R_0033_0012__MANY)
            & has_arg0(R_0033_0019__CAN_R_0033_0021__BE_R_0033_0022__PERFORMED,R_0033_0024__THE_R_0033_0026__EDITORS)
            & r_0033_0024__the_r_0033_0026__editors(R_0033_0024__THE_R_0033_0026__EDITORS)
            & has_attrib71(R_0033_0024__THE_R_0033_0026__EDITORS,R_0033_0025__OTHER) )
      & has_conj1(Z_000_33_A_HISTORY_OF_QED_2,R_0033_0003__HAS)
      & r_0033_0003__has(R_0033_0003__HAS)
      & has_arg1(R_0033_0003__HAS,R_0033_0007__PURPOSE_R_0033_0008__COMMANDS)
      & r_0033_0007__purpose_r_0033_0008__commands(R_0033_0007__PURPOSE_R_0033_0008__COMMANDS)
      & has_r_0033_0009__than(R_0033_0007__PURPOSE_R_0033_0008__COMMANDS,R_0033_0010__EDIT)
      & has_attrib16(R_0033_0007__PURPOSE_R_0033_0008__COMMANDS,R_0033_0005__GENERAL)
      & has_attrib13(R_0033_0007__PURPOSE_R_0033_0008__COMMANDS,R_0033_0004__FEWER)
      & has_nim7(R_0033_0003__HAS,R_0033_0002__ACTUALLY)
      & has_arg0(R_0033_0003__HAS,R_0033_0001__BQED) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{BQED} (NPR BQED;{BQED}))
                      (ADVP-NIM (ADV actually;{actually}))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (ADJP (ADJR fewer;{few}))
                              (ADJP (ADJ general;{general}))
                              (PUNC <hyphen>)
                              (N purpose;{purpose})
                              (NS commands;{command})
                              (PP (P-ROLE than;{than})
                                  (NP (NPR EDIT;{EDIT})))))
                (PUNC ....)
                (CONJP (ILYR (NP-SBJ (ADJP (ADJ many;{many}))
                                     (PP (P-ROLE of;{of})
                                         (NP (D these;{these})
                                             (ADJP (ADVP (ADV concisely;{concisely}))
                                                   (PUNC <hyphen>)
                                                   (VVN;__ stated;{state}))
                                             (NS commands;{command}))))
                             (MD;_cat_Vi_ can;{can})
                             (NEG not;{not})
                             (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (VVN;_Tn_ performed;{perform})
                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                             (NP (D the;{the})
                                                                 (ADJP (ADJ other;{other}))
                                                                 (NS editors;{editor})))))))
                (PUNC .)
                (PURQ <rdquo>)))
  (ID 33_a_history_of_qed))