{ {- A -}
  a
  {- B -}
  : {- C -}
    A
}