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