inform((_:search,type,'Taxi'))
user
I want help booking a taxi
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , what is your destination ?
inform((_:search,destination,'cambridge county fair next to the city tourist museum');(_:search,type,'Taxi'))
user
I am going to the Cambridge county fair next to the city tourist museum .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
And when would you like to leave ?
inform((_:search,leave_at,'16:45');(_:search,type,'Taxi'))
user
I want to leave after 16:45
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where will you be leaving from ?
inform((_:search,departure,'travelers rest');(_:search,type,'Taxi'))
user
Leaving from travelers rest
inform((_:result,car,'white ford');(_:result,phone,'07267142867');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 white ford 
 Contact number 	 : 	 07267142867
thank()
user
Perfect ! Thank you so much for all of your help .
system
You are more than welcome !
_:search type Taxi
_:search destination cambridge county fair next to the city tourist museum
_:search type Taxi
_:search destination cambridge county fair next to the city tourist museum
_:search leave_at 16:45
_:search type Taxi
_:search destination cambridge county fair next to the city tourist museum
_:search leave_at 16:45
_:search departure travelers rest
_:search type Taxi
_:search destination cambridge county fair next to the city tourist museum
_:search leave_at 16:45
_:search departure travelers rest
_:search type Taxi
_:result car white ford
_:result phone 07267142867
_:result type Taxi