inform((_:search,destination,'corpus christi');(_:search,type,'Taxi'))
user
I 'd like to book a taxi to corpus   christi
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure ! when do you want to leave ?
inform((_:search,leave_at,'3:30');(_:search,type,'Taxi'))
user
I 'd like to leave after 3:30 please .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like to depart from ?
inform((_:search,departure,'prezzo');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'll be departing from prezzo . Please let me know what type of car the taxi is and their contact number . Thank you !
inform((_:result,car,'black bmw');(_:result,phone,'07721719862');(_:result,type,'Taxi'))
system
You are booked on a black bmw with the contact number 07721719862 .
thank()
user
Thank you so much for all of your help ! Have a good day .
system
Thank you , I hope you have a good day as well . If you need anything else we 'll be here to help .
_:search destination corpus christi
_:search type Taxi
_:search destination corpus christi
_:search leave_at 3:30
_:search type Taxi
_:search destination corpus christi
_:search leave_at 3:30
_:search departure prezzo
_:search type Taxi
_:result car ?
_:result type Taxi
_:search destination corpus christi
_:search leave_at 3:30
_:search departure prezzo
_:search type Taxi
_:result car black bmw
_:result phone 07721719862
_:result type Taxi