1 2 3 4 5 6 7
abstract ExtraLexicon = Cat ** { fun time_N : N ; square_A : A ; value_N : N ; element_N : N ; }