inform((_:search,departure,'curry prince');(_:search,leave_at,'08:15');(_:search,type,'Taxi'))
user
I need a taxi to pick me up at curry prince at 08:15 .
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where is your destination and what time would you like to arrive by ?
inform((_:search,destination,"kettle 's yard");(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
My destination is kettle 's yard , and anytime after 8:15 would be fine . Please notify me of the car type and the contact number . Thank you .
inform((_:result,car,'grey Audi');(_:result,leave_at,'8:15');(_:result,phone,'07249275156');(_:result,type,'Taxi'))
system
Ok , I have booked you a grey Audi for an 8:15 pickup . The contact number is 07249275156 .
thank()
user
That is all I needed , thank you .
system
Okay , thank you for calling the Cambridge TownInfo centre . Have a great rest of your day .
_:search departure curry prince
_:search leave_at 08:15
_:search type Taxi
_:search departure curry prince
_:search leave_at 08:15
_:search arrive_by ?
_:search destination kettle 's yard
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure curry prince
_:search leave_at 08:15
_:search arrive_by ?
_:search destination kettle 's yard
_:search type Taxi
_:result car grey Audi
_:result leave_at 8:15
_:result phone 07249275156
_:result type Taxi