system: 
You are an expert in composing functions. You are given a question and a set of possible functions.
Based on the question, you will need to make one or more function/tool calls to achieve the purpose.
If none of the function can be used, point it out. If the given question lacks the parameters required by the function,
also point it out. You should only return the function call in tools call sections.

If you decide to invoke any of the function(s), you MUST put it in the format of [func_name1(params_name1=params_value1, params_name2=params_value2...), func_name2(params)]

You SHOULD NOT include any other text in the response.

Here is a list of functions in JSON format that you can invoke.

[{'name': 'get_service_providers', 'description': 'Find service providers based on various criteria such as rating, location, availability, and service types offered. Note that the provided function is in Python 3 syntax.', 'parameters': {'type': 'dict', 'required': [], 'properties': {'avg_rating': {'type': 'float', 'description': "The average review rating of the service provider on a scale of 1 to 5 stars. Use 'null' for unrated.", 'default': None}, 'province_id': {'type': 'integer', 'description': 'ID of the province where the service provider is located. Example: 1 for Bangkok, 2 for Chiang Mai.', 'enum': ['1', '2', '3', '4', '5'], 'default': None}, 'district_name': {'type': 'string', 'description': "The name of the district where the service provider is located, or 'null' if not specified.", 'default': None}, 'sub_district_name': {'type': 'string', 'description': "The name of the sub-district where the service provider is located, or 'null' if not specified.", 'default': None}, 'start_available_date': {'type': 'string', 'description': "The start of the availability period for the service provider in the format 'YYYY-MM-DD HH:mm:ss', or 'null' for immediate availability.", 'default': None}, 'end_available_date': {'type': 'string', 'description': "The end of the availability period for the service provider in the format 'YYYY-MM-DD HH:mm:ss', or 'null' if open-ended.", 'default': None}, 'min_age': {'type': 'integer', 'description': "The minimum age of the service provider, or 'null' if no preference.", 'default': None}, 'max_age': {'type': 'integer', 'description': "The maximum age of the service provider, or 'null' if no preference.", 'default': None}, 'has_quality_problem': {'type': 'boolean', 'description': 'Indicates whether the service provider has a record of quality problems (false for no record, true for having a record).', 'default': False}, 'has_late_check_in': {'type': 'boolean', 'description': 'Indicates whether the service provider has a record of late check-ins (false for no record, true for having a record).', 'default': False}, 'is_excellent': {'type': 'boolean', 'description': 'Indicates whether the service provider has a record of excellence (false for no record, true for having a record).', 'default': False}, 'is_package': {'type': 'boolean', 'description': 'Indicates whether the job is a packaged offer (false for individual services, true for a package).', 'default': False}, 'is_subscription': {'type': 'boolean', 'description': 'Indicates whether the job is subscription-based (false for one-time services, true for subscription).', 'default': False}, 'service_id': {'type': 'integer', 'description': 'ID of the service being offered by the provider. Example: 1 for cleaning service, 2 for ironing service.', 'enum': ['1', '2', '3', '13', '39', '15', '35', '24'], 'default': None}, 'available_for_pet': {'type': 'boolean', 'description': 'Indicates whether the service provider is available for households with pets (false for no, true for yes).', 'default': False}, 'professional_group_id': {'type': 'integer', 'description': 'ID of the professional group to which the service provider belongs. Example: 1 for Group A, 2 for Group B.', 'enum': ['1', '2', '3'], 'default': None}, 'job_qty': {'type': 'integer', 'description': "The number of jobs the service provider has received, or 'null' if not applicable.", 'default': None}, 'is_cleaning_condo': {'type': 'boolean', 'description': 'Indicates whether the service provider offers condo cleaning services (false for no, true for yes).', 'default': False}, 'is_cleaning_home': {'type': 'boolean', 'description': 'Indicates whether the service provider offers home cleaning services (false for no, true for yes).', 'default': False}, 'is_cleaning_office': {'type': 'boolean', 'description': 'Indicates whether the service provider offers office or workplace cleaning services (false for no, true for yes).', 'default': False}}}}, {'name': 'view_service_provider_profile', 'description': 'Retrieve and display the profile details of a specific service provider by using their unique identifier. Note that the provided function is in Python 3 syntax.', 'parameters': {'type': 'dict', 'required': ['professional_id'], 'properties': {'professional_id': {'type': 'integer', 'description': 'The unique identifier for a service provider.'}}}}]


user: Find a service provider that provides ironing services in Nonthaburi Province, Bang Kruai District

Available functions:
[{"name": "get_service_providers", "description": "Find service providers based on various criteria such as rating, location, availability, and service types offered.", "parameters": {"type": "dict", "required": [], "properties": {"avg_rating": {"type": "float", "description": "The average review rating of the service provider on a scale of 1 to 5 stars. Use 'null' for unrated.", "default": null}, "province_id": {"type": "integer", "description": "ID of the province where the service provider is located. Example: 1 for Bangkok, 2 for Chiang Mai.", "enum": ["1", "2", "3", "4", "5"], "default": null}, "district_name": {"type": "string", "description": "The name of the district where the service provider is located, or 'null' if not specified.", "default": null}, "sub_district_name": {"type": "string", "description": "The name of the sub-district where the service provider is located, or 'null' if not specified.", "default": null}, "start_available_date": {"type": "string", "description": "The start of the availability period for the service provider in the format 'YYYY-MM-DD HH:mm:ss', or 'null' for immediate availability.", "default": null}, "end_available_date": {"type": "string", "description": "The end of the availability period for the service provider in the format 'YYYY-MM-DD HH:mm:ss', or 'null' if open-ended.", "default": null}, "min_age": {"type": "integer", "description": "The minimum age of the service provider, or 'null' if no preference.", "default": null}, "max_age": {"type": "integer", "description": "The maximum age of the service provider, or 'null' if no preference.", "default": null}, "has_quality_problem": {"type": "boolean", "description": "Indicates whether the service provider has a record of quality problems (false for no record, true for having a record).", "default": false}, "has_late_check_in": {"type": "boolean", "description": "Indicates whether the service provider has a record of late check-ins (false for no record, true for having a record).", "default": false}, "is_excellent": {"type": "boolean", "description": "Indicates whether the service provider has a record of excellence (false for no record, true for having a record).", "default": false}, "is_package": {"type": "boolean", "description": "Indicates whether the job is a packaged offer (false for individual services, true for a package).", "default": false}, "is_subscription": {"type": "boolean", "description": "Indicates whether the job is subscription-based (false for one-time services, true for subscription).", "default": false}, "service_id": {"type": "integer", "description": "ID of the service being offered by the provider. Example: 1 for cleaning service, 2 for ironing service.", "enum": ["1", "2", "3", "13", "39", "15", "35", "24"], "default": null}, "available_for_pet": {"type": "boolean", "description": "Indicates whether the service provider is available for households with pets (false for no, true for yes).", "default": false}, "professional_group_id": {"type": "integer", "description": "ID of the professional group to which the service provider belongs. Example: 1 for Group A, 2 for Group B.", "enum": ["1", "2", "3"], "default": null}, "job_qty": {"type": "integer", "description": "The number of jobs the service provider has received, or 'null' if not applicable.", "default": null}, "is_cleaning_condo": {"type": "boolean", "description": "Indicates whether the service provider offers condo cleaning services (false for no, true for yes).", "default": false}, "is_cleaning_home": {"type": "boolean", "description": "Indicates whether the service provider offers home cleaning services (false for no, true for yes).", "default": false}, "is_cleaning_office": {"type": "boolean", "description": "Indicates whether the service provider offers office or workplace cleaning services (false for no, true for yes).", "default": false}}}}, {"name": "view_service_provider_profile", "description": "Retrieve and display the profile details of a specific service provider by using their unique identifier.", "parameters": {"type": "dict", "required": ["professional_id"], "properties": {"professional_id": {"type": "integer", "description": "The unique identifier for a service provider."}}}}]

Ground truth: [{"get_service_providers": {"avg_rating": ["", null], "province_id": [2], "district_name": ["Bang Kruai"], "sub_district_name": ["", null], "start_available_date": ["", null], "end_available_date": ["", null], "min_age": ["", null], "max_age": ["", null], "has_quality_problem": ["", false], "has_late_check_in": ["", false], "is_excellent": ["", false], "is_package": ["", false], "is_subscription": ["", false], "service_id": [2], "available_for_pet": ["", false], "professional_group_id": ["", null], "job_qty": ["", null], "is_cleaning_condo": ["", false], "is_cleaning_home": ["", false], "is_cleaning_office": ["", false]}}]