concrete AllBel of AllBelAbs =
  LangBel
  **
    {} ;