Context                Previous, Next                Top


38_a_history_of_qed
Where my QED embraced much of the context - free languages , this version could not even express all regular languages .

%3 0038_0001__Where where[cnt] 0038_0004__embraced embraced 0038_0001__Where->0038_0004__embraced [restriction] 0038_0016__not not 0038_0001__Where->0038_0016__not [scope] 0038_0003__QED qed 0038_0004__embraced->0038_0003__QED [arg0] z_0038_1007 _ 0038_0004__embraced->z_0038_1007 [arg1] 0038_0015__could_0038_0017__even could_even 0038_0016__not->0038_0015__could_0038_0017__even [scope] 0038_0002__my my 0038_0003__QED->0038_0002__my [genv] 0038_0007__the_0038_0011__languages the_languages z_0038_1007->0038_0007__the_0038_0011__languages of 0038_0005__much much z_0038_1007->0038_0005__much [attrib] 0038_0010__free free 0038_0007__the_0038_0011__languages->0038_0010__free [attrib] 0038_0008__context context 0038_0010__free->0038_0008__context [modifier] 0038_0019__all all[quant] 0038_0015__could_0038_0017__even->0038_0019__all [scope] 0038_0018__express express 0038_0019__all->0038_0018__express [scope] 0038_0021__languages languages 0038_0019__all->0038_0021__languages [restriction] 0038_0013__this_0038_0014__version this_version 0038_0018__express->0038_0013__this_0038_0014__version [arg0] 0038_0018__express->0038_0021__languages [arg1] 0038_0020__regular regular 0038_0021__languages->0038_0020__regular [attrib] 
arc(r_0038_0001__Where_cnt,r_0038_0004__embraced,restriction_).
arc(r_0038_0001__Where_cnt,r_0038_0016__not,scope_).
arc(r_0038_0003__QED,r_0038_0002__my,genv).
arc(r_0038_0004__embraced,r_0038_0003__QED,arg0).
arc(r_0038_0004__embraced,z_0038_1007,arg1).
arc(r_0038_0007__the_r_0038_0011__languages,r_0038_0010__free,attrib).
arc(r_0038_0010__free,r_0038_0008__context,modifier).
arc(r_0038_0015__could_r_0038_0017__even,r_0038_0019__all__quant,keep_scope).
arc(r_0038_0016__not,r_0038_0015__could_r_0038_0017__even,keep_scope).
arc(r_0038_0018__express,r_0038_0013__this_r_0038_0014__version,arg0).
arc(r_0038_0018__express,r_0038_0021__languages,arg1).
arc(r_0038_0019__all__quant,r_0038_0018__express,scope).
arc(r_0038_0019__all__quant,r_0038_0021__languages,restriction).
arc(r_0038_0021__languages,r_0038_0020__regular,attrib).
arc(z_0038_1007,r_0038_0005__much,attrib).
arc(z_0038_1007,r_0038_0007__the_r_0038_0011__languages,r_0038_0006__of).

IP-MAT PP-SCON-CNT P-CONN Where IP-ADV NP-SBJ NP-GENV PRO;_genm_ my NPR QED VBD embraced NP-OB1 ADJP ADJ much PP P-ROLE of NP D the ADJP NP N context PUNC - ADJ free NS languages PUNC , NP-SBJ D this N version MD;~cat_Vi could NEG not IP-INF-CAT ADVP-MOD ADV even VB express NP-OB1 Q all ADJP ADJ regular NS languages PUNC . 
( (IP-MAT;{LIMITATION} (PP-SCON-CNT (P-CONN Where;{where})
                                    (IP-ADV (NP-SBJ;{GECOS_QED} (NP-GENV (PRO;_genm_ my;{my}))
                                                                (NPR QED;{QED}))
                                            (VBD embraced;{embrace})
                                            (NP-OB1 (ADJP (ADJ much;{much}))
                                                    (PP (P-ROLE of;{of})
                                                        (NP (D the;{the})
                                                            (ADJP (NP (N context;{context}))
                                                                  (PUNC -)
                                                                  (ADJ free;{free}))
                                                            (NS languages;{language}))))))
                       (PUNC ,)
                       (NP-SBJ;{STANDARD_ED} (D this;{this})
                                             (N version;{version}))
                       (MD;~cat_Vi could;{can})
                       (NEG not;{not})
                       (IP-INF-CAT (ADVP-MOD (ADV even;{even}))
                                   (VB express;{express})
                                   (NP-OB1 (Q all;{all})
                                           (ADJP (ADJ regular;{regular}))
                                           (NS languages;{language})))
                       (PUNC .))
  (ID 38_a_history_of_qed))