inform((_:search,destination,"king 's college");(_:search,leave_at,'11:45');(_:search,type,'Taxi'))
user
I would like to book a taxi to leave after 11:45 to go to king 's college .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you be departing from ?
inform((_:search,departure,'abbey pool and astroturf pitch');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I will be departing from Abbey Pool and Astroturf Pitch . In addition , I would like the car type and its contact number .
inform((_:result,car,'yellow Tesla');(_:result,phone,'07996702109');(_:result,type,'Taxi')) thank() reqmore()
system
It 's your lucky day !   The car reserved for you is a yellow Tesla .   The contact number is 07996702109 . Is there anything else I can do for you ?
thank()
user
No , that will be all . Thank you for all the help .
system
No problem and thank you for calling Cambridge TownInfo centre . have a spectacular day .
_:search destination king 's college
_:search leave_at 11:45
_:search type Taxi
_:search destination king 's college
_:search leave_at 11:45
_:search departure abbey pool and astroturf pitch
_:search type Taxi
_:result car ?
_:result type Taxi
_:search destination king 's college
_:search leave_at 11:45
_:search departure abbey pool and astroturf pitch
_:search type Taxi
_:result car yellow Tesla
_:result phone 07996702109
_:result type Taxi
_:system inquired _:user