abstract ExtraHinAbs = Extra ** {

  fun

  each_Det : Det ;
  have_V : V;
  cost_V : V;
}