inform((_:search,leave_at,'13:00');(_:search,type,'Taxi'))
user
I 'd like for a taxi to pick me up after 13:00 today
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like the taxi to pick you up from ?
inform((_:search,departure,'rice house');(_:search,type,'Taxi'))
user
I will leave from the rice house .
system
What is your destination ? And what time would you like to arrive by ?
_:search leave_at 13:00
_:search type Taxi
_:search leave_at 13:00
_:search departure rice house
_:search type Taxi