{   {- A -}
    a
    -- B
  . -- C
    b
  . c
    {- D -}
  . d =
      -- E
      x
,   {- F -}
    e
    {- G -}
  . f =
      {- H -}
      { g = y }
}