inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where would you like to go ?
inform((_:search,destination,'the ghandi');(_:search,type,'Taxi'))
user
I want to get to The Ghandi .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where will the taxi be picking you up at and what time do you wish to arrive at the Ghandi ?
inform((_:search,arrive_by,'01:45');(_:search,departure,'leverton house');(_:search,type,'Taxi'))
user
It should pick me up from Leverton House   at whatever time is necessary to get me there by 01:45 .
inform((_:result,arrive_by,'01:45');(_:result,car,'white Tesla');(_:result,departure,'Leverton House');(_:result,destination,'the Ghandi');(_:result,phone,'07484372393');(_:result,type,'Taxi'))
system
I have booked a white Tesla to pick you up at the Leverton House , and will take you to the Ghandi before 01:45 . The contact number is 07484372393 . Is that all ?
thank()
user
Great ! ! That is all for now , thank you so much .
system
Happy to be of service -- goodbye !
_:search type Taxi
_:search destination the ghandi
_:search type Taxi
_:search destination ?
_:search arrive_by 01:45
_:search departure leverton house
_:search type Taxi
_:search destination ?
_:search arrive_by 01:45
_:search departure leverton house
_:search type Taxi
_:result arrive_by 01:45
_:result car white Tesla
_:result departure Leverton House
_:result destination the Ghandi
_:result phone 07484372393
_:result type Taxi