abstract DictFinAbs = {
cat NK ; VK ; AdvK ;

