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.”

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_1 general n33_a_history_of_qed__1_1_1_4_2_2_1 - n33_a_history_of_qed__1_1_1_4_2_3_1 purpose n33_a_history_of_qed__1_1_1_4_3_1 commands n33_a_history_of_qed__1_1_1_4_4_1_1 than n33_a_history_of_qed__1_1_1_4_4_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 NLYR 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 NS 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 PP 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_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 ADJP 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_2 PUNC n33_a_history_of_qed__1_1_1_4_2->n33_a_history_of_qed__1_1_1_4_2_2 n33_a_history_of_qed__1_1_1_4_2_3 N n33_a_history_of_qed__1_1_1_4_2->n33_a_history_of_qed__1_1_1_4_2_3 n33_a_history_of_qed__1_1_1_4_2_1_1 ADJ 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_2_1_1->n33_a_history_of_qed__1_1_1_4_2_1_1_1 n33_a_history_of_qed__1_1_1_4_2_2->n33_a_history_of_qed__1_1_1_4_2_2_1 n33_a_history_of_qed__1_1_1_4_2_3->n33_a_history_of_qed__1_1_1_4_2_3_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_1 P-ROLE 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_4_2 NP n33_a_history_of_qed__1_1_1_4_4->n33_a_history_of_qed__1_1_1_4_4_2 n33_a_history_of_qed__1_1_1_4_4_1->n33_a_history_of_qed__1_1_1_4_4_1_1 n33_a_history_of_qed__1_1_1_4_4_2_1 NPR n33_a_history_of_qed__1_1_1_4_4_2->n33_a_history_of_qed__1_1_1_4_4_2_1 n33_a_history_of_qed__1_1_1_4_4_2_1->n33_a_history_of_qed__1_1_1_4_4_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}))
                              (NLYR (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))


%3 z_0033_5014 r_0033_0014__these_r_0033_0018__commands these commands z_0033_5014->r_0033_0014__these_r_0033_0018__commands of r_0033_0012__many many z_0033_5014->r_0033_0012__many [attrib] z_0033_5013 r_0033_0014__these_r_0033_0018__commands->z_0033_5013 [attrib] r_0033_0015__concisely concisely z_0033_5013->r_0033_0015__concisely [qual] z_0033_5001 r_0033_0020__not not z_0033_5001->r_0033_0020__not [conj2] r_0033_0003__has has z_0033_5001->r_0033_0003__has [conj1] r_0033_0019__can can r_0033_0020__not->r_0033_0019__can [keep_scope] r_0033_0008__commands commands r_0033_0003__has->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_0022__performed performed r_0033_0022__performed->z_0033_5014 [arg1] r_0033_0022__performed->r_0033_0024__the_r_0033_0026__editors [by_arg0] r_0033_0021__be be r_0033_0021__be->r_0033_0022__performed [scope] r_0033_0019__can->r_0033_0021__be [scope] r_0033_0010__EDIT EDIT r_0033_0008__commands->r_0033_0010__EDIT than r_0033_0007__purpose purpose r_0033_0008__commands->r_0033_0007__purpose [nim] r_0033_0004__fewer fewer r_0033_0008__commands->r_0033_0004__fewer [attrib] r_0033_0005__general general r_0033_0007__purpose->r_0033_0005__general [attrib] 
arc(r_0033_0003__has,r_0033_0001__BQED,arg0).
arc(r_0033_0003__has,r_0033_0002__actually,nim).
arc(r_0033_0003__has,r_0033_0008__commands,arg1).
arc(r_0033_0007__purpose,r_0033_0005__general,attrib).
arc(r_0033_0008__commands,r_0033_0004__fewer,attrib).
arc(r_0033_0008__commands,r_0033_0007__purpose,nim).
arc(r_0033_0008__commands,r_0033_0010__EDIT,r_0033_0009__than).
arc(r_0033_0014__these_r_0033_0018__commands,z_0033_5013,attrib).
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,r_0033_0023__by_arg0).
arc(r_0033_0022__performed,z_0033_5014,arg1).
arc(r_0033_0024__the_r_0033_0026__editors,r_0033_0025__other,attrib).
arc(z_0033_5001,r_0033_0003__has,conj1).
arc(z_0033_5001,r_0033_0020__not,conj2).
arc(z_0033_5013,r_0033_0015__concisely,qual).
arc(z_0033_5014,r_0033_0012__many,attrib).
arc(z_0033_5014,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_0008__commands commands r_0033_0003__has->r_0033_0008__commands [arg1] r_0033_0007__purpose purpose r_0033_0008__commands->r_0033_0007__purpose [nim] r_0033_0004__fewer fewer r_0033_0008__commands->r_0033_0004__fewer [attrib] r_0033_0010__EDIT EDIT r_0033_0008__commands->r_0033_0010__EDIT than r_0033_0005__general general r_0033_0007__purpose->r_0033_0005__general [attrib] r_0033_0014__these_r_0033_0018__commands these commands z_0033_5013 r_0033_0014__these_r_0033_0018__commands->z_0033_5013 [attrib] r_0033_0015__concisely concisely z_0033_5013->r_0033_0015__concisely [qual] r_0033_0020__not not 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_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 [by_arg0] z_0033_5014 r_0033_0019__can_r_0033_0021__be_r_0033_0022__performed->z_0033_5014 [arg1] r_0033_0025__other other r_0033_0024__the_r_0033_0026__editors->r_0033_0025__other [attrib] z_0033_5014->r_0033_0014__these_r_0033_0018__commands of r_0033_0012__many many z_0033_5014->r_0033_0012__many [attrib] z_0033_5001 z_0033_5001->r_0033_0003__has [conj1] z_0033_5001->r_0033_0020__not [conj2] 
fof(formula,axiom,
    ? [R_0033_0001__BQED,R_0033_0002__ACTUALLY,R_0033_0004__FEWER,R_0033_0005__GENERAL,R_0033_0007__PURPOSE,R_0033_0010__EDIT,R_0033_0008__COMMANDS,R_0033_0003__HAS,Z_0033_5001] :
      ( 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_0033_5001(Z_0033_5001)
      & has_conj2(Z_0033_5001,R_0033_0020__NOT)
      & ~ ? [R_0033_0025__OTHER,R_0033_0024__THE_R_0033_0026__EDITORS,R_0033_0012__MANY,R_0033_0015__CONCISELY,Z_0033_5013,R_0033_0014__THESE_R_0033_0018__COMMANDS,Z_0033_5014,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_0033_5014)
            & z_0033_5014(Z_0033_5014)
            & has_r_0033_0013__of(Z_0033_5014,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_attrib(R_0033_0014__THESE_R_0033_0018__COMMANDS,Z_0033_5013)
            & z_0033_5013(Z_0033_5013)
            & has_qual(Z_0033_5013,R_0033_0015__CONCISELY)
            & has_attrib(Z_0033_5014,R_0033_0012__MANY)
            & has_r_0033_0023__by_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_attrib(R_0033_0024__THE_R_0033_0026__EDITORS,R_0033_0025__OTHER) )
      & has_conj1(Z_0033_5001,R_0033_0003__HAS)
      & r_0033_0003__has(R_0033_0003__HAS)
      & has_arg1(R_0033_0003__HAS,R_0033_0008__COMMANDS)
      & r_0033_0008__commands(R_0033_0008__COMMANDS)
      & has_r_0033_0009__than(R_0033_0008__COMMANDS,R_0033_0010__EDIT)
      & has_nim(R_0033_0008__COMMANDS,R_0033_0007__PURPOSE)
      & r_0033_0007__purpose(R_0033_0007__PURPOSE)
      & has_attrib(R_0033_0007__PURPOSE,R_0033_0005__GENERAL)
      & has_attrib(R_0033_0008__COMMANDS,R_0033_0004__FEWER)
      & has_nim(R_0033_0003__HAS,R_0033_0002__ACTUALLY)
      & has_arg0(R_0033_0003__HAS,R_0033_0001__BQED) ) ).