Context                Previous, Next                Top


17_a_history_of_qed
However , the basic technique of simulating an NDFA was still used .

%3 0017_0001__Howeve0017_0010__was_0017_0012__used however_was_used 0017_0003__the_0017_0005__technique the_technique 0017_0001__Howeve0017_0010__was_0017_0012__used->0017_0003__the_0017_0005__technique [arg1] 0017_0011__still still 0017_0001__Howeve0017_0010__was_0017_0012__used->0017_0011__still [tmp] 0017_0004__basic basic 0017_0003__the_0017_0005__technique->0017_0004__basic [attrib] 0017_0007__simulating simulating 0017_0003__the_0017_0005__technique->0017_0007__simulating of 0017_0008__an_0017_0009__NDFA an_ndfa 0017_0007__simulating->0017_0008__an_0017_0009__NDFA [arg1] 
arc(r_0017_0001__However_r_0017_0010__was_r_0017_0012__used,r_0017_0003__the_r_0017_0005__technique,arg1).
arc(r_0017_0001__However_r_0017_0010__was_r_0017_0012__used,r_0017_0011__still,tmp).
arc(r_0017_0003__the_r_0017_0005__technique,r_0017_0004__basic,attrib).
arc(r_0017_0003__the_r_0017_0005__technique,r_0017_0007__simulating,r_0017_0006__of).
arc(r_0017_0007__simulating,r_0017_0008__an_r_0017_0009__NDFA,arg1).

IP-MAT ADVP-CNT ADV However PUNC , NP-SBJ D the ADJP ADJ basic N technique PP P-ROLE of IP-PPL VAG simulating NP-OB1 D an NPR NDFA BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * ADVP-TMP ADV still VVN used PUNC . 
( (IP-MAT (ADVP-CNT (ADV However;{however}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ basic;{basic}))
                  (N technique;{technique})
                  (PP (P-ROLE of;{of})
                      (IP-PPL (VAG simulating;{simulate})
                              (NP-OB1 (D an;{an})
                                      (NPR NDFA;{NDFA})))))
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-TMP (ADV still;{still}))
                      (VVN used;{use}))
          (PUNC .))
  (ID 17_a_history_of_qed))