inform((_:search,departure,'riverside brasserie');(_:search,type,'Taxi'))
user
I need to book a taxi from riverside brasserie .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure I can help with that . May I have the time you want to leave riverside brasserie , or the time you need to arrive at the destination ?
inform((_:search,arrive_by,'24:00');(_:search,type,'Taxi'))
user
I would like to arrive by 24:00 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Alright , and what is your destination ?
inform((_:search,destination,'curry prince');(_:search,type,'Taxi'))
user
I am headed to curry prince .
inform((_:result,car,'white Tesla');(_:result,phone,'07030002227');(_:result,type,'Taxi')) reqmore()
system
Perfect .   You are all booked and can expect to be picked up in a white Tesla .   The contact number is 07030002227 .   Will you be needing anything else ?
thank()
user
Nope , thank you very much .
system
You 're welcome . Have a nice day .
_:search departure riverside brasserie
_:search type Taxi
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 24:00
_:search type Taxi
_:search departure ?
_:search leave_at ?
_:search arrive_by 24:00
_:search destination curry prince
_:search type Taxi
_:search departure ?
_:search leave_at ?
_:search arrive_by 24:00
_:search destination curry prince
_:search type Taxi
_:result car white Tesla
_:result phone 07030002227
_:result type Taxi
_:system inquired _:user