inform((_:search,arrive_by,'18:15');(_:search,destination,'india house');(_:search,type,'Taxi'))
user
I need to book a taxi to arrive by 18:15 to take me to India House .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
No problem , but first can you tell me where you need to leave from ?
inform((_:search,departure,'autumn house');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Autumn house . I also need car type and contact number
system
Booking completed ! 
 Booked car type 	 : 	 red ford 
 Contact number 	 : 	 07514562305
_:search arrive_by 18:15
_:search destination india house
_:search type Taxi
_:search arrive_by 18:15
_:search destination india house
_:search departure autumn house
_:search type Taxi
_:result car ?
_:result type Taxi