abstract AllPnbAbs =
  Lang,
  ExtraPnbAbs
  ** {} ;