Tool definition: {"type": "function", "function": {"name": "inform", "description": "Correctly extracted `inform` with all the required parameters with correct types", "parameters": {"properties": {"name": {"title": "Name", "type": "string"}, "release_year": {"title": "Release Year", "type": "integer"}, "genres": {"items": {"type": "string"}, "title": "Genres", "type": "array"}, "platforms": {"items": {"type": "string"}, "title": "Platforms", "type": "array"}, "available_on_steam": {"title": "Available On Steam", "type": "boolean"}, "has_linux_release": {"title": "Has Linux Release", "type": "boolean"}, "has_mac_release": {"title": "Has Mac Release", "type": "boolean"}}, "required": ["available_on_steam", "genres", "has_linux_release", "has_mac_release", "name", "platforms", "release_year"], "type": "object"}}}
Input: TrackMania Turbo is an arcade racing game from 2016 that you can get on Steam. It was released for the PlayStation, Xbox, PC, but not the Linux or Mac.
Function call: {"name": "inform", "arguments": {"name": "TrackMania Turbo", "release_year": 2016, "genres": ["arcade", "driving/racing"], "platforms": ["PlayStation", "Xbox", "PC"], "available_on_steam": true, "has_linux_release": false, "has_mac_release": false}}