inform((_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
Yes , hello . I 'd like to book a taxi to what I believe is a restaurant .
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure , I can do that .   Do you know the name of the restaurant ?   Also , when would you like to be picked up and arrive by ?
inform((_:search,departure,'sheeps green and lammas land park fen causeway');(_:search,destination,'oak bistro');(_:search,type,'Taxi'))
user
Yes , Oak Bistro and will depart from Sheep 's Green and Lammas land park fen causeway .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok great , I will also need to know what your preferences are for your pick up and arrival times to book your taxi .
inform((_:search,arrive_by,'16:45');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I would like to arrive by 16:45 . I will need a contact number and car type as well .
inform((_:result,car,'red ford');(_:result,phone,'07756177529');(_:result,type,'Taxi'))
system
I have that booked , a red ford and the contact info is 07756177529
bye()
user
Great ! That 's all for today . Goodbye !
system
All right , thank you and have a great day .
_:search type Restaurant
_:search type Taxi
_:search arrive_by ?
_:search leave_at ?
_:search departure sheeps green and lammas land park fen causeway
_:search destination oak bistro
_:search type Taxi
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 16:45
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure ?
_:search destination ?
_:search leave_at ?
_:search arrive_by 16:45
_:search type Taxi
_:result car red ford
_:result phone 07756177529
_:result type Taxi
_:user dismissed _:system