inform((_:search,area,'centre');(_:search,food,'seafood');(_:search,type,'Restaurant'))
user
Hi ! I 'd like to find a seafood restaurant in the centre of town , please .
inform((_:result,name,'The loch fyne');(_:result,type,'Restaurant')) thank()
system
Excellent . The loch fyne is just your thing .
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Is it an expensive restaurant ? I 'm really looking to break the bank here .
offer((_:booking,type,'Booking')) inform((_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Yes , it is expensive . Do you need help with booking ?
inform((_:search,day,'monday');(_:search,duration,'17:15');(_:search,people,'3');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Perfect , yes please book a table for 3 people at 17:15 on Monday . Can I also have a reference number ?
reqmore() inform((_:booking,day,'Monday');(_:booking,ref,'E10Z97F4');(_:booking,type,'Booking'))
system
Wonderful I was able to get you in a Monday and your reservation number is   E10Z97F4 . Will that be all ?
thank()
user
No thank you , that is all I needed .
system
Great .   Enjoy your stay .
_:search area centre
_:search food seafood
_:search type Restaurant
_:search area centre
_:search food seafood
_:result name The loch fyne
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food seafood
_:result name The loch fyne
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search people 3
_:search type Restaurant
_:result ref ?
_:search area centre
_:search food seafood
_:result name The loch fyne
_:search pricerange expensive
_:system offered _:booking
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search people 3
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking day Monday
_:booking ref E10Z97F4
_:booking type Booking