concrete AllBel of AllBelAbs =
  LangBel,
  ExtendBel
  **
    {} ;