inform((_:search,arrive_by,'13:45');(_:search,destination,'la margherita');(_:search,type,'Taxi'))
user
I need to book a taxi to arrive by 13:45 to take me to La Margherita .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can help you with that . where are you going ?
inform((_:search,destination,'La Margherita');(_:search,type,'Taxi'))
user
I am going to La Margherita .
inform((_:result,car,'white toyota');(_:result,phone,'07178746002');(_:result,type,'Taxi'))
system
You are booked . Your car is a white toyota and contact number is 07178746002
inform((_:search,type,'Taxi'))
user
Um wait how did you book the taxi if you never even got my departure location ?
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can check that . What is your departure location ?
inform((_:search,departure,'hakka');(_:search,type,'Taxi'))
user
I am departing from hakka .
inform((_:result,car,'blue Volvo');(_:result,phone,'07789499283');(_:result,type,'Taxi'))
system
I apologize for the error . You are booked for a blue Volvo with the contact number of 07789499283 from hakka .
thank()
user
Ok that 's all I need . Thanks !
system
You 're more than welcome !
_:search arrive_by 13:45
_:search destination la margherita
_:search type Taxi
_:search arrive_by 13:45
_:search destination La Margherita
_:search type Taxi
_:search arrive_by 13:45
_:search destination La Margherita
_:result car white toyota
_:result phone 07178746002
_:result type Taxi
_:search type Taxi
_:search arrive_by 13:45
_:search destination La Margherita
_:result car white toyota
_:result phone 07178746002
_:result type Taxi
_:search departure hakka
_:search type Taxi
_:search arrive_by 13:45
_:search destination La Margherita
_:search departure hakka
_:search type Taxi
_:result car blue Volvo
_:result phone 07789499283
_:result type Taxi