inform((_:search,departure,'riverboat georgina');(_:search,type,'Taxi'))
user
Please have a taxi pick me up from riverboat georgina
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok , What time do you want to be picked up ?
inform((_:search,departure,'riverboat georgina');(_:search,destination,'cambridge arts theatre');(_:search,leave_at,'11:15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I want to be picked up at riverboat georgina around 11:15 . I need to get to cambridge arts theatre . What is the car type and the contact number ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Ok , what time do you want to arrive by ?
inform((_:search,arrive_by,'11:15');(_:search,type,'Taxi'))
user
I need to arrive by 11:15 .
inform((_:result,car,'white tesla');(_:result,phone,'07492127564');(_:result,type,'Taxi')) reqmore()
system
Your taxi has been booked , you will be riding a white tesla with the contact number 07492127564 . Is there anything else I can help you with today ?
inform((_:search,type,'Taxi'))
user
Nothing else for now . Thank you for booking the taxi . Goodbye .
system
Thank you for contacting us and have a nice day .
_:search departure riverboat georgina
_:search type Taxi
_:search departure riverboat georgina
_:search destination cambridge arts theatre
_:search leave_at 11:15
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure riverboat georgina
_:search destination cambridge arts theatre
_:search leave_at 11:15
_:result car ?
_:result type Taxi
_:search arrive_by 11:15
_:search type Taxi
_:search departure riverboat georgina
_:search destination cambridge arts theatre
_:search leave_at 11:15
_:search arrive_by 11:15
_:result car white tesla
_:result phone 07492127564
_:result type Taxi
_:system inquired _:user
_:search type Taxi