inform((_:search,destination,'cambridge punter');(_:search,type,'Taxi'))
user
I am in need of a taxi to the cambridge punter please
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to help , where will you be leaving from ?
inform((_:search,departure,'magdalene college');(_:search,type,'Taxi'))
user
I will be leaving from Magdalene college .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time do you want to leave or arrive by ?
inform((_:search,leave_at,'16:45');(_:search,type,'Taxi'))
user
I want to leave after 16:45 .
inform((_:result,car,'yellow lexus');(_:result,phone,'07556697926');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 yellow lexus 
 Contact number 	 : 	 07556697926
thank()
user
Great , thanks for your help .
reqmore()
system
You 're welcome ! Is there anything else I can help you with ?
thank()
user
No I am actually all set now thanks though
system
Thank you for choosing our service , goodbye .
_:search destination cambridge punter
_:search type Taxi
_:search destination cambridge punter
_:search departure magdalene college
_:search type Taxi
_:search destination cambridge punter
_:search departure magdalene college
_:search arrive_by ?
_:search leave_at 16:45
_:search type Taxi
_:search destination cambridge punter
_:search departure magdalene college
_:search arrive_by ?
_:search leave_at 16:45
_:search type Taxi
_:result car yellow lexus
_:result phone 07556697926
_:result type Taxi
_:search destination cambridge punter
_:search departure magdalene college
_:search arrive_by ?
_:search leave_at 16:45
_:search type Taxi
_:result car yellow lexus
_:result phone 07556697926
_:result type Taxi
_:system inquired _:user