(Program
  (Object
  { (Pair
      (Identifier)
      (StringLiteral))
  ->(Pair
      (SymbolLiteral)
      (StringLiteral)) }
  {+(Pair
      (SymbolLiteral)
      (IntegerLiteral))+}
  { (Pair
      (Identifier)
      (IntegerLiteral))
  ->(Pair
      (StringLiteral)
      (Boolean)) }
  {+(Pair
      (SymbolLiteral)
      (IntegerLiteral))+}
  {-(Pair
      (Identifier)
      (Boolean))-}))