Context                Previous, Next                Top


25_a_history_of_qed
This QED was probably the most baroque and complicated of all its manifestations, particularly in pushing “regular expressions” well beyond what Kleene thought they should do.

n25_a_history_of_qed n25_a_history_of_qed__1_1_1_1 This n25_a_history_of_qed__1_1_2_1 QED n25_a_history_of_qed__1_2_1 was n25_a_history_of_qed__1_3_1_1 probably n25_a_history_of_qed__1_4_1_1 the n25_a_history_of_qed__1_4_2_1_1_1 most n25_a_history_of_qed__1_4_2_2_1_1_1 baroque n25_a_history_of_qed__1_4_2_2_2_1_1 and n25_a_history_of_qed__1_4_2_2_2_2_1_1 complicated n25_a_history_of_qed__1_4_3_1_1 of n25_a_history_of_qed__1_4_3_2_1_1 all n25_a_history_of_qed__1_4_3_2_2_1_1 its n25_a_history_of_qed__1_4_3_2_3_1 manifestations n25_a_history_of_qed__1_5_1 , n25_a_history_of_qed__1_6_1_1 particularly n25_a_history_of_qed__1_7_1_1 in n25_a_history_of_qed__1_7_2_1_1 pushing n25_a_history_of_qed__1_7_2_2_1_1 <ldquo> n25_a_history_of_qed__1_7_2_2_2_1_1 regular n25_a_history_of_qed__1_7_2_2_3_1 expressions n25_a_history_of_qed__1_7_2_2_4_1 <rdquo> n25_a_history_of_qed__1_7_2_3_1_1 well n25_a_history_of_qed__1_7_2_4_1_1 beyond n25_a_history_of_qed__1_7_2_4_2_1_1_1_1 what n25_a_history_of_qed__1_7_2_4_2_1_2_1_1 Kleene n25_a_history_of_qed__1_7_2_4_2_1_3_1 thought n25_a_history_of_qed__1_7_2_4_2_1_4_1_1_1_1 they n25_a_history_of_qed__1_7_2_4_2_1_4_1_2_1 should n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_1_1 *ICH*-174 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_2_1 do n25_a_history_of_qed__1_8_1 . n25_a_history_of_qed__1 IP-MAT n25_a_history_of_qed__1_1 NP-SBJ n25_a_history_of_qed__1->n25_a_history_of_qed__1_1 n25_a_history_of_qed__1_2 BED;_Ln_ n25_a_history_of_qed__1->n25_a_history_of_qed__1_2 n25_a_history_of_qed__1_3 ADVP-NIM n25_a_history_of_qed__1->n25_a_history_of_qed__1_3 n25_a_history_of_qed__1_4 NP-PRD n25_a_history_of_qed__1->n25_a_history_of_qed__1_4 n25_a_history_of_qed__1_5 PUNC n25_a_history_of_qed__1->n25_a_history_of_qed__1_5 n25_a_history_of_qed__1_6 ADVP-NIM n25_a_history_of_qed__1->n25_a_history_of_qed__1_6 n25_a_history_of_qed__1_7 PP-NIM n25_a_history_of_qed__1->n25_a_history_of_qed__1_7 n25_a_history_of_qed__1_8 PUNC n25_a_history_of_qed__1->n25_a_history_of_qed__1_8 n25_a_history_of_qed__1_1_1 D n25_a_history_of_qed__1_1->n25_a_history_of_qed__1_1_1 n25_a_history_of_qed__1_1_2 NPR n25_a_history_of_qed__1_1->n25_a_history_of_qed__1_1_2 n25_a_history_of_qed__1_1_1->n25_a_history_of_qed__1_1_1_1 n25_a_history_of_qed__1_1_2->n25_a_history_of_qed__1_1_2_1 n25_a_history_of_qed__1_2->n25_a_history_of_qed__1_2_1 n25_a_history_of_qed__1_3_1 ADV n25_a_history_of_qed__1_3->n25_a_history_of_qed__1_3_1 n25_a_history_of_qed__1_3_1->n25_a_history_of_qed__1_3_1_1 n25_a_history_of_qed__1_4_1 D n25_a_history_of_qed__1_4->n25_a_history_of_qed__1_4_1 n25_a_history_of_qed__1_4_2 ADJP n25_a_history_of_qed__1_4->n25_a_history_of_qed__1_4_2 n25_a_history_of_qed__1_4_3 PP n25_a_history_of_qed__1_4->n25_a_history_of_qed__1_4_3 n25_a_history_of_qed__1_4_1->n25_a_history_of_qed__1_4_1_1 n25_a_history_of_qed__1_4_2_1 ADVP n25_a_history_of_qed__1_4_2->n25_a_history_of_qed__1_4_2_1 n25_a_history_of_qed__1_4_2_2 AJLYR n25_a_history_of_qed__1_4_2->n25_a_history_of_qed__1_4_2_2 n25_a_history_of_qed__1_4_2_1_1 ADVS n25_a_history_of_qed__1_4_2_1->n25_a_history_of_qed__1_4_2_1_1 n25_a_history_of_qed__1_4_2_1_1->n25_a_history_of_qed__1_4_2_1_1_1 n25_a_history_of_qed__1_4_2_2_1 AJLYR n25_a_history_of_qed__1_4_2_2->n25_a_history_of_qed__1_4_2_2_1 n25_a_history_of_qed__1_4_2_2_2 CONJP n25_a_history_of_qed__1_4_2_2->n25_a_history_of_qed__1_4_2_2_2 n25_a_history_of_qed__1_4_2_2_1_1 ADJ n25_a_history_of_qed__1_4_2_2_1->n25_a_history_of_qed__1_4_2_2_1_1 n25_a_history_of_qed__1_4_2_2_1_1->n25_a_history_of_qed__1_4_2_2_1_1_1 n25_a_history_of_qed__1_4_2_2_2_1 CONJ n25_a_history_of_qed__1_4_2_2_2->n25_a_history_of_qed__1_4_2_2_2_1 n25_a_history_of_qed__1_4_2_2_2_2 AJLYR n25_a_history_of_qed__1_4_2_2_2->n25_a_history_of_qed__1_4_2_2_2_2 n25_a_history_of_qed__1_4_2_2_2_1->n25_a_history_of_qed__1_4_2_2_2_1_1 n25_a_history_of_qed__1_4_2_2_2_2_1 ADJ n25_a_history_of_qed__1_4_2_2_2_2->n25_a_history_of_qed__1_4_2_2_2_2_1 n25_a_history_of_qed__1_4_2_2_2_2_1->n25_a_history_of_qed__1_4_2_2_2_2_1_1 n25_a_history_of_qed__1_4_3_1 P-ROLE n25_a_history_of_qed__1_4_3->n25_a_history_of_qed__1_4_3_1 n25_a_history_of_qed__1_4_3_2 NP n25_a_history_of_qed__1_4_3->n25_a_history_of_qed__1_4_3_2 n25_a_history_of_qed__1_4_3_1->n25_a_history_of_qed__1_4_3_1_1 n25_a_history_of_qed__1_4_3_2_1 Q n25_a_history_of_qed__1_4_3_2->n25_a_history_of_qed__1_4_3_2_1 n25_a_history_of_qed__1_4_3_2_2 NP-GEN n25_a_history_of_qed__1_4_3_2->n25_a_history_of_qed__1_4_3_2_2 n25_a_history_of_qed__1_4_3_2_3 NS n25_a_history_of_qed__1_4_3_2->n25_a_history_of_qed__1_4_3_2_3 n25_a_history_of_qed__1_4_3_2_1->n25_a_history_of_qed__1_4_3_2_1_1 n25_a_history_of_qed__1_4_3_2_2_1 PRO;_genm_ n25_a_history_of_qed__1_4_3_2_2->n25_a_history_of_qed__1_4_3_2_2_1 n25_a_history_of_qed__1_4_3_2_2_1->n25_a_history_of_qed__1_4_3_2_2_1_1 n25_a_history_of_qed__1_4_3_2_3->n25_a_history_of_qed__1_4_3_2_3_1 n25_a_history_of_qed__1_5->n25_a_history_of_qed__1_5_1 n25_a_history_of_qed__1_6_1 ADV n25_a_history_of_qed__1_6->n25_a_history_of_qed__1_6_1 n25_a_history_of_qed__1_6_1->n25_a_history_of_qed__1_6_1_1 n25_a_history_of_qed__1_7_1 P-ROLE n25_a_history_of_qed__1_7->n25_a_history_of_qed__1_7_1 n25_a_history_of_qed__1_7_2 IP-PPL n25_a_history_of_qed__1_7->n25_a_history_of_qed__1_7_2 n25_a_history_of_qed__1_7_1->n25_a_history_of_qed__1_7_1_1 n25_a_history_of_qed__1_7_2_1 VAG;__ n25_a_history_of_qed__1_7_2->n25_a_history_of_qed__1_7_2_1 n25_a_history_of_qed__1_7_2_2 NP-OB1 n25_a_history_of_qed__1_7_2->n25_a_history_of_qed__1_7_2_2 n25_a_history_of_qed__1_7_2_3 ADVP-NIM n25_a_history_of_qed__1_7_2->n25_a_history_of_qed__1_7_2_3 n25_a_history_of_qed__1_7_2_4 PP-NIM n25_a_history_of_qed__1_7_2->n25_a_history_of_qed__1_7_2_4 n25_a_history_of_qed__1_7_2_1->n25_a_history_of_qed__1_7_2_1_1 n25_a_history_of_qed__1_7_2_2_1 PULQ n25_a_history_of_qed__1_7_2_2->n25_a_history_of_qed__1_7_2_2_1 n25_a_history_of_qed__1_7_2_2_2 ADJP n25_a_history_of_qed__1_7_2_2->n25_a_history_of_qed__1_7_2_2_2 n25_a_history_of_qed__1_7_2_2_3 NS n25_a_history_of_qed__1_7_2_2->n25_a_history_of_qed__1_7_2_2_3 n25_a_history_of_qed__1_7_2_2_4 PURQ n25_a_history_of_qed__1_7_2_2->n25_a_history_of_qed__1_7_2_2_4 n25_a_history_of_qed__1_7_2_2_1->n25_a_history_of_qed__1_7_2_2_1_1 n25_a_history_of_qed__1_7_2_2_2_1 ADJ n25_a_history_of_qed__1_7_2_2_2->n25_a_history_of_qed__1_7_2_2_2_1 n25_a_history_of_qed__1_7_2_2_2_1->n25_a_history_of_qed__1_7_2_2_2_1_1 n25_a_history_of_qed__1_7_2_2_3->n25_a_history_of_qed__1_7_2_2_3_1 n25_a_history_of_qed__1_7_2_2_4->n25_a_history_of_qed__1_7_2_2_4_1 n25_a_history_of_qed__1_7_2_3_1 ADV n25_a_history_of_qed__1_7_2_3->n25_a_history_of_qed__1_7_2_3_1 n25_a_history_of_qed__1_7_2_3_1->n25_a_history_of_qed__1_7_2_3_1_1 n25_a_history_of_qed__1_7_2_4_1 P-ROLE n25_a_history_of_qed__1_7_2_4->n25_a_history_of_qed__1_7_2_4_1 n25_a_history_of_qed__1_7_2_4_2 NP n25_a_history_of_qed__1_7_2_4->n25_a_history_of_qed__1_7_2_4_2 n25_a_history_of_qed__1_7_2_4_1->n25_a_history_of_qed__1_7_2_4_1_1 n25_a_history_of_qed__1_7_2_4_2_1 IP-REL n25_a_history_of_qed__1_7_2_4_2->n25_a_history_of_qed__1_7_2_4_2_1 n25_a_history_of_qed__1_7_2_4_2_1_1 NP-174 n25_a_history_of_qed__1_7_2_4_2_1->n25_a_history_of_qed__1_7_2_4_2_1_1 n25_a_history_of_qed__1_7_2_4_2_1_2 NP-SBJ n25_a_history_of_qed__1_7_2_4_2_1->n25_a_history_of_qed__1_7_2_4_2_1_2 n25_a_history_of_qed__1_7_2_4_2_1_3 VBD;__ n25_a_history_of_qed__1_7_2_4_2_1->n25_a_history_of_qed__1_7_2_4_2_1_3 n25_a_history_of_qed__1_7_2_4_2_1_4 CP-THT-OB1 n25_a_history_of_qed__1_7_2_4_2_1->n25_a_history_of_qed__1_7_2_4_2_1_4 n25_a_history_of_qed__1_7_2_4_2_1_1_1 RPRO n25_a_history_of_qed__1_7_2_4_2_1_1->n25_a_history_of_qed__1_7_2_4_2_1_1_1 n25_a_history_of_qed__1_7_2_4_2_1_1_1->n25_a_history_of_qed__1_7_2_4_2_1_1_1_1 n25_a_history_of_qed__1_7_2_4_2_1_2_1 NPR n25_a_history_of_qed__1_7_2_4_2_1_2->n25_a_history_of_qed__1_7_2_4_2_1_2_1 n25_a_history_of_qed__1_7_2_4_2_1_2_1->n25_a_history_of_qed__1_7_2_4_2_1_2_1_1 n25_a_history_of_qed__1_7_2_4_2_1_3->n25_a_history_of_qed__1_7_2_4_2_1_3_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1 IP-SUB n25_a_history_of_qed__1_7_2_4_2_1_4->n25_a_history_of_qed__1_7_2_4_2_1_4_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_1 NP-SBJ n25_a_history_of_qed__1_7_2_4_2_1_4_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_2 MD;_cat_Vi_ n25_a_history_of_qed__1_7_2_4_2_1_4_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_2 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3 IP-INF-CAT n25_a_history_of_qed__1_7_2_4_2_1_4_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_3 n25_a_history_of_qed__1_7_2_4_2_1_4_1_1_1 PRO n25_a_history_of_qed__1_7_2_4_2_1_4_1_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_1_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_1_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_1_1_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_2->n25_a_history_of_qed__1_7_2_4_2_1_4_1_2_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_1 NP-OB1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3->n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_2 DO;_Tn_ n25_a_history_of_qed__1_7_2_4_2_1_4_1_3->n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_2 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_1->n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_1_1 n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_2->n25_a_history_of_qed__1_7_2_4_2_1_4_1_3_2_1 n25_a_history_of_qed__1_8->n25_a_history_of_qed__1_8_1 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D This;{this})
                              (NPR QED;{QED}))
          (BED;_Ln_ was;{be})
          (ADVP-NIM (ADV probably;{probably}))
          (NP-PRD (D the;{the})
                  (ADJP (ADVP (ADVS most;{most}))
                        (AJLYR (AJLYR (ADJ baroque;{baroque}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ complicated;{complicated})))))
                  (PP (P-ROLE of;{of})
                      (NP (Q all;{all})
                          (NP-GEN;{QED} (PRO;_genm_ its;{its}))
                          (NS manifestations;{manifestation}))))
          (PUNC ,)
          (ADVP-NIM (ADV particularly;{particularly}))
          (PP-NIM (P-ROLE in;{in})
                  (IP-PPL (VAG;__ pushing;{push})
                          (NP-OB1;{REGEX} (PULQ <ldquo>)
                                          (ADJP (ADJ regular;{regular}))
                                          (NS expressions;{expression})
                                          (PURQ <rdquo>))
                          (ADVP-NIM (ADV well;{well}))
                          (PP-NIM (P-ROLE beyond;{beyond})
                                  (NP (IP-REL (NP-174 (RPRO what;{what}))
                                              (NP-SBJ (NPR Kleene;{Kleene}))
                                              (VBD;__ thought;{think})
                                              (CP-THT-OB1 (IP-SUB (NP-SBJ;{REGEX} (PRO they;{they}))
                                                                  (MD;_cat_Vi_ should;{shall})
                                                                  (IP-INF-CAT (NP-OB1 *ICH*-174)
                                                                              (DO;_Tn_ do;{do})))))))))
          (PUNC .))
  (ID 25_a_history_of_qed))


%3 r_0025_0029__do do r_0025_0024__what what r_0025_0029__do->r_0025_0024__what [arg1] r_0025_0020__expressions expressions r_0025_0029__do->r_0025_0020__expressions [arg0] r_0025_0019__regular regular r_0025_0020__expressions->r_0025_0019__regular [attrib] r_0025_0028__should should r_0025_0028__should->r_0025_0029__do [scope] r_0025_0026__thought thought r_0025_0026__thought->r_0025_0028__should [arg1] r_0025_0025__Kleene Kleene r_0025_0026__thought->r_0025_0025__Kleene [arg0] r_0025_0017__pushing pushing r_0025_0017__pushing->r_0025_0024__what beyond [nim] r_0025_0017__pushing->r_0025_0020__expressions [arg1] r_0025_0022__well well r_0025_0017__pushing->r_0025_0022__well [nim] r_0025_0001__This_r_0025_0002__QED This QED r_0025_0017__pushing->r_0025_0001__This_r_0025_0002__QED [arg0] r_0025_0013__manifestations manifestations r_0025_0012__its its r_0025_0013__manifestations->r_0025_0012__its [gen] r_0025_0011__all__quant all [quant] r_0025_0011__all__quant->r_0025_0013__manifestations [restriction] r_0025_0005__the the r_0025_0011__all__quant->r_0025_0005__the [scope] r_0025_0005__the->r_0025_0013__manifestations of r_0025_0008__and and r_0025_0005__the->r_0025_0008__and [attrib] r_0025_0009__complicated complicated r_0025_0008__and->r_0025_0009__complicated [conj2] r_0025_0007__baroque baroque r_0025_0008__and->r_0025_0007__baroque [conj1] r_0025_0006__most most r_0025_0008__and->r_0025_0006__most [qual] r_0025_0003__was was r_0025_0003__was->r_0025_0017__pushing in [nim] r_0025_0003__was->r_0025_0001__This_r_0025_0002__QED [arg0] r_0025_0003__was->r_0025_0005__the [prd] r_0025_0015__particularly particularly r_0025_0003__was->r_0025_0015__particularly [nim] r_0025_0004__probably probably r_0025_0003__was->r_0025_0004__probably [nim] 
arc(r_0025_0003__was,r_0025_0001__This_r_0025_0002__QED,arg0).
arc(r_0025_0003__was,r_0025_0004__probably,nim).
arc(r_0025_0003__was,r_0025_0005__the,prd).
arc(r_0025_0003__was,r_0025_0015__particularly,nim).
arc(r_0025_0003__was,r_0025_0017__pushing,r_0025_0016__in__nim).
arc(r_0025_0005__the,r_0025_0008__and,attrib).
arc(r_0025_0005__the,r_0025_0013__manifestations,r_0025_0010__of).
arc(r_0025_0008__and,r_0025_0006__most,qual).
arc(r_0025_0008__and,r_0025_0007__baroque,conj1).
arc(r_0025_0008__and,r_0025_0009__complicated,conj2).
arc(r_0025_0011__all__quant,r_0025_0005__the,scope).
arc(r_0025_0011__all__quant,r_0025_0013__manifestations,restriction).
arc(r_0025_0013__manifestations,r_0025_0012__its,gen).
arc(r_0025_0017__pushing,r_0025_0001__This_r_0025_0002__QED,arg0).
arc(r_0025_0017__pushing,r_0025_0020__expressions,arg1).
arc(r_0025_0017__pushing,r_0025_0022__well,nim).
arc(r_0025_0017__pushing,r_0025_0024__what,r_0025_0023__beyond__nim).
arc(r_0025_0020__expressions,r_0025_0019__regular,attrib).
arc(r_0025_0026__thought,r_0025_0025__Kleene,arg0).
arc(r_0025_0026__thought,r_0025_0028__should,arg1).
arc(r_0025_0028__should,r_0025_0029__do,scope).
arc(r_0025_0029__do,r_0025_0020__expressions,arg0).
arc(r_0025_0029__do,r_0025_0024__what,arg1).


%3 r_0025_0003__was was r_0025_0001__This_r_0025_0002__QED This QED r_0025_0003__was->r_0025_0001__This_r_0025_0002__QED [arg0] r_0025_0004__probably probably r_0025_0003__was->r_0025_0004__probably [nim] r_0025_0005__the the r_0025_0003__was->r_0025_0005__the [prd] r_0025_0015__particularly particularly r_0025_0003__was->r_0025_0015__particularly [nim] r_0025_0017__pushing pushing r_0025_0003__was->r_0025_0017__pushing in [nim] r_0025_0008__and and r_0025_0005__the->r_0025_0008__and [attrib] r_0025_0013__manifestations manifestations r_0025_0005__the->r_0025_0013__manifestations of r_0025_0017__pushing->r_0025_0001__This_r_0025_0002__QED [arg0] r_0025_0020__expressions expressions r_0025_0017__pushing->r_0025_0020__expressions [arg1] r_0025_0022__well well r_0025_0017__pushing->r_0025_0022__well [nim] r_0025_0024__what what r_0025_0017__pushing->r_0025_0024__what beyond [nim] r_0025_0006__most most r_0025_0008__and->r_0025_0006__most [qual] r_0025_0007__baroque baroque r_0025_0008__and->r_0025_0007__baroque [conj1] r_0025_0009__complicated complicated r_0025_0008__and->r_0025_0009__complicated [conj2] r_0025_0012__its its r_0025_0013__manifestations->r_0025_0012__its [gen] r_0025_0011__all__quant all [quant] r_0025_0011__all__quant->r_0025_0003__was [scope] r_0025_0011__all__quant->r_0025_0013__manifestations [restriction] r_0025_0019__regular regular r_0025_0020__expressions->r_0025_0019__regular [attrib] r_0025_0026__thought thought r_0025_0025__Kleene Kleene r_0025_0026__thought->r_0025_0025__Kleene [arg0] r_0025_0028__should_r_0025_0029__do should do r_0025_0026__thought->r_0025_0028__should_r_0025_0029__do [arg1] r_0025_0028__should_r_0025_0029__do->r_0025_0020__expressions [arg0] r_0025_0028__should_r_0025_0029__do->r_0025_0024__what [arg1] 
fof(formula,axiom,
    ? [R_0025_0025__KLEENE,R_0025_0019__REGULAR,R_0025_0020__EXPRESSIONS,R_0025_0024__WHAT,R_0025_0028__SHOULD_R_0025_0029__DO,R_0025_0026__THOUGHT] :
      ( r_0025_0019__regular(R_0025_0019__REGULAR)
      & r_0025_0024__what(R_0025_0024__WHAT)
      & r_0025_0025__Kleene(R_0025_0025__KLEENE)
      & r_0025_0026__thought(R_0025_0026__THOUGHT)
      & has_arg1(R_0025_0026__THOUGHT,R_0025_0028__SHOULD_R_0025_0029__DO)
      & r_0025_0028__should_r_0025_0029__do(R_0025_0028__SHOULD_R_0025_0029__DO)
      & has_arg1(R_0025_0028__SHOULD_R_0025_0029__DO,R_0025_0024__WHAT)
      & has_arg0(R_0025_0028__SHOULD_R_0025_0029__DO,R_0025_0020__EXPRESSIONS)
      & r_0025_0020__expressions(R_0025_0020__EXPRESSIONS)
      & has_attrib(R_0025_0020__EXPRESSIONS,R_0025_0019__REGULAR)
      & has_arg0(R_0025_0026__THOUGHT,R_0025_0025__KLEENE)
      & ! [R_0025_0013__MANIFESTATIONS,R_0025_0012__ITS] :
          ( ( r_0025_0012__its(R_0025_0012__ITS)
            & r_0025_0013__manifestations(R_0025_0013__MANIFESTATIONS)
            & has_gen(R_0025_0013__MANIFESTATIONS,R_0025_0012__ITS) )
         => ? [R_0025_0001__THIS_R_0025_0002__QED,R_0025_0004__PROBABLY,R_0025_0006__MOST,R_0025_0007__BAROQUE,R_0025_0009__COMPLICATED,R_0025_0008__AND,R_0025_0005__THE,R_0025_0015__PARTICULARLY,R_0025_0022__WELL,R_0025_0017__PUSHING,R_0025_0003__WAS] :
              ( r_0025_0001__This_r_0025_0002__QED(R_0025_0001__THIS_R_0025_0002__QED)
              & r_0025_0004__probably(R_0025_0004__PROBABLY)
              & r_0025_0006__most(R_0025_0006__MOST)
              & r_0025_0007__baroque(R_0025_0007__BAROQUE)
              & r_0025_0009__complicated(R_0025_0009__COMPLICATED)
              & r_0025_0015__particularly(R_0025_0015__PARTICULARLY)
              & r_0025_0022__well(R_0025_0022__WELL)
              & r_0025_0003__was(R_0025_0003__WAS)
              & has_r_0025_0016__in__nim(R_0025_0003__WAS,R_0025_0017__PUSHING)
              & r_0025_0017__pushing(R_0025_0017__PUSHING)
              & has_r_0025_0023__beyond__nim(R_0025_0017__PUSHING,R_0025_0024__WHAT)
              & has_nim(R_0025_0017__PUSHING,R_0025_0022__WELL)
              & has_arg1(R_0025_0017__PUSHING,R_0025_0020__EXPRESSIONS)
              & has_arg0(R_0025_0017__PUSHING,R_0025_0001__THIS_R_0025_0002__QED)
              & has_nim(R_0025_0003__WAS,R_0025_0015__PARTICULARLY)
              & has_prd(R_0025_0003__WAS,R_0025_0005__THE)
              & r_0025_0005__the(R_0025_0005__THE)
              & has_r_0025_0010__of(R_0025_0005__THE,R_0025_0013__MANIFESTATIONS)
              & has_attrib(R_0025_0005__THE,R_0025_0008__AND)
              & r_0025_0008__and(R_0025_0008__AND)
              & has_conj2(R_0025_0008__AND,R_0025_0009__COMPLICATED)
              & has_conj1(R_0025_0008__AND,R_0025_0007__BAROQUE)
              & has_qual(R_0025_0008__AND,R_0025_0006__MOST)
              & has_nim(R_0025_0003__WAS,R_0025_0004__PROBABLY)
              & has_arg0(R_0025_0003__WAS,R_0025_0001__THIS_R_0025_0002__QED) ) ) ) ).