Context                Previous, Next                Top


33_a_history_of_qed
BQED actually has fewer general - purpose commands than EDIT.... many of these concisely - stated commands can not be performed by the other editors.”

%3 r_0033_0003__has has r_0033_0001__BQED BQED r_0033_0003__has->r_0033_0001__BQED [arg0] r_0033_0002__actually actually r_0033_0003__has->r_0033_0002__actually [nim] r_0033_0007__purpose_r_0033_0008__commands purpose commands r_0033_0003__has->r_0033_0007__purpose_r_0033_0008__commands [arg1] r_0033_0004__fewer fewer r_0033_0007__purpose_r_0033_0008__commands->r_0033_0004__fewer [attrib] r_0033_0005__general general r_0033_0007__purpose_r_0033_0008__commands->r_0033_0005__general [attrib] r_0033_0010__EDIT EDIT r_0033_0007__purpose_r_0033_0008__commands->r_0033_0010__EDIT than r_0033_0014__these_r_0033_0018__commands these commands r_0033_0017__stated stated r_0033_0014__these_r_0033_0018__commands->r_0033_0017__stated [attrib] r_0033_0015__concisely concisely r_0033_0017__stated->r_0033_0015__concisely [qual] r_0033_0019__can can r_0033_0021__be be r_0033_0019__can->r_0033_0021__be [scope] r_0033_0022__performed performed r_0033_0021__be->r_0033_0022__performed [scope] r_0033_0020__not not r_0033_0020__not->r_0033_0019__can [keep_scope] r_0033_0024__the_r_0033_0026__editors the editors r_0033_0022__performed->r_0033_0024__the_r_0033_0026__editors [arg0] z_000_33_a_history_of_qed_35 r_0033_0022__performed->z_000_33_a_history_of_qed_35 [arg1] r_0033_0025__other other r_0033_0024__the_r_0033_0026__editors->r_0033_0025__other [attrib] z_000_33_a_history_of_qed_35->r_0033_0014__these_r_0033_0018__commands of r_0033_0012__many many z_000_33_a_history_of_qed_35->r_0033_0012__many [attrib] z_000_33_a_history_of_qed_2 z_000_33_a_history_of_qed_2->r_0033_0003__has [conj1] z_000_33_a_history_of_qed_2->r_0033_0020__not [conj2] 
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).


%3 r_0033_0003__has has r_0033_0001__BQED BQED r_0033_0003__has->r_0033_0001__BQED [arg0] r_0033_0002__actually actually r_0033_0003__has->r_0033_0002__actually [nim] r_0033_0007__purpose_r_0033_0008__commands purpose commands r_0033_0003__has->r_0033_0007__purpose_r_0033_0008__commands [arg1] r_0033_0004__fewer fewer r_0033_0007__purpose_r_0033_0008__commands->r_0033_0004__fewer [attrib] r_0033_0005__general general r_0033_0007__purpose_r_0033_0008__commands->r_0033_0005__general [attrib] r_0033_0010__EDIT EDIT r_0033_0007__purpose_r_0033_0008__commands->r_0033_0010__EDIT than r_0033_0014__these_r_0033_0018__commands these commands r_0033_0017__stated stated r_0033_0014__these_r_0033_0018__commands->r_0033_0017__stated [attrib] r_0033_0015__concisely concisely r_0033_0017__stated->r_0033_0015__concisely [qual] r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed can be performed r_0033_0024__the_r_0033_0026__editors the editors r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed->r_0033_0024__the_r_0033_0026__editors [arg0] z_000_33_a_history_of_qed_35 r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed->z_000_33_a_history_of_qed_35 [arg1] r_0033_0025__other other r_0033_0024__the_r_0033_0026__editors->r_0033_0025__other [attrib] z_000_33_a_history_of_qed_35->r_0033_0014__these_r_0033_0018__commands of r_0033_0012__many many z_000_33_a_history_of_qed_35->r_0033_0012__many [attrib] r_0033_0020__not not r_0033_0020__not->r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed [keep_scope] z_000_33_a_history_of_qed_2 z_000_33_a_history_of_qed_2->r_0033_0003__has [conj1] z_000_33_a_history_of_qed_2->r_0033_0020__not [conj2] 
fof(formula,axiom,
    ? [Z_33_A_HISTORY_OF_QED_2,R_33_3_HAS,R_33_1_BQED,R_33_7_PURPOSE_COMMANDS,R_33_4_FEWER,R_33_5_GENERAL,R_33_10_EDIT,R_33_2_ACTUALLY] :
      ( bQED(R_33_1_BQED)
      & fewer(R_33_4_FEWER)
      & general(R_33_5_GENERAL)
      & eDIT(R_33_10_EDIT)
      & actually(R_33_2_ACTUALLY)
      & z_33_a_history_of_qed_2(Z_33_A_HISTORY_OF_QED_2)
      & conj1(Z_33_A_HISTORY_OF_QED_2,R_33_3_HAS)
      & has(R_33_3_HAS,R_33_1_BQED,R_33_7_PURPOSE_COMMANDS)
      & purpose_commands(R_33_7_PURPOSE_COMMANDS)
      & attrib13(R_33_7_PURPOSE_COMMANDS,R_33_4_FEWER)
      & attrib16(R_33_7_PURPOSE_COMMANDS,R_33_5_GENERAL)
      & than(R_33_7_PURPOSE_COMMANDS,R_33_10_EDIT)
      & nim7(R_33_3_HAS,R_33_2_ACTUALLY)
      & conj2(Z_33_A_HISTORY_OF_QED_2,R_33_20_NOT)
      & ~ ? [R_33_19_CAN_BE_PERFORMED,R_33_24_THE_EDITORS,R_33_25_OTHER,Z_33_A_HISTORY_OF_QED_35,R_33_12_MANY,R_33_14_THESE_COMMANDS,R_33_17_STATED,R_33_15_CONCISELY] :
            ( other(R_33_25_OTHER)
            & many(R_33_12_MANY)
            & concisely(R_33_15_CONCISELY)
            & can_be_performed(R_33_19_CAN_BE_PERFORMED,R_33_24_THE_EDITORS,Z_33_A_HISTORY_OF_QED_35)
            & the_editors(R_33_24_THE_EDITORS)
            & attrib71(R_33_24_THE_EDITORS,R_33_25_OTHER)
            & z_33_a_history_of_qed_35(Z_33_A_HISTORY_OF_QED_35)
            & attrib36(Z_33_A_HISTORY_OF_QED_35,R_33_12_MANY)
            & of(Z_33_A_HISTORY_OF_QED_35,R_33_14_THESE_COMMANDS)
            & these_commands(R_33_14_THESE_COMMANDS)
            & attrib45(R_33_14_THESE_COMMANDS,R_33_17_STATED)
            & stated(R_33_17_STATED)
            & qual46(R_33_17_STATED,R_33_15_CONCISELY) ) ) ).


n33_a_history_of_qed n33_a_history_of_qed_6 BQED n33_a_history_of_qed_9 actually n33_a_history_of_qed_11 has n33_a_history_of_qed_15 fewer n33_a_history_of_qed_18 general n33_a_history_of_qed_20 - n33_a_history_of_qed_22 purpose n33_a_history_of_qed_24 commands n33_a_history_of_qed_27 than n33_a_history_of_qed_30 EDIT n33_a_history_of_qed_32 .... n33_a_history_of_qed_38 many n33_a_history_of_qed_41 of n33_a_history_of_qed_44 these n33_a_history_of_qed_48 concisely n33_a_history_of_qed_50 - n33_a_history_of_qed_52 stated n33_a_history_of_qed_54 commands n33_a_history_of_qed_56 can n33_a_history_of_qed_58 not n33_a_history_of_qed_61 be n33_a_history_of_qed_64 performed n33_a_history_of_qed_67 by n33_a_history_of_qed_70 the n33_a_history_of_qed_73 other n33_a_history_of_qed_75 editors n33_a_history_of_qed_77 . n33_a_history_of_qed_79 <rdquo> n33_a_history_of_qed_1 IP-MAT n33_a_history_of_qed_2 ILYR n33_a_history_of_qed_1->n33_a_history_of_qed_2 n33_a_history_of_qed_3 ILYR n33_a_history_of_qed_2->n33_a_history_of_qed_3 n33_a_history_of_qed_31 PUNC n33_a_history_of_qed_2->n33_a_history_of_qed_31 n33_a_history_of_qed_33 CONJP n33_a_history_of_qed_2->n33_a_history_of_qed_33 n33_a_history_of_qed_76 PUNC n33_a_history_of_qed_2->n33_a_history_of_qed_76 n33_a_history_of_qed_78 PURQ n33_a_history_of_qed_2->n33_a_history_of_qed_78 n33_a_history_of_qed_4 NP-SBJ n33_a_history_of_qed_3->n33_a_history_of_qed_4 n33_a_history_of_qed_7 ADVP-NIM n33_a_history_of_qed_3->n33_a_history_of_qed_7 n33_a_history_of_qed_10 HVP;_Tn_ n33_a_history_of_qed_3->n33_a_history_of_qed_10 n33_a_history_of_qed_12 NP-OB1 n33_a_history_of_qed_3->n33_a_history_of_qed_12 n33_a_history_of_qed_5 NPR n33_a_history_of_qed_4->n33_a_history_of_qed_5 n33_a_history_of_qed_5->n33_a_history_of_qed_6 n33_a_history_of_qed_8 ADV n33_a_history_of_qed_7->n33_a_history_of_qed_8 n33_a_history_of_qed_8->n33_a_history_of_qed_9 n33_a_history_of_qed_10->n33_a_history_of_qed_11 n33_a_history_of_qed_13 ADJP n33_a_history_of_qed_12->n33_a_history_of_qed_13 n33_a_history_of_qed_16 ADJP n33_a_history_of_qed_12->n33_a_history_of_qed_16 n33_a_history_of_qed_19 PUNC n33_a_history_of_qed_12->n33_a_history_of_qed_19 n33_a_history_of_qed_21 N n33_a_history_of_qed_12->n33_a_history_of_qed_21 n33_a_history_of_qed_23 NS n33_a_history_of_qed_12->n33_a_history_of_qed_23 n33_a_history_of_qed_25 PP n33_a_history_of_qed_12->n33_a_history_of_qed_25 n33_a_history_of_qed_14 ADJR n33_a_history_of_qed_13->n33_a_history_of_qed_14 n33_a_history_of_qed_14->n33_a_history_of_qed_15 n33_a_history_of_qed_17 ADJ n33_a_history_of_qed_16->n33_a_history_of_qed_17 n33_a_history_of_qed_17->n33_a_history_of_qed_18 n33_a_history_of_qed_19->n33_a_history_of_qed_20 n33_a_history_of_qed_21->n33_a_history_of_qed_22 n33_a_history_of_qed_23->n33_a_history_of_qed_24 n33_a_history_of_qed_26 P-ROLE n33_a_history_of_qed_25->n33_a_history_of_qed_26 n33_a_history_of_qed_28 NP n33_a_history_of_qed_25->n33_a_history_of_qed_28 n33_a_history_of_qed_26->n33_a_history_of_qed_27 n33_a_history_of_qed_29 NPR n33_a_history_of_qed_28->n33_a_history_of_qed_29 n33_a_history_of_qed_29->n33_a_history_of_qed_30 n33_a_history_of_qed_31->n33_a_history_of_qed_32 n33_a_history_of_qed_34 ILYR n33_a_history_of_qed_33->n33_a_history_of_qed_34 n33_a_history_of_qed_35 NP-SBJ n33_a_history_of_qed_34->n33_a_history_of_qed_35 n33_a_history_of_qed_55 MD;_cat_Vi_ n33_a_history_of_qed_34->n33_a_history_of_qed_55 n33_a_history_of_qed_57 NEG n33_a_history_of_qed_34->n33_a_history_of_qed_57 n33_a_history_of_qed_59 IP-INF-CAT n33_a_history_of_qed_34->n33_a_history_of_qed_59 n33_a_history_of_qed_36 ADJP n33_a_history_of_qed_35->n33_a_history_of_qed_36 n33_a_history_of_qed_39 PP n33_a_history_of_qed_35->n33_a_history_of_qed_39 n33_a_history_of_qed_37 ADJ n33_a_history_of_qed_36->n33_a_history_of_qed_37 n33_a_history_of_qed_37->n33_a_history_of_qed_38 n33_a_history_of_qed_40 P-ROLE n33_a_history_of_qed_39->n33_a_history_of_qed_40 n33_a_history_of_qed_42 NP n33_a_history_of_qed_39->n33_a_history_of_qed_42 n33_a_history_of_qed_40->n33_a_history_of_qed_41 n33_a_history_of_qed_43 D n33_a_history_of_qed_42->n33_a_history_of_qed_43 n33_a_history_of_qed_45 ADJP n33_a_history_of_qed_42->n33_a_history_of_qed_45 n33_a_history_of_qed_53 NS n33_a_history_of_qed_42->n33_a_history_of_qed_53 n33_a_history_of_qed_43->n33_a_history_of_qed_44 n33_a_history_of_qed_46 ADVP n33_a_history_of_qed_45->n33_a_history_of_qed_46 n33_a_history_of_qed_49 PUNC n33_a_history_of_qed_45->n33_a_history_of_qed_49 n33_a_history_of_qed_51 VVN;__ n33_a_history_of_qed_45->n33_a_history_of_qed_51 n33_a_history_of_qed_47 ADV n33_a_history_of_qed_46->n33_a_history_of_qed_47 n33_a_history_of_qed_47->n33_a_history_of_qed_48 n33_a_history_of_qed_49->n33_a_history_of_qed_50 n33_a_history_of_qed_51->n33_a_history_of_qed_52 n33_a_history_of_qed_53->n33_a_history_of_qed_54 n33_a_history_of_qed_55->n33_a_history_of_qed_56 n33_a_history_of_qed_57->n33_a_history_of_qed_58 n33_a_history_of_qed_60 BE;_cat_VePASS_ n33_a_history_of_qed_59->n33_a_history_of_qed_60 n33_a_history_of_qed_62 IP-PPL-CAT n33_a_history_of_qed_59->n33_a_history_of_qed_62 n33_a_history_of_qed_60->n33_a_history_of_qed_61 n33_a_history_of_qed_63 VVN;_Tn_ n33_a_history_of_qed_62->n33_a_history_of_qed_63 n33_a_history_of_qed_65 PP-LGS n33_a_history_of_qed_62->n33_a_history_of_qed_65 n33_a_history_of_qed_63->n33_a_history_of_qed_64 n33_a_history_of_qed_66 P-ROLE;_lgs_ n33_a_history_of_qed_65->n33_a_history_of_qed_66 n33_a_history_of_qed_68 NP n33_a_history_of_qed_65->n33_a_history_of_qed_68 n33_a_history_of_qed_66->n33_a_history_of_qed_67 n33_a_history_of_qed_69 D n33_a_history_of_qed_68->n33_a_history_of_qed_69 n33_a_history_of_qed_71 ADJP n33_a_history_of_qed_68->n33_a_history_of_qed_71 n33_a_history_of_qed_74 NS n33_a_history_of_qed_68->n33_a_history_of_qed_74 n33_a_history_of_qed_69->n33_a_history_of_qed_70 n33_a_history_of_qed_72 ADJ n33_a_history_of_qed_71->n33_a_history_of_qed_72 n33_a_history_of_qed_72->n33_a_history_of_qed_73 n33_a_history_of_qed_74->n33_a_history_of_qed_75 n33_a_history_of_qed_76->n33_a_history_of_qed_77 n33_a_history_of_qed_78->n33_a_history_of_qed_79 
( (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))