{
  "token_to_id": {
    "<pad>": 0,
    "<unk>": 1,
    "<sep>": 2,
    "(": 3,
    ")": 4,
    "->": 5,
    ".": 6,
    "Animal": 7,
    "Associative": 8,
    "Divisible": 9,
    "Even": 10,
    "Finite": 11,
    "Group": 12,
    "HasIdentity": 13,
    "Human": 14,
    "Integer": 15,
    "Invertible": 16,
    "Living": 17,
    "Monoid": 18,
    "Mortal": 19,
    "Natural": 20,
    "NeedsWater": 21,
    "Odd": 22,
    "Prime": 23,
    "alice": 24,
    "bob": 25,
    "forall": 26,
    "g": 27,
    "one": 28,
    "plato": 29,
    "sep": 30,
    "socrates": 31,
    "two": 32,
    "x": 33,
    "zero": 34,
    "<axiom>": 35,
    "<goal>": 36,
    "<chain>": 37,
    "<step>": 38
  }
}