Context                Previous, Next                Top


52_a_history_of_qed
They have been elaborated somewhat in that they deal with a very large character set (Unicode), but they keep both the classical set of operators (<star>, <pipe>, concatenation, grouping for parentheses) and the NDFA simulation.

%3 r_0052_0002__have have r_0052_0003__been been r_0052_0002__have->r_0052_0003__been [scope] r_0052_0004__elaborated elaborated r_0052_0003__been->r_0052_0004__elaborated [scope] r_0052_0001__They They r_0052_0004__elaborated->r_0052_0001__They [arg1] r_0052_0005__somewhat somewhat r_0052_0004__elaborated->r_0052_0005__somewhat [nim] z_000_52_a_history_of_qed_13 r_0052_0004__elaborated->z_000_52_a_history_of_qed_13 [arg0] r_0052_0006__in_that in that r_0052_0006__in_that->r_0052_0002__have [scope] r_0052_0008__deal deal r_0052_0006__in_that->r_0052_0008__deal [restriction] r_0052_0008__deal->r_0052_0001__They [arg0] r_0052_0010__a_r_0052_0013__character_r_0052_0014__set a character set r_0052_0008__deal->r_0052_0010__a_r_0052_0013__character_r_0052_0014__set with [clr] r_0052_0012__large large r_0052_0010__a_r_0052_0013__character_r_0052_0014__set->r_0052_0012__large [attrib] r_0052_0011__very very r_0052_0012__large->r_0052_0011__very [qual] r_0052_0019__but but r_0052_0019__but->r_0052_0006__in_that [conj1] r_0052_0021__keep keep r_0052_0019__but->r_0052_0021__keep [conj2] r_0052_0020__they they r_0052_0021__keep->r_0052_0020__they [arg0] r_0052_0022__both_r_0052_0039__and both and r_0052_0021__keep->r_0052_0022__both_r_0052_0039__and [arg1] r_0052_0023__the_r_0052_0025__set the set r_0052_0022__both_r_0052_0039__and->r_0052_0023__the_r_0052_0025__set [conj1] r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation the NDFA simulation r_0052_0022__both_r_0052_0039__and->r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation [conj2] r_0052_0024__classical classical r_0052_0023__the_r_0052_0025__set->r_0052_0024__classical [attrib] r_0052_0027__operators operators r_0052_0023__the_r_0052_0025__set->r_0052_0027__operators of r_0052_0035__grouping grouping r_0052_0037__parentheses parentheses r_0052_0035__grouping->r_0052_0037__parentheses for z_000_52_a_history_of_qed_47 z_000_52_a_history_of_qed_47->r_0052_0010__a_r_0052_0013__character_r_0052_0014__set [arg0] r_0052_0016__Unicode Unicode z_000_52_a_history_of_qed_47->r_0052_0016__Unicode [prd] z_000_52_a_history_of_qed_84 z_000_52_a_history_of_qed_84->r_0052_0023__the_r_0052_0025__set [arg0] z_000_52_a_history_of_qed_86 z_000_52_a_history_of_qed_84->z_000_52_a_history_of_qed_86 [prd] z_000_52_a_history_of_qed_86->r_0052_0035__grouping [conj4] r_0052_0029___star_ * z_000_52_a_history_of_qed_86->r_0052_0029___star_ [conj1] r_0052_0031___pipe_ pipe z_000_52_a_history_of_qed_86->r_0052_0031___pipe_ [conj2] r_0052_0033__concatenation concatenation z_000_52_a_history_of_qed_86->r_0052_0033__concatenation [conj3] 
arc(r_0052_0002__have, r_0052_0003__been, scope).
arc(r_0052_0003__been, r_0052_0004__elaborated, scope).
arc(r_0052_0004__elaborated, r_0052_0001__They, arg1).
arc(r_0052_0004__elaborated, r_0052_0005__somewhat, nim17).
arc(r_0052_0004__elaborated, z_000_52_a_history_of_qed_13, arg0).
arc(r_0052_0006__in_that, r_0052_0002__have, scope).
arc(r_0052_0006__in_that, r_0052_0008__deal, restriction).
arc(r_0052_0008__deal, r_0052_0001__They, arg0).
arc(r_0052_0008__deal, r_0052_0010__a_r_0052_0013__character_r_0052_0014__set, r_0052_0009__with_clr32).
arc(r_0052_0010__a_r_0052_0013__character_r_0052_0014__set, r_0052_0012__large, attrib35).
arc(r_0052_0012__large, r_0052_0011__very, qual36).
arc(r_0052_0019__but, r_0052_0006__in_that, conj1).
arc(r_0052_0019__but, r_0052_0021__keep, conj2).
arc(r_0052_0021__keep, r_0052_0020__they, arg0).
arc(r_0052_0021__keep, r_0052_0022__both_r_0052_0039__and, arg1).
arc(r_0052_0022__both_r_0052_0039__and, r_0052_0023__the_r_0052_0025__set, conj1).
arc(r_0052_0022__both_r_0052_0039__and, r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation, conj2).
arc(r_0052_0023__the_r_0052_0025__set, r_0052_0024__classical, attrib71).
arc(r_0052_0023__the_r_0052_0025__set, r_0052_0027__operators, r_0052_0026__of).
arc(r_0052_0035__grouping, r_0052_0037__parentheses, r_0052_0036__for).
arc(z_000_52_a_history_of_qed_47, r_0052_0010__a_r_0052_0013__character_r_0052_0014__set, arg0).
arc(z_000_52_a_history_of_qed_47, r_0052_0016__Unicode, prd).
arc(z_000_52_a_history_of_qed_84, r_0052_0023__the_r_0052_0025__set, arg0).
arc(z_000_52_a_history_of_qed_84, z_000_52_a_history_of_qed_86, prd).
arc(z_000_52_a_history_of_qed_86, r_0052_0029___star_, conj1).
arc(z_000_52_a_history_of_qed_86, r_0052_0031___pipe_, conj2).
arc(z_000_52_a_history_of_qed_86, r_0052_0033__concatenation, conj3).
arc(z_000_52_a_history_of_qed_86, r_0052_0035__grouping, conj4).


%3 z_000_52_a_history_of_qed_86 r_0052_0035__grouping grouping z_000_52_a_history_of_qed_86->r_0052_0035__grouping [conj4] r_0052_0033__concatenation concatenation z_000_52_a_history_of_qed_86->r_0052_0033__concatenation [conj3] r_0052_0031___pipe_ pipe z_000_52_a_history_of_qed_86->r_0052_0031___pipe_ [conj2] r_0052_0029___star_ * z_000_52_a_history_of_qed_86->r_0052_0029___star_ [conj1] r_0052_0037__parentheses parentheses r_0052_0035__grouping->r_0052_0037__parentheses for z_000_52_a_history_of_qed_84 z_000_52_a_history_of_qed_84->z_000_52_a_history_of_qed_86 [prd] r_0052_0023__the_r_0052_0025__set the set z_000_52_a_history_of_qed_84->r_0052_0023__the_r_0052_0025__set [arg0] r_0052_0027__operators operators r_0052_0023__the_r_0052_0025__set->r_0052_0027__operators of r_0052_0024__classical classical r_0052_0023__the_r_0052_0025__set->r_0052_0024__classical [attrib] z_000_52_a_history_of_qed_47 r_0052_0016__Unicode Unicode z_000_52_a_history_of_qed_47->r_0052_0016__Unicode [prd] r_0052_0010__a_r_0052_0013__character_r_0052_0014__set a character set z_000_52_a_history_of_qed_47->r_0052_0010__a_r_0052_0013__character_r_0052_0014__set [arg0] r_0052_0012__large large r_0052_0010__a_r_0052_0013__character_r_0052_0014__set->r_0052_0012__large [attrib] r_0052_0022__both_r_0052_0039__and both and r_0052_0022__both_r_0052_0039__and->r_0052_0023__the_r_0052_0025__set [conj1] r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation the NDFA simulation r_0052_0022__both_r_0052_0039__and->r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation [conj2] r_0052_0021__keep keep r_0052_0021__keep->r_0052_0022__both_r_0052_0039__and [arg1] r_0052_0020__they they r_0052_0021__keep->r_0052_0020__they [arg0] r_0052_0019__but but r_0052_0019__but->r_0052_0021__keep [conj2] r_0052_0006__in_that in that r_0052_0019__but->r_0052_0006__in_that [conj1] r_0052_0008__deal deal r_0052_0006__in_that->r_0052_0008__deal [conj1] r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated have been elaborated r_0052_0006__in_that->r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated [conj2] r_0052_0011__very very r_0052_0012__large->r_0052_0011__very [qual] r_0052_0008__deal->r_0052_0010__a_r_0052_0013__character_r_0052_0014__set with [clr] r_0052_0001__They They r_0052_0008__deal->r_0052_0001__They [arg0] r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated->r_0052_0001__They [arg1] z_000_52_a_history_of_qed_13 r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated->z_000_52_a_history_of_qed_13 [arg0] r_0052_0005__somewhat somewhat r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated->r_0052_0005__somewhat [nim] 
fof(formula,axiom,
    ? [R_0052_0001__THEY,R_0052_0005__SOMEWHAT,Z_000_52_A_HISTORY_OF_QED_13,R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED,R_0052_0011__VERY,R_0052_0012__LARGE,R_0052_0010__A_R_0052_0013__CHARACTER_R_0052_0014__SET,R_0052_0008__DEAL,R_0052_0006__IN_THAT,R_0052_0020__THEY,R_0052_0024__CLASSICAL,R_0052_0027__OPERATORS,R_0052_0023__THE_R_0052_0025__SET,R_0052_0040__THE_R_0052_0041__NDFA_R_0052_0042__SIMULATION,R_0052_0022__BOTH_R_0052_0039__AND,R_0052_0021__KEEP,R_0052_0019__BUT,R_0052_0016__UNICODE,Z_000_52_A_HISTORY_OF_QED_47,R_0052_0029___STAR_,R_0052_0031___PIPE_,R_0052_0033__CONCATENATION,R_0052_0037__PARENTHESES,R_0052_0035__GROUPING,Z_000_52_A_HISTORY_OF_QED_86,Z_000_52_A_HISTORY_OF_QED_84] :
      ( r_0052_0001__They(R_0052_0001__THEY)
      & r_0052_0005__somewhat(R_0052_0005__SOMEWHAT)
      & r_0052_0011__very(R_0052_0011__VERY)
      & r_0052_0016__Unicode(R_0052_0016__UNICODE)
      & r_0052_0020__they(R_0052_0020__THEY)
      & r_0052_0024__classical(R_0052_0024__CLASSICAL)
      & r_0052_0027__operators(R_0052_0027__OPERATORS)
      & r_0052_0029___star_(R_0052_0029___STAR_)
      & r_0052_0031___pipe_(R_0052_0031___PIPE_)
      & r_0052_0033__concatenation(R_0052_0033__CONCATENATION)
      & r_0052_0037__parentheses(R_0052_0037__PARENTHESES)
      & r_0052_0040__the_r_0052_0041__NDFA_r_0052_0042__simulation(R_0052_0040__THE_R_0052_0041__NDFA_R_0052_0042__SIMULATION)
      & z_000_52_a_history_of_qed_13(Z_000_52_A_HISTORY_OF_QED_13)
      & z_000_52_a_history_of_qed_84(Z_000_52_A_HISTORY_OF_QED_84)
      & has_prd(Z_000_52_A_HISTORY_OF_QED_84,Z_000_52_A_HISTORY_OF_QED_86)
      & z_000_52_a_history_of_qed_86(Z_000_52_A_HISTORY_OF_QED_86)
      & has_conj4(Z_000_52_A_HISTORY_OF_QED_86,R_0052_0035__GROUPING)
      & r_0052_0035__grouping(R_0052_0035__GROUPING)
      & has_r_0052_0036__for(R_0052_0035__GROUPING,R_0052_0037__PARENTHESES)
      & has_conj3(Z_000_52_A_HISTORY_OF_QED_86,R_0052_0033__CONCATENATION)
      & has_conj2(Z_000_52_A_HISTORY_OF_QED_86,R_0052_0031___PIPE_)
      & has_conj1(Z_000_52_A_HISTORY_OF_QED_86,R_0052_0029___STAR_)
      & has_arg0(Z_000_52_A_HISTORY_OF_QED_84,R_0052_0023__THE_R_0052_0025__SET)
      & r_0052_0023__the_r_0052_0025__set(R_0052_0023__THE_R_0052_0025__SET)
      & has_r_0052_0026__of(R_0052_0023__THE_R_0052_0025__SET,R_0052_0027__OPERATORS)
      & has_attrib71(R_0052_0023__THE_R_0052_0025__SET,R_0052_0024__CLASSICAL)
      & z_000_52_a_history_of_qed_47(Z_000_52_A_HISTORY_OF_QED_47)
      & has_prd(Z_000_52_A_HISTORY_OF_QED_47,R_0052_0016__UNICODE)
      & has_arg0(Z_000_52_A_HISTORY_OF_QED_47,R_0052_0010__A_R_0052_0013__CHARACTER_R_0052_0014__SET)
      & r_0052_0010__a_r_0052_0013__character_r_0052_0014__set(R_0052_0010__A_R_0052_0013__CHARACTER_R_0052_0014__SET)
      & has_attrib35(R_0052_0010__A_R_0052_0013__CHARACTER_R_0052_0014__SET,R_0052_0012__LARGE)
      & r_0052_0012__large(R_0052_0012__LARGE)
      & has_qual36(R_0052_0012__LARGE,R_0052_0011__VERY)
      & r_0052_0019__but(R_0052_0019__BUT)
      & has_conj2(R_0052_0019__BUT,R_0052_0021__KEEP)
      & r_0052_0021__keep(R_0052_0021__KEEP)
      & has_arg1(R_0052_0021__KEEP,R_0052_0022__BOTH_R_0052_0039__AND)
      & r_0052_0022__both_r_0052_0039__and(R_0052_0022__BOTH_R_0052_0039__AND)
      & has_conj2(R_0052_0022__BOTH_R_0052_0039__AND,R_0052_0040__THE_R_0052_0041__NDFA_R_0052_0042__SIMULATION)
      & has_conj1(R_0052_0022__BOTH_R_0052_0039__AND,R_0052_0023__THE_R_0052_0025__SET)
      & has_arg0(R_0052_0021__KEEP,R_0052_0020__THEY)
      & has_conj1(R_0052_0019__BUT,R_0052_0006__IN_THAT)
      & r_0052_0006__in_that(R_0052_0006__IN_THAT)
      & has_conj1(R_0052_0006__IN_THAT,R_0052_0008__DEAL)
      & r_0052_0008__deal(R_0052_0008__DEAL)
      & has_r_0052_0009__with_clr32(R_0052_0008__DEAL,R_0052_0010__A_R_0052_0013__CHARACTER_R_0052_0014__SET)
      & has_arg0(R_0052_0008__DEAL,R_0052_0001__THEY)
      & has_conj2(R_0052_0006__IN_THAT,R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED)
      & r_0052_0002__have_r_0052_0003__been_r_0052_0004__elaborated(R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED)
      & has_arg0(R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED,Z_000_52_A_HISTORY_OF_QED_13)
      & has_nim17(R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED,R_0052_0005__SOMEWHAT)
      & has_arg1(R_0052_0002__HAVE_R_0052_0003__BEEN_R_0052_0004__ELABORATED,R_0052_0001__THEY) ) ).


n52_a_history_of_qed n52_a_history_of_qed__1_1_1_1_1_1 They n52_a_history_of_qed__1_1_1_2_1 have n52_a_history_of_qed__1_1_1_3_1_1 been n52_a_history_of_qed__1_1_1_3_2_1_1 * n52_a_history_of_qed__1_1_1_3_2_2_1 elaborated n52_a_history_of_qed__1_1_1_3_2_3_1_1 somewhat n52_a_history_of_qed__1_1_1_4_1_1 in_that n52_a_history_of_qed__1_1_1_4_2_1_1_1 they n52_a_history_of_qed__1_1_1_4_2_2_1 deal n52_a_history_of_qed__1_1_1_4_2_3_1_1 with n52_a_history_of_qed__1_1_1_4_2_3_2_1_1 a n52_a_history_of_qed__1_1_1_4_2_3_2_2_1_1_1 very n52_a_history_of_qed__1_1_1_4_2_3_2_2_2_1 large n52_a_history_of_qed__1_1_1_4_2_3_2_3_1 character n52_a_history_of_qed__1_1_1_4_2_3_2_4_1 set n52_a_history_of_qed__1_1_1_4_2_3_2_5_1 -LRB- n52_a_history_of_qed__1_1_1_4_2_3_2_6_1_1_1 Unicode n52_a_history_of_qed__1_1_1_4_2_3_2_7_1 -RRB- n52_a_history_of_qed__1_1_2_1 , n52_a_history_of_qed__1_1_3_1_1 but n52_a_history_of_qed__1_1_3_2_1_1_1 they n52_a_history_of_qed__1_1_3_2_2_1 keep n52_a_history_of_qed__1_1_3_2_3_1_1_1 both n52_a_history_of_qed__1_1_3_2_3_1_2_1_1 the n52_a_history_of_qed__1_1_3_2_3_1_2_2_1_1 classical n52_a_history_of_qed__1_1_3_2_3_1_2_3_1 set n52_a_history_of_qed__1_1_3_2_3_1_2_4_1_1 of n52_a_history_of_qed__1_1_3_2_3_1_2_4_2_1_1 operators n52_a_history_of_qed__1_1_3_2_3_1_2_5_1 -LRB- n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1_1_1 <star> n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_2_1 , n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1_1_1 <pipe> n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_4_1 , n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1_1_1 concatenation n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_6_1 , n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_1_1 grouping n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_1_1 for n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2_1_1 parentheses n52_a_history_of_qed__1_1_3_2_3_1_2_7_1 -RRB- n52_a_history_of_qed__1_1_3_2_3_1_3_1_1 and n52_a_history_of_qed__1_1_3_2_3_1_3_2_1_1 the n52_a_history_of_qed__1_1_3_2_3_1_3_2_2_1 NDFA n52_a_history_of_qed__1_1_3_2_3_1_3_2_3_1 simulation n52_a_history_of_qed__1_2_1 . n52_a_history_of_qed__1 IP-MAT n52_a_history_of_qed__1_1 ILYR n52_a_history_of_qed__1->n52_a_history_of_qed__1_1 n52_a_history_of_qed__1_2 PUNC n52_a_history_of_qed__1->n52_a_history_of_qed__1_2 n52_a_history_of_qed__1_1_1 ILYR n52_a_history_of_qed__1_1->n52_a_history_of_qed__1_1_1 n52_a_history_of_qed__1_1_2 PUNC n52_a_history_of_qed__1_1->n52_a_history_of_qed__1_1_2 n52_a_history_of_qed__1_1_3 CONJP n52_a_history_of_qed__1_1->n52_a_history_of_qed__1_1_3 n52_a_history_of_qed__1_1_1_1 NP-SBJ n52_a_history_of_qed__1_1_1->n52_a_history_of_qed__1_1_1_1 n52_a_history_of_qed__1_1_1_2 HVP;_cat_Ve_ n52_a_history_of_qed__1_1_1->n52_a_history_of_qed__1_1_1_2 n52_a_history_of_qed__1_1_1_3 IP-PPL-CAT n52_a_history_of_qed__1_1_1->n52_a_history_of_qed__1_1_1_3 n52_a_history_of_qed__1_1_1_4 PP-SCON n52_a_history_of_qed__1_1_1->n52_a_history_of_qed__1_1_1_4 n52_a_history_of_qed__1_1_1_1_1 PRO n52_a_history_of_qed__1_1_1_1->n52_a_history_of_qed__1_1_1_1_1 n52_a_history_of_qed__1_1_1_1_1->n52_a_history_of_qed__1_1_1_1_1_1 n52_a_history_of_qed__1_1_1_2->n52_a_history_of_qed__1_1_1_2_1 n52_a_history_of_qed__1_1_1_3_1 BEN;_cat_VePASS_ n52_a_history_of_qed__1_1_1_3->n52_a_history_of_qed__1_1_1_3_1 n52_a_history_of_qed__1_1_1_3_2 IP-PPL-CAT n52_a_history_of_qed__1_1_1_3->n52_a_history_of_qed__1_1_1_3_2 n52_a_history_of_qed__1_1_1_3_1->n52_a_history_of_qed__1_1_1_3_1_1 n52_a_history_of_qed__1_1_1_3_2_1 NP-LGS n52_a_history_of_qed__1_1_1_3_2->n52_a_history_of_qed__1_1_1_3_2_1 n52_a_history_of_qed__1_1_1_3_2_2 VVN;__ n52_a_history_of_qed__1_1_1_3_2->n52_a_history_of_qed__1_1_1_3_2_2 n52_a_history_of_qed__1_1_1_3_2_3 ADVP-NIM n52_a_history_of_qed__1_1_1_3_2->n52_a_history_of_qed__1_1_1_3_2_3 n52_a_history_of_qed__1_1_1_3_2_1->n52_a_history_of_qed__1_1_1_3_2_1_1 n52_a_history_of_qed__1_1_1_3_2_2->n52_a_history_of_qed__1_1_1_3_2_2_1 n52_a_history_of_qed__1_1_1_3_2_3_1 ADV n52_a_history_of_qed__1_1_1_3_2_3->n52_a_history_of_qed__1_1_1_3_2_3_1 n52_a_history_of_qed__1_1_1_3_2_3_1->n52_a_history_of_qed__1_1_1_3_2_3_1_1 n52_a_history_of_qed__1_1_1_4_1 P-CONN n52_a_history_of_qed__1_1_1_4->n52_a_history_of_qed__1_1_1_4_1 n52_a_history_of_qed__1_1_1_4_2 IP-ADV n52_a_history_of_qed__1_1_1_4->n52_a_history_of_qed__1_1_1_4_2 n52_a_history_of_qed__1_1_1_4_1->n52_a_history_of_qed__1_1_1_4_1_1 n52_a_history_of_qed__1_1_1_4_2_1 NP-SBJ n52_a_history_of_qed__1_1_1_4_2->n52_a_history_of_qed__1_1_1_4_2_1 n52_a_history_of_qed__1_1_1_4_2_2 VBP;__ n52_a_history_of_qed__1_1_1_4_2->n52_a_history_of_qed__1_1_1_4_2_2 n52_a_history_of_qed__1_1_1_4_2_3 PP-CLR n52_a_history_of_qed__1_1_1_4_2->n52_a_history_of_qed__1_1_1_4_2_3 n52_a_history_of_qed__1_1_1_4_2_1_1 PRO n52_a_history_of_qed__1_1_1_4_2_1->n52_a_history_of_qed__1_1_1_4_2_1_1 n52_a_history_of_qed__1_1_1_4_2_1_1->n52_a_history_of_qed__1_1_1_4_2_1_1_1 n52_a_history_of_qed__1_1_1_4_2_2->n52_a_history_of_qed__1_1_1_4_2_2_1 n52_a_history_of_qed__1_1_1_4_2_3_1 P-ROLE n52_a_history_of_qed__1_1_1_4_2_3->n52_a_history_of_qed__1_1_1_4_2_3_1 n52_a_history_of_qed__1_1_1_4_2_3_2 NP n52_a_history_of_qed__1_1_1_4_2_3->n52_a_history_of_qed__1_1_1_4_2_3_2 n52_a_history_of_qed__1_1_1_4_2_3_1->n52_a_history_of_qed__1_1_1_4_2_3_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_1 D n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_1 n52_a_history_of_qed__1_1_1_4_2_3_2_2 ADJP n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_2 n52_a_history_of_qed__1_1_1_4_2_3_2_3 N n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_3 n52_a_history_of_qed__1_1_1_4_2_3_2_4 N n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_4 n52_a_history_of_qed__1_1_1_4_2_3_2_5 PULB n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_5 n52_a_history_of_qed__1_1_1_4_2_3_2_6 IP-PPL n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_6 n52_a_history_of_qed__1_1_1_4_2_3_2_7 PURB n52_a_history_of_qed__1_1_1_4_2_3_2->n52_a_history_of_qed__1_1_1_4_2_3_2_7 n52_a_history_of_qed__1_1_1_4_2_3_2_1->n52_a_history_of_qed__1_1_1_4_2_3_2_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_2_1 ADVP n52_a_history_of_qed__1_1_1_4_2_3_2_2->n52_a_history_of_qed__1_1_1_4_2_3_2_2_1 n52_a_history_of_qed__1_1_1_4_2_3_2_2_2 ADJ n52_a_history_of_qed__1_1_1_4_2_3_2_2->n52_a_history_of_qed__1_1_1_4_2_3_2_2_2 n52_a_history_of_qed__1_1_1_4_2_3_2_2_1_1 ADV n52_a_history_of_qed__1_1_1_4_2_3_2_2_1->n52_a_history_of_qed__1_1_1_4_2_3_2_2_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_2_1_1->n52_a_history_of_qed__1_1_1_4_2_3_2_2_1_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_2_2->n52_a_history_of_qed__1_1_1_4_2_3_2_2_2_1 n52_a_history_of_qed__1_1_1_4_2_3_2_3->n52_a_history_of_qed__1_1_1_4_2_3_2_3_1 n52_a_history_of_qed__1_1_1_4_2_3_2_4->n52_a_history_of_qed__1_1_1_4_2_3_2_4_1 n52_a_history_of_qed__1_1_1_4_2_3_2_5->n52_a_history_of_qed__1_1_1_4_2_3_2_5_1 n52_a_history_of_qed__1_1_1_4_2_3_2_6_1 NP-PRD n52_a_history_of_qed__1_1_1_4_2_3_2_6->n52_a_history_of_qed__1_1_1_4_2_3_2_6_1 n52_a_history_of_qed__1_1_1_4_2_3_2_6_1_1 NPR n52_a_history_of_qed__1_1_1_4_2_3_2_6_1->n52_a_history_of_qed__1_1_1_4_2_3_2_6_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_6_1_1->n52_a_history_of_qed__1_1_1_4_2_3_2_6_1_1_1 n52_a_history_of_qed__1_1_1_4_2_3_2_7->n52_a_history_of_qed__1_1_1_4_2_3_2_7_1 n52_a_history_of_qed__1_1_2->n52_a_history_of_qed__1_1_2_1 n52_a_history_of_qed__1_1_3_1 CONJ n52_a_history_of_qed__1_1_3->n52_a_history_of_qed__1_1_3_1 n52_a_history_of_qed__1_1_3_2 ILYR n52_a_history_of_qed__1_1_3->n52_a_history_of_qed__1_1_3_2 n52_a_history_of_qed__1_1_3_1->n52_a_history_of_qed__1_1_3_1_1 n52_a_history_of_qed__1_1_3_2_1 NP-SBJ n52_a_history_of_qed__1_1_3_2->n52_a_history_of_qed__1_1_3_2_1 n52_a_history_of_qed__1_1_3_2_2 VBP;__ n52_a_history_of_qed__1_1_3_2->n52_a_history_of_qed__1_1_3_2_2 n52_a_history_of_qed__1_1_3_2_3 NP-OB1 n52_a_history_of_qed__1_1_3_2->n52_a_history_of_qed__1_1_3_2_3 n52_a_history_of_qed__1_1_3_2_1_1 PRO n52_a_history_of_qed__1_1_3_2_1->n52_a_history_of_qed__1_1_3_2_1_1 n52_a_history_of_qed__1_1_3_2_1_1->n52_a_history_of_qed__1_1_3_2_1_1_1 n52_a_history_of_qed__1_1_3_2_2->n52_a_history_of_qed__1_1_3_2_2_1 n52_a_history_of_qed__1_1_3_2_3_1 NLYR n52_a_history_of_qed__1_1_3_2_3->n52_a_history_of_qed__1_1_3_2_3_1 n52_a_history_of_qed__1_1_3_2_3_1_1 CONJ n52_a_history_of_qed__1_1_3_2_3_1->n52_a_history_of_qed__1_1_3_2_3_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2 NLYR n52_a_history_of_qed__1_1_3_2_3_1->n52_a_history_of_qed__1_1_3_2_3_1_2 n52_a_history_of_qed__1_1_3_2_3_1_3 CONJP n52_a_history_of_qed__1_1_3_2_3_1->n52_a_history_of_qed__1_1_3_2_3_1_3 n52_a_history_of_qed__1_1_3_2_3_1_1->n52_a_history_of_qed__1_1_3_2_3_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_1 D n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_2 ADJP n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_2 n52_a_history_of_qed__1_1_3_2_3_1_2_3 N n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_3 n52_a_history_of_qed__1_1_3_2_3_1_2_4 PP n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_4 n52_a_history_of_qed__1_1_3_2_3_1_2_5 PULB n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_5 n52_a_history_of_qed__1_1_3_2_3_1_2_6 IP-PPL n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_6 n52_a_history_of_qed__1_1_3_2_3_1_2_7 PURB n52_a_history_of_qed__1_1_3_2_3_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_7 n52_a_history_of_qed__1_1_3_2_3_1_2_1->n52_a_history_of_qed__1_1_3_2_3_1_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_2_1 ADJ n52_a_history_of_qed__1_1_3_2_3_1_2_2->n52_a_history_of_qed__1_1_3_2_3_1_2_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_2_1->n52_a_history_of_qed__1_1_3_2_3_1_2_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_3->n52_a_history_of_qed__1_1_3_2_3_1_2_3_1 n52_a_history_of_qed__1_1_3_2_3_1_2_4_1 P-ROLE n52_a_history_of_qed__1_1_3_2_3_1_2_4->n52_a_history_of_qed__1_1_3_2_3_1_2_4_1 n52_a_history_of_qed__1_1_3_2_3_1_2_4_2 NP n52_a_history_of_qed__1_1_3_2_3_1_2_4->n52_a_history_of_qed__1_1_3_2_3_1_2_4_2 n52_a_history_of_qed__1_1_3_2_3_1_2_4_1->n52_a_history_of_qed__1_1_3_2_3_1_2_4_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_4_2_1 NS n52_a_history_of_qed__1_1_3_2_3_1_2_4_2->n52_a_history_of_qed__1_1_3_2_3_1_2_4_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_4_2_1->n52_a_history_of_qed__1_1_3_2_3_1_2_4_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_5->n52_a_history_of_qed__1_1_3_2_3_1_2_5_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1 NP-PRD n52_a_history_of_qed__1_1_3_2_3_1_2_6->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1 NLYR n52_a_history_of_qed__1_1_3_2_3_1_2_6_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1 NLYR n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_2 PUNC n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_2 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3 CONJP n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_4 PUNC n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_4 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5 CONJP n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_6 PUNC n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_6 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7 CONJP n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1_1 SYM n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1 NLYR n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1_1 SYM n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_3_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_4->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_4_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1 NLYR n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1_1 N n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_5_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_6->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_6_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1 NLYR n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_1 N n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2 PP n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_1 P-ROLE n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2 NP n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2_1 NS n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2_1 n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2_1->n52_a_history_of_qed__1_1_3_2_3_1_2_6_1_1_7_1_2_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_2_7->n52_a_history_of_qed__1_1_3_2_3_1_2_7_1 n52_a_history_of_qed__1_1_3_2_3_1_3_1 CONJ n52_a_history_of_qed__1_1_3_2_3_1_3->n52_a_history_of_qed__1_1_3_2_3_1_3_1 n52_a_history_of_qed__1_1_3_2_3_1_3_2 NLYR n52_a_history_of_qed__1_1_3_2_3_1_3->n52_a_history_of_qed__1_1_3_2_3_1_3_2 n52_a_history_of_qed__1_1_3_2_3_1_3_1->n52_a_history_of_qed__1_1_3_2_3_1_3_1_1 n52_a_history_of_qed__1_1_3_2_3_1_3_2_1 D n52_a_history_of_qed__1_1_3_2_3_1_3_2->n52_a_history_of_qed__1_1_3_2_3_1_3_2_1 n52_a_history_of_qed__1_1_3_2_3_1_3_2_2 NPR n52_a_history_of_qed__1_1_3_2_3_1_3_2->n52_a_history_of_qed__1_1_3_2_3_1_3_2_2 n52_a_history_of_qed__1_1_3_2_3_1_3_2_3 N n52_a_history_of_qed__1_1_3_2_3_1_3_2->n52_a_history_of_qed__1_1_3_2_3_1_3_2_3 n52_a_history_of_qed__1_1_3_2_3_1_3_2_1->n52_a_history_of_qed__1_1_3_2_3_1_3_2_1_1 n52_a_history_of_qed__1_1_3_2_3_1_3_2_2->n52_a_history_of_qed__1_1_3_2_3_1_3_2_2_1 n52_a_history_of_qed__1_1_3_2_3_1_3_2_3->n52_a_history_of_qed__1_1_3_2_3_1_3_2_3_1 n52_a_history_of_qed__1_2->n52_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{CURRENT_REGEX} (PRO They;{they}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;__ elaborated;{elaborate})
                                              (ADVP-NIM (ADV somewhat;{somewhat}))))
                      (PP-SCON (P-CONN in_that;{in_that})
                               (IP-ADV (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
                                       (VBP;__ deal;{deal})
                                       (PP-CLR (P-ROLE with;{with})
                                               (NP (D a;{a})
                                                   (ADJP (ADVP (ADV very;{very}))
                                                         (ADJ large;{large}))
                                                   (N character;{character})
                                                   (N set;{set})
                                                   (PULB -LRB-)
                                                   (IP-PPL (NP-PRD (NPR Unicode;{Unicode})))
                                                   (PURB -RRB-))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
                             (VBP;__ keep;{keep})
                             (NP-OB1 (NLYR (CONJ both;{both})
                                           (NLYR (D the;{the})
                                                 (ADJP (ADJ classical;{classical}))
                                                 (N set;{set})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (NS operators;{operator})))
                                                 (PULB -LRB-)
                                                 (IP-PPL (NP-PRD (NLYR (NLYR (SYM <star>))
                                                                       (PUNC ,)
                                                                       (CONJP (NLYR (SYM <pipe>)))
                                                                       (PUNC ,)
                                                                       (CONJP (NLYR (N concatenation;{concatenation})))
                                                                       (PUNC ,)
                                                                       (CONJP (NLYR (N grouping;{grouping})
                                                                                    (PP (P-ROLE for;{for})
                                                                                        (NP (NS parentheses;{parenthesis}))))))))
                                                 (PURB -RRB-))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (D the;{the})
                                                        (NPR NDFA;{NDFA})
                                                        (N simulation;{simulation}))))))))
          (PUNC .))
  (ID 52_a_history_of_qed))