inform((_:search,departure,'cherry hinton village centre');(_:search,destination,'la raza');(_:search,type,'Taxi'))
user
Hello there . I was wondering if you could help me arrange for a taxi to take me from the Cherry Hinton Village Centre to La Raza ?
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Certainly ! Do you have an arrival or departure time in mind ?
inform((_:search,leave_at,'10:15');(_:search,type,'Taxi'))
user
I need to leave after 10:15 . may i have the contact number for taxi please ?
inform((_:result,phone,'07862333057');(_:result,type,'Taxi')) thank()
system
Absolutely . The contact number is 07862333057
thank()
user
Thank you very much !
system
Would you like me to book the taxi ?
inform((_:search,destination,'la raza');(_:search,leave_at,'10:15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Yes I need the taxi to depart from the cherry hinton village and go to la raza . Leaving after 10:15 . Please give me the contact number and car type .
inform((_:result,car,'Blue Honda');(_:result,phone,'07862333057');(_:result,type,'Taxi')) reqmore()
system
Okay , the taxi is booked . The contact number is 07862333057 , the car will be a Blue Honda . Is there anything else I can help with ?
thank()
user
No , that will be all , thank you .   Have a nice day .
system
Thank you .   We are always here to help with your bookings .
_:search departure cherry hinton village centre
_:search destination la raza
_:search type Taxi
_:search departure cherry hinton village centre
_:search destination la raza
_:search arrive_by ?
_:search leave_at 10:15
_:search type Taxi
_:search departure cherry hinton village centre
_:search destination la raza
_:search arrive_by ?
_:search leave_at 10:15
_:search type Taxi
_:result phone 07862333057
_:result type Taxi
_:search departure cherry hinton village centre
_:search arrive_by ?
_:result phone 07862333057
_:result type Taxi
_:search destination la raza
_:search leave_at 10:15
_:search type Taxi
_:result car ?
_:search departure cherry hinton village centre
_:search arrive_by ?
_:search destination la raza
_:search leave_at 10:15
_:search type Taxi
_:result car Blue Honda
_:result phone 07862333057
_:result type Taxi
_:system inquired _:user