inform((_:search,destination,'de luca cucina and bar');(_:search,type,'Taxi'))
user
Taxi to de luca cucina and bar please
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
What time would you like to arrive at your destination ?
inform((_:search,arrive_by,'15:30');(_:search,type,'Taxi'))
user
I need to arrive by 15:30 , please .
system
Do you want a taxi now ?
_:search destination de luca cucina and bar
_:search type Taxi
_:search destination de luca cucina and bar
_:search arrive_by 15:30
_:search type Taxi