inform((_:search,destination,'yippee noodle bar');(_:search,leave_at,'12:45');(_:search,type,'Taxi'))
user
I need to book a taxi to leave after 12:45 to go to yippee noodle bar .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Great .   And where will you be leaving from ?
inform((_:search,departure,'cambridge punter');(_:search,type,'Taxi'))
user
I 'll be leaving from the Cambridge Punter .
inform((_:result,car,'grey bmw');(_:result,phone,'07619508724');(_:result,type,'Taxi')) reqmore()
system
I have booked a grey bmw for you . The contact number is 07619508724 . Can I help you further today ?
thank()
user
No , that will be all , thank you .
system
We are happy to be of help . Have a great day !
_:search destination yippee noodle bar
_:search leave_at 12:45
_:search type Taxi
_:search destination yippee noodle bar
_:search leave_at 12:45
_:search departure cambridge punter
_:search type Taxi
_:search destination yippee noodle bar
_:search leave_at 12:45
_:search departure cambridge punter
_:search type Taxi
_:result car grey bmw
_:result phone 07619508724
_:result type Taxi
_:system inquired _:user