\begin{bracespanned}%
({\{}:-{FG}(){\}}:-{HH})
  The environment