inform((_:search,departure,'home');(_:search,type,'Taxi'))
user
I 'd like a taxie from my home please .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Certainly . And where would you like the taxi to take you ?
inform((_:search,destination,'the river bar steakhouse and grill');(_:search,type,'Taxi'))
user
I 'm heading to the river bar steakhouse and grill . I am so hungry !
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok , what time do you want to leave ?
inform((_:search,departure,'home from home');(_:search,leave_at,'10:00');(_:search,type,'Taxi'))
user
The taxi should be at home from home by 10:00 , if you can arrange it .
system
We will have a white tesla with the contact number 07280793126 
  ready for you .
_:search departure home
_:search type Taxi
_:search departure ?
_:search destination the river bar steakhouse and grill
_:search type Taxi
_:search destination the river bar steakhouse and grill
_:search departure home from home
_:search leave_at 10:00
_:search type Taxi