inform((_:search,departure,'cambridge arts theatre');(_:search,destination,'peking restaurant');(_:search,type,'Taxi'))
user
Hello ! I would like a taxi , please . I will by departing from Cambridge Arts Theatre and going to Peking Restaurant .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can book that for you .   What time would you like to leave the theatre ?
inform((_:search,leave_at,'12:15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I would like to leave after 12:15 . Please let me know the car type and contact number .
inform((_:result,car,'blue Honda');(_:result,phone,'07344292445');(_:result,type,'Taxi')) reqmore()
system
The car is a blue Honda and the contact number is 07344292445 . Anything else I can help with ?
user
Nope . That 'll be it .
system
Great , hope you have a fantastic day !
_:search departure cambridge arts theatre
_:search destination peking restaurant
_:search type Taxi
_:search departure cambridge arts theatre
_:search destination peking restaurant
_:search leave_at 12:15
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure cambridge arts theatre
_:search destination peking restaurant
_:search leave_at 12:15
_:search type Taxi
_:result car blue Honda
_:result phone 07344292445
_:result type Taxi
_:system inquired _:user