concrete CatSlv of Cat = open ResSlv in {

lincat
  N = {s : Case => Number => Str; g : Gender};
  PN = {s : Case => Number => Str; g : Gender};

  A = {s : AForm => Str};

  V = {s : VForm => Str};

}