abstract TestVerbesAbs = TestResource, VerbesAbs ** {
  fun UseVN : VN -> V ;
}