inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant'))
user
I am seeking a restaurant that serves British food in the centre .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'about 7');(_:result,type,'Restaurant'))
system
I have about 7 different options for you . Do you have a certain price range in mind ?
inform((_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I 'd like a moderately priced one .
select((_:result,name,'Copper Kettle');(_:result,name,'Cotto');(_:result,name,'Oak Bistro');(_:result,name,'Restaurant One Seven');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
There are 4 restaurants that match that criteria which are Restaurant One Seven , The Oak Bistro , The Copper Kettle , and Cotto . Which one would you be interested in ?
inform((_:search,name,'the oak bistro');(_:search,type,'Restaurant'))
user
I would like the oak bistro .
offer((_:booking,type,'Booking')) inform((_:result,address,'6 Lensfield Road');(_:result,type,'Restaurant'))
system
Great choice .   It is at 6 Lensfield Road .   Would you like a reservation ?
inform((_:search,day,'friday');(_:search,duration,'13:30');(_:search,people,'2');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , table for 2 at 13:30 on Friday . If not available then Tuesday . Need reference number as well .
reqmore() inform((_:booking,day,'Friday');(_:booking,ref,'0Z3UX3DM');(_:booking,type,'Booking'))
system
I made the booking for Friday . Your reference number is 0Z3UX3DM . Do you need anything else ?
inform((_:search,area,'same area');(_:search,category,'nightclub');(_:search,type,'Attraction'))
user
I 'd also like a nightclub to go to in the same area as the restaurant .
reqmore() inform((_:result,area,'centre');(_:result,category,'nighclubs');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 nighclubs in the centre . Would you like more information on them ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Yes can I get the phone number of one you 'd recommend ?
reqmore() inform((_:result,name,'ballare');(_:result,phone,'01223364222');(_:result,type,'Attraction'))
system
ballare 's phone number is 01223364222 . Can I get you anything else ?
thank()
user
No , we are all set , thanks for making this trip easier .
system
It was my pleasure to be of service . Goodbye .
_:search area centre
_:search food british
_:search type Restaurant
_:search area centre
_:search food british
_:result amount about 7
_:result type Restaurant
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search food british
_:result amount about 7
_:search pricerange moderately
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result count 4
_:result type Restaurant
_:search name the oak bistro
_:search type Restaurant
_:search area centre
_:search food british
_:result amount about 7
_:search pricerange moderately
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result count 4
_:search name the oak bistro
_:system offered _:booking
_:booking type Booking
_:result address 6 Lensfield Road
_:result type Restaurant
_:search day friday
_:search duration 13:30
_:search people 2
_:search type Restaurant
_:result ref ?
_:search food british
_:result amount about 7
_:search pricerange moderately
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result count 4
_:search name the oak bistro
_:system offered _:booking
_:result address 6 Lensfield Road
_:result type Restaurant
_:search day friday
_:search duration 13:30
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking day Friday
_:booking ref 0Z3UX3DM
_:booking type Booking
_:search area same area
_:search category nightclub
_:search type Attraction
_:search food british
_:result amount about 7
_:search pricerange moderately
_:result name Copper Kettle
_:result name Cotto
_:result name Oak Bistro
_:result name Restaurant One Seven
_:search name the oak bistro
_:system offered _:booking
_:result address 6 Lensfield Road
_:search day friday
_:search duration 13:30
_:search people 2
_:result ref ?
_:booking day Friday
_:booking ref 0Z3UX3DM
_:booking type Booking
_:search area same area
_:search category nightclub
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result category nighclubs
_:result count 5
_:result type Attraction
_:result phone ?
_:search food british
_:result amount about 7
_:search pricerange moderately
_:search name the oak bistro
_:system offered _:booking
_:result address 6 Lensfield Road
_:search day friday
_:search duration 13:30
_:search people 2
_:result ref ?
_:booking day Friday
_:booking ref 0Z3UX3DM
_:booking type Booking
_:search area same area
_:search category nightclub
_:search type Attraction
_:result area centre
_:result category nighclubs
_:result count 5
_:system inquired _:user
_:result name ballare
_:result phone 01223364222
_:result type Attraction