inform((_:search,category,'museum');(_:search,type,'Attraction'))
user
I 'm looking for a museum .
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) inform((_:result,area,'in Cambridge');(_:result,category,'museums');(_:result,count,'23');(_:result,type,'Attraction'))
system
Ok , there are 23 museums in Cambridge , was there an area you had in mind , or a type of museum ?
user
How about a science museum ?
inform((_:result,name,'the whipple museum of the history of science');(_:result,type,'Attraction'))
system
How about the whipple museum of the history of science ?
request((_:result,area,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds cool , I will just need the area it 's in and the postcode . Oh , and how much is the cost to get in ?
reqmore() inform((_:result,area,'centre');(_:result,category,'museum');(_:result,entrance_fee,'free');(_:result,postcode,'cb23rh');(_:result,type,'Attraction'))
system
This museum is free to enter .   It is in the centre area , postcode cb23rh . Is there any more information that you need ?
inform((_:search,area,'center');(_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes I am looking for an expensive Korean restaurant in the city center .
offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,food,'Korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
I have found one Korean restaurant that matches your criteria , the restaurant is named little seoul . Would you like me to make reservations ?
inform((_:search,day,'wednesday');(_:search,duration,'11:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Yes please . I need a table for 2 on Wednesday at 11:15 .
canthelp((_:booking,duration,'11:15');(_:booking,name,'Little Seoul');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Little Seoul does not have an empty table at 11:15 . Would you like to try a different time , or a different day ?
inform((_:search,duration,'10:15');(_:search,type,'Restaurant'))
user
How about 10:15 ?
reqmore() inform((_:booking,ref,'BV8FODGD');(_:booking,type,'Booking'))
system
Your booking has been successful ! The reference number is BV8FODGD . Can I help with anything else ?
thank()
user
That will be all . Thank you .
system
You 're welcome ! Have a great day .
_:search category museum
_:search type Attraction
_:search area ?
_:search category ?
_:search type Attraction
_:result area in Cambridge
_:result category museums
_:result count 23
_:result type Attraction
_:search area ?
_:search category ?
_:search type Attraction
_:result area in Cambridge
_:result category museums
_:result count 23
_:result name the whipple museum of the history of science
_:result type Attraction
_:result area ?
_:result postcode ?
_:search category ?
_:result count 23
_:result name the whipple museum of the history of science
_:system inquired _:user
_:result area centre
_:result category museum
_:result entrance_fee free
_:result postcode cb23rh
_:result type Attraction
_:search area center
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:search category ?
_:system inquired _:user
_:result area centre
_:result category museum
_:result entrance_fee free
_:result postcode cb23rh
_:search area center
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result count 1
_:result food Korean
_:result name little seoul
_:result type Restaurant
_:search day wednesday
_:search duration 11:15
_:search people 2
_:search type Restaurant
_:search category ?
_:system inquired _:user
_:result area centre
_:result category museum
_:result entrance_fee free
_:result postcode cb23rh
_:search area center
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result food Korean
_:result name little seoul
_:result type Restaurant
_:search day wednesday
_:search people 2
_:system canthelp _:booking/867773ef
_:booking/867773ef duration 11:15
_:booking/867773ef name Little Seoul
_:booking/867773ef type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 10:15
_:search type Restaurant
_:search category ?
_:result area centre
_:result category museum
_:result entrance_fee free
_:result postcode cb23rh
_:search area center
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result food Korean
_:result name little seoul
_:result type Restaurant
_:search day wednesday
_:search people 2
_:system canthelp _:booking/867773ef
_:booking/867773ef duration 11:15
_:booking/867773ef name Little Seoul
_:booking/867773ef type Booking
_:booking day ?
_:booking duration ?
_:search duration 10:15
_:search type Restaurant
_:system inquired _:user
_:booking ref BV8FODGD
_:booking type Booking