concrete AdjectiveUkr of Adjective = CatUkr ** {
lin
  PositA a = a ;
}