inform((_:search,departure,'el shaddai');(_:search,type,'Taxi'))
user
Can you have a taxi pick me up from el shaddai ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,arrive_by,'06:45');(_:search,destination,'gonville hotel');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'll be going to gonville hotel and need to arrive by 06:45 . Let me know the taxi type and their contact info .
inform((_:result,car,'yellow toyota');(_:result,phone,'07796401968');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 yellow toyota 
 Contact number 	 : 	 07796401968
thank()
user
awesome , thank you !
reqmore()
system
Can I help you with anything else ?
thank()
user
No , that is all . Thank you .
system
You 're quite welcome . Have a wonderful stay in Cambridge ! Bye .
_:search departure el shaddai
_:search type Taxi
_:search departure el shaddai
_:search arrive_by 06:45
_:search destination gonville hotel
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure el shaddai
_:search arrive_by 06:45
_:search destination gonville hotel
_:search type Taxi
_:result car yellow toyota
_:result phone 07796401968
_:result type Taxi
_:search departure el shaddai
_:search arrive_by 06:45
_:search destination gonville hotel
_:search type Taxi
_:result car yellow toyota
_:result phone 07796401968
_:result type Taxi
_:system inquired _:user