(Program
  (Not
  { (Identifier)
  ->(Identifier) })
{+(Not
    (Identifier))+})