inform((_:search,destination,'the junction');(_:search,leave_at,'18:15');(_:search,type,'Taxi'))
user
I need to book a taxi to take me to The Junction . I need it here by 18:15 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to help - where should the taxi pick you up ? And just to confirm - you need to leave at 18:15 ?
inform((_:search,arrive_by,'18:15');(_:search,departure,'la margherita');(_:search,type,'Taxi'))
user
Yes , leave by 18:15 and from La Margherita .
inform((_:result,car,'blue volvo');(_:result,phone,'07423194148');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 blue volvo 
 Contact number 	 : 	 07423194148
thank()
user
Okay , thanks a lot . You have a great day .
system
You are welcome . Thanks for calling . Goodbye .
_:search destination the junction
_:search leave_at 18:15
_:search type Taxi
_:search destination the junction
_:search leave_at 18:15
_:search arrive_by 18:15
_:search departure la margherita
_:search type Taxi
_:search destination the junction
_:search leave_at 18:15
_:search arrive_by 18:15
_:search departure la margherita
_:search type Taxi
_:result car blue volvo
_:result phone 07423194148
_:result type Taxi