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 .

%3 0025_0004__probably_0025_0003__was probably_was 0025_0001__This_0025_0002__QED this_qed 0025_0004__probably_0025_0003__was->0025_0001__This_0025_0002__QED [arg0] 0025_0005__the the 0025_0004__probably_0025_0003__was->0025_0005__the [prd2] 0025_0015__particularly particularly 0025_0004__probably_0025_0003__was->0025_0015__particularly [mnr] 0025_0017__pushing pushing 0025_0004__probably_0025_0003__was->0025_0017__pushing in[rst] 0025_0008__and and 0025_0005__the->0025_0008__and [attrib] 0025_0013__manifestations manifestations 0025_0005__the->0025_0013__manifestations of 0025_0017__pushing->0025_0001__This_0025_0002__QED [arg0] 0025_0020__expressions expressions 0025_0017__pushing->0025_0020__expressions [arg1] 0025_0022__well well 0025_0017__pushing->0025_0022__well [mnr] 0025_0024__what what 0025_0017__pushing->0025_0024__what beyond[dir] 0025_0006__most most 0025_0008__and->0025_0006__most [qual] 0025_0007__baroque baroque 0025_0008__and->0025_0007__baroque [conj1] 0025_0009__complicated complicated 0025_0008__and->0025_0009__complicated [conj2] 0025_0012__its its 0025_0013__manifestations->0025_0012__its [genv] 0025_0011__all all[quant] 0025_0011__all->0025_0004__probably_0025_0003__was [scope] 0025_0011__all->0025_0013__manifestations [restriction] 0025_0019__regular regular 0025_0020__expressions->0025_0019__regular [attrib] 0025_0026__thought thought 0025_0025__Kleene kleene 0025_0026__thought->0025_0025__Kleene [arg0] 0025_0028__should_0025_0029__do should_do 0025_0026__thought->0025_0028__should_0025_0029__do [arg1] 0025_0028__should_0025_0029__do->0025_0020__expressions [arg0] 0025_0028__should_0025_0029__do->0025_0024__what [arg1] 
arc(r_0025_0004__probably_r_0025_0003__was,r_0025_0001__This_r_0025_0002__QED,arg0).
arc(r_0025_0004__probably_r_0025_0003__was,r_0025_0005__the,prd2).
arc(r_0025_0004__probably_r_0025_0003__was,r_0025_0015__particularly,mnr).
arc(r_0025_0004__probably_r_0025_0003__was,r_0025_0017__pushing,r_0025_0016__in__rst).
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_0004__probably_r_0025_0003__was,scope).
arc(r_0025_0011__all__quant,r_0025_0013__manifestations,restriction).
arc(r_0025_0013__manifestations,r_0025_0012__its,genv).
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,mnr).
arc(r_0025_0017__pushing,r_0025_0024__what,r_0025_0023__beyond__dir).
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_r_0025_0029__do,arg1).
arc(r_0025_0028__should_r_0025_0029__do,r_0025_0020__expressions,arg0).
arc(r_0025_0028__should_r_0025_0029__do,r_0025_0024__what,arg1).

IP-MAT NP-SBJ D This NPR QED BED;~Ln was ADVP-MOD ADV probably NP-PRD2 D the ADJP ADVP ADVS most AJLYR ADJP ADJ baroque CONJP CONJ and ADJP ADJ complicated PP P-ROLE of NP Q all NP-GENV PRO;_genm_ its NS manifestations PUNC , ADVP-MNR ADV particularly PP-RST P-ROLE in IP-PPL VAG pushing NP-OB1 PULQ “ ADJP ADJ regular NS expressions PURQ ” ADVP-MNR ADV well PP-DIR P-ROLE beyond NP IP-REL NP-174 RPRO what NP-SBJ NPR Kleene VBD thought CP-THT-OB1 IP-SUB NP-SBJ PRO they MD;~cat_Vi should IP-INF-CAT NP-OB1 *ICH*-174 DO do PUNC . 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D This;{this})
                              (NPR QED;{QED}))
          (BED;~Ln was;{be})
          (ADVP-MOD (ADV probably;{probably}))
          (NP-PRD2 (D the;{the})
                   (ADJP (ADVP (ADVS most;{most}))
                         (AJLYR (ADJP (ADJ baroque;{baroque}))
                                (CONJP (CONJ and;{and})
                                       (ADJP (ADJ complicated;{complicated})))))
                   (PP (P-ROLE of;{of})
                       (NP (Q all;{all})
                           (NP-GENV;{QED} (PRO;_genm_ its;{its}))
                           (NS manifestations;{manifestation}))))
          (PUNC ,)
          (ADVP-MNR (ADV particularly;{particularly}))
          (PP-RST (P-ROLE in;{in})
                  (IP-PPL (VAG pushing;{push})
                          (NP-OB1;{REGEX} (PULQ <ldquo>)
                                          (ADJP (ADJ regular;{regular}))
                                          (NS expressions;{expression})
                                          (PURQ <rdquo>))
                          (ADVP-MNR (ADV well;{well}))
                          (PP-DIR (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 do;{do})))))))))
          (PUNC .))
  (ID 25_a_history_of_qed))