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 z_000_33_a_history_of_qed_35 r_0033_0014__these_r_0033_0018__commands these commands 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_0017__stated stated r_0033_0014__these_r_0033_0018__commands->r_0033_0017__stated [attrib] z_000_33_a_history_of_qed_2 r_0033_0020__not not z_000_33_a_history_of_qed_2->r_0033_0020__not [conj2] r_0033_0003__has has z_000_33_a_history_of_qed_2->r_0033_0003__has [conj1] r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed can be performed r_0033_0020__not->r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed [keep_scope] 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_0002__actually actually r_0033_0003__has->r_0033_0002__actually [nim] r_0033_0001__BQED BQED r_0033_0003__has->r_0033_0001__BQED [arg0] r_0033_0024__the_r_0033_0026__editors the editors r_0033_0025__other other r_0033_0024__the_r_0033_0026__editors->r_0033_0025__other [attrib] r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed->z_000_33_a_history_of_qed_35 [arg1] r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed->r_0033_0024__the_r_0033_0026__editors [arg0] r_0033_0015__concisely concisely r_0033_0017__stated->r_0033_0015__concisely [qual] r_0033_0010__EDIT EDIT r_0033_0007__purpose_r_0033_0008__commands->r_0033_0010__EDIT than r_0033_0005__general general r_0033_0007__purpose_r_0033_0008__commands->r_0033_0005__general [attrib] r_0033_0004__fewer fewer r_0033_0007__purpose_r_0033_0008__commands->r_0033_0004__fewer [attrib] 
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__1_1_1_1_1_1 BQED n33_a_history_of_qed__1_1_1_2_1_1 actually n33_a_history_of_qed__1_1_1_3_1 has n33_a_history_of_qed__1_1_1_4_1_1_1 fewer n33_a_history_of_qed__1_1_1_4_2_1_1 general n33_a_history_of_qed__1_1_1_4_3_1 - n33_a_history_of_qed__1_1_1_4_4_1 purpose n33_a_history_of_qed__1_1_1_4_5_1 commands n33_a_history_of_qed__1_1_1_4_6_1_1 than n33_a_history_of_qed__1_1_1_4_6_2_1_1 EDIT n33_a_history_of_qed__1_1_2_1 .... n33_a_history_of_qed__1_1_3_1_1_1_1_1 many n33_a_history_of_qed__1_1_3_1_1_2_1_1 of n33_a_history_of_qed__1_1_3_1_1_2_2_1_1 these n33_a_history_of_qed__1_1_3_1_1_2_2_2_1_1_1 concisely n33_a_history_of_qed__1_1_3_1_1_2_2_2_2_1 - n33_a_history_of_qed__1_1_3_1_1_2_2_2_3_1 stated n33_a_history_of_qed__1_1_3_1_1_2_2_3_1 commands n33_a_history_of_qed__1_1_3_1_2_1 can n33_a_history_of_qed__1_1_3_1_3_1 not n33_a_history_of_qed__1_1_3_1_4_1_1 be n33_a_history_of_qed__1_1_3_1_4_2_1_1 performed n33_a_history_of_qed__1_1_3_1_4_2_2_1_1 by n33_a_history_of_qed__1_1_3_1_4_2_2_2_1_1 the n33_a_history_of_qed__1_1_3_1_4_2_2_2_2_1_1 other n33_a_history_of_qed__1_1_3_1_4_2_2_2_3_1 editors n33_a_history_of_qed__1_1_4_1 . n33_a_history_of_qed__1_1_5_1 <rdquo> n33_a_history_of_qed__1 IP-MAT n33_a_history_of_qed__1_1 ILYR n33_a_history_of_qed__1->n33_a_history_of_qed__1_1 n33_a_history_of_qed__1_1_1 ILYR n33_a_history_of_qed__1_1->n33_a_history_of_qed__1_1_1 n33_a_history_of_qed__1_1_2 PUNC n33_a_history_of_qed__1_1->n33_a_history_of_qed__1_1_2 n33_a_history_of_qed__1_1_3 CONJP n33_a_history_of_qed__1_1->n33_a_history_of_qed__1_1_3 n33_a_history_of_qed__1_1_4 PUNC n33_a_history_of_qed__1_1->n33_a_history_of_qed__1_1_4 n33_a_history_of_qed__1_1_5 PURQ n33_a_history_of_qed__1_1->n33_a_history_of_qed__1_1_5 n33_a_history_of_qed__1_1_1_1 NP-SBJ n33_a_history_of_qed__1_1_1->n33_a_history_of_qed__1_1_1_1 n33_a_history_of_qed__1_1_1_2 ADVP-NIM n33_a_history_of_qed__1_1_1->n33_a_history_of_qed__1_1_1_2 n33_a_history_of_qed__1_1_1_3 HVP;_Tn_ n33_a_history_of_qed__1_1_1->n33_a_history_of_qed__1_1_1_3 n33_a_history_of_qed__1_1_1_4 NP-OB1 n33_a_history_of_qed__1_1_1->n33_a_history_of_qed__1_1_1_4 n33_a_history_of_qed__1_1_1_1_1 NPR n33_a_history_of_qed__1_1_1_1->n33_a_history_of_qed__1_1_1_1_1 n33_a_history_of_qed__1_1_1_1_1->n33_a_history_of_qed__1_1_1_1_1_1 n33_a_history_of_qed__1_1_1_2_1 ADV n33_a_history_of_qed__1_1_1_2->n33_a_history_of_qed__1_1_1_2_1 n33_a_history_of_qed__1_1_1_2_1->n33_a_history_of_qed__1_1_1_2_1_1 n33_a_history_of_qed__1_1_1_3->n33_a_history_of_qed__1_1_1_3_1 n33_a_history_of_qed__1_1_1_4_1 ADJP n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_1 n33_a_history_of_qed__1_1_1_4_2 ADJP n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_2 n33_a_history_of_qed__1_1_1_4_3 PUNC n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_3 n33_a_history_of_qed__1_1_1_4_4 N n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_4 n33_a_history_of_qed__1_1_1_4_5 NS n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_5 n33_a_history_of_qed__1_1_1_4_6 PP n33_a_history_of_qed__1_1_1_4->n33_a_history_of_qed__1_1_1_4_6 n33_a_history_of_qed__1_1_1_4_1_1 ADJR n33_a_history_of_qed__1_1_1_4_1->n33_a_history_of_qed__1_1_1_4_1_1 n33_a_history_of_qed__1_1_1_4_1_1->n33_a_history_of_qed__1_1_1_4_1_1_1 n33_a_history_of_qed__1_1_1_4_2_1 ADJ n33_a_history_of_qed__1_1_1_4_2->n33_a_history_of_qed__1_1_1_4_2_1 n33_a_history_of_qed__1_1_1_4_2_1->n33_a_history_of_qed__1_1_1_4_2_1_1 n33_a_history_of_qed__1_1_1_4_3->n33_a_history_of_qed__1_1_1_4_3_1 n33_a_history_of_qed__1_1_1_4_4->n33_a_history_of_qed__1_1_1_4_4_1 n33_a_history_of_qed__1_1_1_4_5->n33_a_history_of_qed__1_1_1_4_5_1 n33_a_history_of_qed__1_1_1_4_6_1 P-ROLE n33_a_history_of_qed__1_1_1_4_6->n33_a_history_of_qed__1_1_1_4_6_1 n33_a_history_of_qed__1_1_1_4_6_2 NP n33_a_history_of_qed__1_1_1_4_6->n33_a_history_of_qed__1_1_1_4_6_2 n33_a_history_of_qed__1_1_1_4_6_1->n33_a_history_of_qed__1_1_1_4_6_1_1 n33_a_history_of_qed__1_1_1_4_6_2_1 NPR n33_a_history_of_qed__1_1_1_4_6_2->n33_a_history_of_qed__1_1_1_4_6_2_1 n33_a_history_of_qed__1_1_1_4_6_2_1->n33_a_history_of_qed__1_1_1_4_6_2_1_1 n33_a_history_of_qed__1_1_2->n33_a_history_of_qed__1_1_2_1 n33_a_history_of_qed__1_1_3_1 ILYR n33_a_history_of_qed__1_1_3->n33_a_history_of_qed__1_1_3_1 n33_a_history_of_qed__1_1_3_1_1 NP-SBJ n33_a_history_of_qed__1_1_3_1->n33_a_history_of_qed__1_1_3_1_1 n33_a_history_of_qed__1_1_3_1_2 MD;_cat_Vi_ n33_a_history_of_qed__1_1_3_1->n33_a_history_of_qed__1_1_3_1_2 n33_a_history_of_qed__1_1_3_1_3 NEG n33_a_history_of_qed__1_1_3_1->n33_a_history_of_qed__1_1_3_1_3 n33_a_history_of_qed__1_1_3_1_4 IP-INF-CAT n33_a_history_of_qed__1_1_3_1->n33_a_history_of_qed__1_1_3_1_4 n33_a_history_of_qed__1_1_3_1_1_1 ADJP n33_a_history_of_qed__1_1_3_1_1->n33_a_history_of_qed__1_1_3_1_1_1 n33_a_history_of_qed__1_1_3_1_1_2 PP n33_a_history_of_qed__1_1_3_1_1->n33_a_history_of_qed__1_1_3_1_1_2 n33_a_history_of_qed__1_1_3_1_1_1_1 ADJ n33_a_history_of_qed__1_1_3_1_1_1->n33_a_history_of_qed__1_1_3_1_1_1_1 n33_a_history_of_qed__1_1_3_1_1_1_1->n33_a_history_of_qed__1_1_3_1_1_1_1_1 n33_a_history_of_qed__1_1_3_1_1_2_1 P-ROLE n33_a_history_of_qed__1_1_3_1_1_2->n33_a_history_of_qed__1_1_3_1_1_2_1 n33_a_history_of_qed__1_1_3_1_1_2_2 NP n33_a_history_of_qed__1_1_3_1_1_2->n33_a_history_of_qed__1_1_3_1_1_2_2 n33_a_history_of_qed__1_1_3_1_1_2_1->n33_a_history_of_qed__1_1_3_1_1_2_1_1 n33_a_history_of_qed__1_1_3_1_1_2_2_1 D n33_a_history_of_qed__1_1_3_1_1_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2 ADJP n33_a_history_of_qed__1_1_3_1_1_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_2 n33_a_history_of_qed__1_1_3_1_1_2_2_3 NS n33_a_history_of_qed__1_1_3_1_1_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_3 n33_a_history_of_qed__1_1_3_1_1_2_2_1->n33_a_history_of_qed__1_1_3_1_1_2_2_1_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2_1 ADVP n33_a_history_of_qed__1_1_3_1_1_2_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_2_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2_2 PUNC n33_a_history_of_qed__1_1_3_1_1_2_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_2_2 n33_a_history_of_qed__1_1_3_1_1_2_2_2_3 VVN;__ n33_a_history_of_qed__1_1_3_1_1_2_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_2_3 n33_a_history_of_qed__1_1_3_1_1_2_2_2_1_1 ADV n33_a_history_of_qed__1_1_3_1_1_2_2_2_1->n33_a_history_of_qed__1_1_3_1_1_2_2_2_1_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2_1_1->n33_a_history_of_qed__1_1_3_1_1_2_2_2_1_1_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2_2->n33_a_history_of_qed__1_1_3_1_1_2_2_2_2_1 n33_a_history_of_qed__1_1_3_1_1_2_2_2_3->n33_a_history_of_qed__1_1_3_1_1_2_2_2_3_1 n33_a_history_of_qed__1_1_3_1_1_2_2_3->n33_a_history_of_qed__1_1_3_1_1_2_2_3_1 n33_a_history_of_qed__1_1_3_1_2->n33_a_history_of_qed__1_1_3_1_2_1 n33_a_history_of_qed__1_1_3_1_3->n33_a_history_of_qed__1_1_3_1_3_1 n33_a_history_of_qed__1_1_3_1_4_1 BE;_cat_VePASS_ n33_a_history_of_qed__1_1_3_1_4->n33_a_history_of_qed__1_1_3_1_4_1 n33_a_history_of_qed__1_1_3_1_4_2 IP-PPL-CAT n33_a_history_of_qed__1_1_3_1_4->n33_a_history_of_qed__1_1_3_1_4_2 n33_a_history_of_qed__1_1_3_1_4_1->n33_a_history_of_qed__1_1_3_1_4_1_1 n33_a_history_of_qed__1_1_3_1_4_2_1 VVN;_Tn_ n33_a_history_of_qed__1_1_3_1_4_2->n33_a_history_of_qed__1_1_3_1_4_2_1 n33_a_history_of_qed__1_1_3_1_4_2_2 PP-LGS n33_a_history_of_qed__1_1_3_1_4_2->n33_a_history_of_qed__1_1_3_1_4_2_2 n33_a_history_of_qed__1_1_3_1_4_2_1->n33_a_history_of_qed__1_1_3_1_4_2_1_1 n33_a_history_of_qed__1_1_3_1_4_2_2_1 P-ROLE;_lgs_ n33_a_history_of_qed__1_1_3_1_4_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2 NP n33_a_history_of_qed__1_1_3_1_4_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_2 n33_a_history_of_qed__1_1_3_1_4_2_2_1->n33_a_history_of_qed__1_1_3_1_4_2_2_1_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2_1 D n33_a_history_of_qed__1_1_3_1_4_2_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_2_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2_2 ADJP n33_a_history_of_qed__1_1_3_1_4_2_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_2_2 n33_a_history_of_qed__1_1_3_1_4_2_2_2_3 NS n33_a_history_of_qed__1_1_3_1_4_2_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_2_3 n33_a_history_of_qed__1_1_3_1_4_2_2_2_1->n33_a_history_of_qed__1_1_3_1_4_2_2_2_1_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2_2_1 ADJ n33_a_history_of_qed__1_1_3_1_4_2_2_2_2->n33_a_history_of_qed__1_1_3_1_4_2_2_2_2_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2_2_1->n33_a_history_of_qed__1_1_3_1_4_2_2_2_2_1_1 n33_a_history_of_qed__1_1_3_1_4_2_2_2_3->n33_a_history_of_qed__1_1_3_1_4_2_2_2_3_1 n33_a_history_of_qed__1_1_4->n33_a_history_of_qed__1_1_4_1 n33_a_history_of_qed__1_1_5->n33_a_history_of_qed__1_1_5_1 
( (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))