abstract ExtraLexicon = Cat ** {
fun
  time_N : N ;
  square_A : A ;
  value_N : N ;
  element_N : N ;
}