(Program
  (If
  { (Identifier)
  ->(Identifier) }
  {+(Identifier)+}
  {+(Elsif
      (Identifier)
      (Identifier)
      (Else
        (Identifier)))+})
{-(If
    (Identifier))-})