inform((_:search,departure,'Lock Fyne');(_:search,destination,"king 's college");(_:search,type,'Taxi'))
user
Yes , can I get a taxi ?   I want to leave Lock Fyne and go to King 's College .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Can you let me know when you want to leave or when you want to arrive ?
inform((_:search,arrive_by,'22:00');(_:search,type,'Taxi'))
user
I need to arrive by 22:00 .
inform((_:result,car,'white ford');(_:result,phone,'07570319007');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 white ford 
 Contact number 	 : 	 07570319007
thank()
user
Thank you . That was easy enough . Goodbye .
system
Can I help you with anything else ?
_:search departure Lock Fyne
_:search destination king 's college
_:search type Taxi
_:search departure Lock Fyne
_:search destination king 's college
_:search leave_at ?
_:search arrive_by 22:00
_:search type Taxi
_:search departure Lock Fyne
_:search destination king 's college
_:search leave_at ?
_:search arrive_by 22:00
_:search type Taxi
_:result car white ford
_:result phone 07570319007
_:result type Taxi