request((_:result,food,?);(_:result,type,'Restaurant'))
user
I 'm looking for some food in Cambridge today .
request((_:search,name,?);(_:search,type,'Restaurant'))
system
No problem , are you looking for anything specific ?
inform((_:search,area,'centre');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Yes , the restaurant needs to be town centre , moderately priced .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
There are many moderately priced restaurants in the center . What type of food would you like to eat ?
user
I 'm not picky .   Which do you recommend ?
offer((_:booking,type,'Booking')) inform((_:result,food,'british');(_:result,name,'cotto');(_:result,type,'Restaurant'))
system
I would like to suggest cotto it serves british food .   Would you like to make reservations ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No thank you . Could I get the phone number and postcode please ?
reqmore() inform((_:result,name,'Cotto');(_:result,phone,'01223302010');(_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
Cotto can be reached at 01223302010 . Their postcode is cb11bg . Is there anything more I can assist you with today ?
inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Thanks again . I wonder if there are any entertainment attractions nearby . Can you suggest something ?
request((_:search,area,?);(_:search,type,'Attraction'))
system
Where would you like it to be ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
In the town centre , the same area that I booked the restaurant for .
canthelp((_:search,category,'entertainment');(_:search,type,'Attraction')) reqmore()
system
I 'm sorry , I do n't see any entertainment attractions in that area of town . Is there anything else you 'd be interested in seeing ?
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Can you search for a college ?
inform((_:result,area,'centre');(_:result,name,"Christ 's college");(_:result,type,'Attraction'))
system
Christ 's college is in the centre of town .
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Can I please get their phone number and entrance fee ?
inform((_:result,entrance_fee,'free');(_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
it 's free and their phone number is 	 01223334900
inform((_:search,departure,'cotto');(_:search,leave_at,'17:45');(_:search,type,'Taxi'))
user
Would you be able to get me a taxi from Cotto to Christ 's College ? I need to leave Cotto by 17:45 .
inform((_:result,car,'black audi');(_:result,phone,'07911435802');(_:result,type,'Taxi')) reqmore()
system
Your taxi will be a black audi . Your contact number is 07911435802 . May I help you further ?
thank()
user
No , you have been very helpful . Thank you so much .
system
You 're welcome . Thank you for calling . Goodbye .
_:result food ?
_:result type Restaurant
_:result food ?
_:result type Restaurant
_:search name ?
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:result food ?
_:search name ?
_:search area centre
_:search pricerange moderately
_:search food ?
_:search type Restaurant
_:result amount many
_:result pricerange moderately priced
_:result type Restaurant
_:search name ?
_:search area centre
_:search pricerange moderately
_:search food ?
_:search type Restaurant
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:result name cotto
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search name ?
_:search area centre
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:system inquired _:user
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:result type Restaurant
_:search category entertainment
_:search type Attraction
_:search name ?
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:system inquired _:user
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:result type Restaurant
_:search category entertainment
_:search area centre
_:search type Attraction
_:search name ?
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:result type Restaurant
_:search area centre
_:system canthelp _:search/9ff6ddd6
_:search/9ff6ddd6 category entertainment
_:search/9ff6ddd6 type Attraction
_:system inquired _:user
_:search category college
_:search type Attraction
_:search name ?
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:result phone 01223302010
_:result postcode cb11bg
_:search area centre
_:system canthelp _:search/9ff6ddd6
_:search/9ff6ddd6 category entertainment
_:search/9ff6ddd6 type Attraction
_:system inquired _:user
_:search category college
_:search type Attraction
_:result area centre
_:result name Christ 's college
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:search name ?
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:result postcode cb11bg
_:search area centre
_:system canthelp _:search/9ff6ddd6
_:search/9ff6ddd6 category entertainment
_:search/9ff6ddd6 type Attraction
_:system inquired _:user
_:search category college
_:result area centre
_:result name Christ 's college
_:result entrance_fee free
_:result phone 01223334900
_:result type Attraction
_:search departure cotto
_:search leave_at 17:45
_:search type Taxi
_:search name ?
_:search pricerange moderately
_:search food ?
_:result amount many
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food british
_:result postcode cb11bg
_:search area centre
_:system canthelp _:search/9ff6ddd6
_:search/9ff6ddd6 category entertainment
_:search/9ff6ddd6 type Attraction
_:search category college
_:result area centre
_:result name Christ 's college
_:result entrance_fee free
_:search departure cotto
_:search leave_at 17:45
_:search type Taxi
_:result car black audi
_:result phone 07911435802
_:result type Taxi
_:system inquired _:user