inform((_:search,arrive_by,'11:45');(_:search,type,'Taxi'))
user
Hi , i need to book a taxi . I need to go to cambridge corn exchange and need to arrive by 11:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Of course , from where will you be departing ?
inform((_:search,departure,'little seoul');(_:search,type,'Taxi'))
user
I will leave from Little Seoul .
inform((_:result,car,'black tesla');(_:result,phone,'07901027888');(_:result,type,'Taxi')) reqmore()
system
I have booked your taxi , it will be a black tesla and the contact number is 07901027888 . Is there anything else I can help you with today ?
thank()
user
No , that 's it . Thanks for all your help . Goodbye .
system
You 're welcome and enjoy your visit .
_:search arrive_by 11:45
_:search type Taxi
_:search arrive_by 11:45
_:search departure little seoul
_:search type Taxi
_:search arrive_by 11:45
_:search departure little seoul
_:search type Taxi
_:result car black tesla
_:result phone 07901027888
_:result type Taxi
_:system inquired _:user