abstract ExtraPnbAbs = Extra ** {

-- uncontracted negations; contracted are the default
  fun

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