abstract Saldo = Cat [N,A,V,PN,Adv,Prep] ** {