concrete LexEng of Lex = CatEng ** open ParadigmsEng in {
  lin 
    zero_PN = regPN "zero" nonhuman ;
    successor_N2 = regN2 "successor" ;
    even_A = regA "even" ;
}