inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
What sort of restaurants do you have in the centre of town ? Anything expensive ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant'))
system
There are 33 options . Do you have a food type in mind ?
inform((_:search,day,'monday');(_:search,duration,'14:30');(_:search,people,'4');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Something expensive available for 4 people at 14:30 on monday
offer((_:booking,type,'Booking')) inform((_:result,food,'British');(_:result,name,'Midsummer House Restaurant');(_:result,type,'Restaurant'))
system
Ok , how about some British cuisine , want to give Midsummer House Restaurant a try ?
inform((_:search,day,'monday');(_:search,duration,'14:30');(_:search,people,'4');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Sure . Could you book me a table for 4 at 14:30 on Monday ? And if that fails how about 13:30 ? Could I also have a reference number ?
inform((_:booking,duration,'13:30');(_:booking,ref,'3NR3T22N');(_:booking,type,'Booking'))
system
13:30 went well . The reference number is 3NR3T22N
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
What attractions are in the centre of town ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,count,'44');(_:result,type,'Attraction'))
system
There are a total of 44 attractions in the area you would like . Is there a specific type you would like to see ?
inform((_:search,type,'Restaurant'))
user
I would like something close to the restaurant . Could you pick a place for me ?
request((_:search,area,?);(_:search,type,'Attraction')) select((_:result,category,'cinema');(_:result,category,'museum');(_:result,type,'Attraction'))
system
Is there anywhere in particular that interests you ? Perhaps a cinema or museum ?
request((_:result,address,?);(_:result,type,'Attraction')) inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Any kind of entertainment would be fine . Please give me an address too .
reqmore() inform((_:result,address,'trinity lane');(_:result,area,'centre');(_:result,entrance_fee,'free');(_:result,name,'Old schools');(_:result,type,'Attraction'))
system
Old schools is in town centre located at trinity lane and has free entrance .   Do you need any further information ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
Can I please get the address ?
inform((_:result,address,'trinity lane');(_:result,postcode,'cb21tt');(_:result,type,'Attraction'))
system
Yes , the address is trinity lane cb21tt
thank()
user
Great ! Thank you , that 'll be all !
system
Thank you ! Have a nice day .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food ?
_:result count 33
_:result type Restaurant
_:search day monday
_:search duration 14:30
_:search people 4
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food ?
_:result count 33
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result food British
_:result name Midsummer House Restaurant
_:result type Restaurant
_:search day monday
_:search duration 14:30
_:search people 4
_:search type Restaurant
_:result ref ?
_:search food ?
_:result count 33
_:search pricerange expensive
_:system offered _:booking
_:result food British
_:result name Midsummer House Restaurant
_:result type Restaurant
_:search day monday
_:search duration 14:30
_:search people 4
_:result ref ?
_:booking duration 13:30
_:booking ref 3NR3T22N
_:booking type Booking
_:search area centre
_:search type Attraction
_:search food ?
_:search pricerange expensive
_:system offered _:booking
_:result food British
_:result name Midsummer House Restaurant
_:search day monday
_:search duration 14:30
_:search people 4
_:result ref ?
_:booking duration 13:30
_:booking ref 3NR3T22N
_:booking type Booking
_:search area centre
_:search category ?
_:result count 44
_:result type Attraction
_:search type Restaurant
_:search food ?
_:search pricerange expensive
_:system offered _:booking
_:result food British
_:result name Midsummer House Restaurant
_:search day monday
_:search duration 14:30
_:search people 4
_:result ref ?
_:booking duration 13:30
_:booking ref 3NR3T22N
_:booking type Booking
_:result count 44
_:search area ?
_:result category cinema
_:result category museum
_:result type Attraction
_:result address ?
_:search category entertainment
_:search type Attraction
_:search food ?
_:search pricerange expensive
_:system offered _:booking
_:result food British
_:search day monday
_:search duration 14:30
_:search people 4
_:result ref ?
_:booking duration 13:30
_:booking ref 3NR3T22N
_:booking type Booking
_:result count 44
_:search area ?
_:result category cinema
_:result category museum
_:search category entertainment
_:search type Attraction
_:system inquired _:user
_:result address trinity lane
_:result area centre
_:result entrance_fee free
_:result name Old schools
_:result type Attraction
_:result address ?
_:search food ?
_:search pricerange expensive
_:system offered _:booking
_:result food British
_:search day monday
_:search duration 14:30
_:search people 4
_:result ref ?
_:booking duration 13:30
_:booking ref 3NR3T22N
_:booking type Booking
_:result count 44
_:search area ?
_:result category cinema
_:result category museum
_:search category entertainment
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result entrance_fee free
_:result name Old schools
_:result address trinity lane
_:result postcode cb21tt
_:result type Attraction