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