Context                Previous, Next                Top


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

%3 r_0017_0003__the_r_0017_0005__technique the technique r_0017_0004__basic basic r_0017_0003__the_r_0017_0005__technique->r_0017_0004__basic [attrib] r_0017_0007__simulating simulating r_0017_0003__the_r_0017_0005__technique->r_0017_0007__simulating of r_0017_0008__an_r_0017_0009__NDFA an NDFA r_0017_0007__simulating->r_0017_0008__an_r_0017_0009__NDFA [arg1] z_000_17_a_history_of_qed_18 r_0017_0007__simulating->z_000_17_a_history_of_qed_18 [arg0] r_0017_0010__was was r_0017_0001__However However r_0017_0010__was->r_0017_0001__However [nim] r_0017_0012__used used r_0017_0010__was->r_0017_0012__used [scope] r_0017_0012__used->r_0017_0003__the_r_0017_0005__technique [arg1] r_0017_0011__still still r_0017_0012__used->r_0017_0011__still [nim] z_000_17_a_history_of_qed_29 r_0017_0012__used->z_000_17_a_history_of_qed_29 [arg0] 
arc(r_0017_0003__the_r_0017_0005__technique, r_0017_0004__basic, attrib10).
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).
arc(r_0017_0007__simulating, z_000_17_a_history_of_qed_18, arg0).
arc(r_0017_0010__was, r_0017_0001__However, nim2).
arc(r_0017_0010__was, r_0017_0012__used, scope).
arc(r_0017_0012__used, r_0017_0003__the_r_0017_0005__technique, arg1).
arc(r_0017_0012__used, r_0017_0011__still, nim31).
arc(r_0017_0012__used, z_000_17_a_history_of_qed_29, arg0).


%3 r_0017_0003__the_r_0017_0005__technique the technique r_0017_0004__basic basic r_0017_0003__the_r_0017_0005__technique->r_0017_0004__basic [attrib] r_0017_0007__simulating simulating r_0017_0003__the_r_0017_0005__technique->r_0017_0007__simulating of r_0017_0008__an_r_0017_0009__NDFA an NDFA r_0017_0007__simulating->r_0017_0008__an_r_0017_0009__NDFA [arg1] z_000_17_a_history_of_qed_18 r_0017_0007__simulating->z_000_17_a_history_of_qed_18 [arg0] r_0017_0010__was_r_0017_0012__used was used r_0017_0010__was_r_0017_0012__used->r_0017_0003__the_r_0017_0005__technique [arg1] r_0017_0001__However However r_0017_0010__was_r_0017_0012__used->r_0017_0001__However [nim] r_0017_0011__still still r_0017_0010__was_r_0017_0012__used->r_0017_0011__still [nim] z_000_17_a_history_of_qed_29 r_0017_0010__was_r_0017_0012__used->z_000_17_a_history_of_qed_29 [arg0] 
fof(formula,axiom,
    ? [R_17_10_WAS_USED,Z_17_A_HISTORY_OF_QED_29,R_17_3_THE_TECHNIQUE,R_17_4_BASIC,R_17_7_SIMULATING,Z_17_A_HISTORY_OF_QED_18,R_17_8_AN_NDFA,R_17_1_HOWEVER,R_17_11_STILL] :
      ( basic(R_17_4_BASIC)
      & an_NDFA(R_17_8_AN_NDFA)
      & however(R_17_1_HOWEVER)
      & still(R_17_11_STILL)
      & was_used(R_17_10_WAS_USED,Z_17_A_HISTORY_OF_QED_29,R_17_3_THE_TECHNIQUE)
      & the_technique(R_17_3_THE_TECHNIQUE)
      & attrib10(R_17_3_THE_TECHNIQUE,R_17_4_BASIC)
      & of(R_17_3_THE_TECHNIQUE,R_17_7_SIMULATING)
      & simulating(R_17_7_SIMULATING,Z_17_A_HISTORY_OF_QED_18,R_17_8_AN_NDFA)
      & nim2(R_17_10_WAS_USED,R_17_1_HOWEVER)
      & nim31(R_17_10_WAS_USED,R_17_11_STILL) ) ).


n17_a_history_of_qed n17_a_history_of_qed_4 However n17_a_history_of_qed_6 , n17_a_history_of_qed_9 the n17_a_history_of_qed_12 basic n17_a_history_of_qed_14 technique n17_a_history_of_qed_17 of n17_a_history_of_qed_20 simulating n17_a_history_of_qed_23 an n17_a_history_of_qed_25 NDFA n17_a_history_of_qed_27 was n17_a_history_of_qed_30 * n17_a_history_of_qed_33 still n17_a_history_of_qed_35 used n17_a_history_of_qed_37 . n17_a_history_of_qed_1 IP-MAT n17_a_history_of_qed_2 ADVP-NIM n17_a_history_of_qed_1->n17_a_history_of_qed_2 n17_a_history_of_qed_5 PUNC n17_a_history_of_qed_1->n17_a_history_of_qed_5 n17_a_history_of_qed_7 NP-SBJ n17_a_history_of_qed_1->n17_a_history_of_qed_7 n17_a_history_of_qed_26 BED;_cat_VePASS_ n17_a_history_of_qed_1->n17_a_history_of_qed_26 n17_a_history_of_qed_28 IP-PPL-CAT n17_a_history_of_qed_1->n17_a_history_of_qed_28 n17_a_history_of_qed_36 PUNC n17_a_history_of_qed_1->n17_a_history_of_qed_36 n17_a_history_of_qed_3 ADV n17_a_history_of_qed_2->n17_a_history_of_qed_3 n17_a_history_of_qed_3->n17_a_history_of_qed_4 n17_a_history_of_qed_5->n17_a_history_of_qed_6 n17_a_history_of_qed_8 D n17_a_history_of_qed_7->n17_a_history_of_qed_8 n17_a_history_of_qed_10 ADJP n17_a_history_of_qed_7->n17_a_history_of_qed_10 n17_a_history_of_qed_13 N n17_a_history_of_qed_7->n17_a_history_of_qed_13 n17_a_history_of_qed_15 PP n17_a_history_of_qed_7->n17_a_history_of_qed_15 n17_a_history_of_qed_8->n17_a_history_of_qed_9 n17_a_history_of_qed_11 ADJ n17_a_history_of_qed_10->n17_a_history_of_qed_11 n17_a_history_of_qed_11->n17_a_history_of_qed_12 n17_a_history_of_qed_13->n17_a_history_of_qed_14 n17_a_history_of_qed_16 P-ROLE n17_a_history_of_qed_15->n17_a_history_of_qed_16 n17_a_history_of_qed_18 IP-PPL n17_a_history_of_qed_15->n17_a_history_of_qed_18 n17_a_history_of_qed_16->n17_a_history_of_qed_17 n17_a_history_of_qed_19 VAG;__ n17_a_history_of_qed_18->n17_a_history_of_qed_19 n17_a_history_of_qed_21 NP-OB1 n17_a_history_of_qed_18->n17_a_history_of_qed_21 n17_a_history_of_qed_19->n17_a_history_of_qed_20 n17_a_history_of_qed_22 D n17_a_history_of_qed_21->n17_a_history_of_qed_22 n17_a_history_of_qed_24 NPR n17_a_history_of_qed_21->n17_a_history_of_qed_24 n17_a_history_of_qed_22->n17_a_history_of_qed_23 n17_a_history_of_qed_24->n17_a_history_of_qed_25 n17_a_history_of_qed_26->n17_a_history_of_qed_27 n17_a_history_of_qed_29 NP-LGS n17_a_history_of_qed_28->n17_a_history_of_qed_29 n17_a_history_of_qed_31 ADVP-NIM n17_a_history_of_qed_28->n17_a_history_of_qed_31 n17_a_history_of_qed_34 VVN;__ n17_a_history_of_qed_28->n17_a_history_of_qed_34 n17_a_history_of_qed_29->n17_a_history_of_qed_30 n17_a_history_of_qed_32 ADV n17_a_history_of_qed_31->n17_a_history_of_qed_32 n17_a_history_of_qed_32->n17_a_history_of_qed_33 n17_a_history_of_qed_34->n17_a_history_of_qed_35 n17_a_history_of_qed_36->n17_a_history_of_qed_37 
( (IP-MAT (ADVP-NIM (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_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV still;{still}))
                      (VVN;__ used;{use}))
          (PUNC .))
  (ID 17_a_history_of_qed))