inform((_:search,destination,'riverside brasserie');(_:search,type,'Taxi'))
user
Can you book me a taxi to riverside brasserie ?
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! Where are you coming from ?
inform((_:search,departure,'good luck');(_:search,type,'Taxi'))
user
I will be leaving the good luck chinese food takeaway .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Ok , what time would you like to leave by ?
inform((_:search,arrive_by,'12:45');(_:search,type,'Taxi'))
user
I actually need to arrive by 12:45
inform((_:result,car,'grey honda');(_:result,phone,'07290151077');(_:result,type,'Taxi'))
system
Your booking is completed , a grey honda will be picking you up . The contact number is 07290151077 .
thank()
user
Ok thank you that is all I need .
system
Excellent . Have a nice day !
_:search destination riverside brasserie
_:search type Taxi
_:search destination riverside brasserie
_:search departure good luck
_:search type Taxi
_:search destination riverside brasserie
_:search departure good luck
_:search arrive_by 12:45
_:search type Taxi
_:search destination riverside brasserie
_:search departure good luck
_:search arrive_by 12:45
_:search type Taxi
_:result car grey honda
_:result phone 07290151077
_:result type Taxi