inform((_:search,departure,'cambridge artworks');(_:search,leave_at,'18:00');(_:search,type,'Taxi'))
user
I want to book a taxi from cambridge artworks . I need to leave after 18:00 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Hello ! Where is the destination ?
inform((_:search,destination,'lynne strover gallery');(_:search,type,'Taxi'))
user
I need to go to Lynne Strover Gallery , please .
inform((_:result,car,'black Lexus');(_:result,type,'Taxi'))
system
You are set up to be picked up by a black Lexus .   Do you want the contact number ?
request((_:result,phone,?);(_:result,type,'Taxi'))
user
Yes please give me the contact number
inform((_:result,phone,'07620354027');(_:result,type,'Taxi')) reqmore()
system
Of course . Contact number is 07620354027 . Do you need anything else ?
bye()
user
No , that 's all I need today . Thanks for your help . Bye !
system
You 're welcome ! Have a great day !
_:search departure cambridge artworks
_:search leave_at 18:00
_:search type Taxi
_:search departure cambridge artworks
_:search leave_at 18:00
_:search destination lynne strover gallery
_:search type Taxi
_:search departure cambridge artworks
_:search leave_at 18:00
_:search destination lynne strover gallery
_:search type Taxi
_:result car black Lexus
_:result type Taxi
_:result phone ?
_:search departure cambridge artworks
_:search leave_at 18:00
_:search destination lynne strover gallery
_:search type Taxi
_:result car black Lexus
_:result phone 07620354027
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system