abstract ExtraRusAbs = Cat ** {

fun

  have_V3 : V3 ;
  have2_V3 : V3 ;
  have_not_V3 : V3; 

  be_V3 : V3 ;

  to2_Prep : Prep ;
}