inform((_:search,food,'gastropub');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Find me an expensive restaurant that serves gastropub food
select((_:result,area,'centre');(_:result,area,'east');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
I see several options ; do you prefer the centre or east of town ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
The centre of town .
inform((_:result,area,'centre');(_:result,food,'gastropub');(_:result,name,'Backstreet Bistro');(_:result,name,'Slug and Lettuce');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Backstreet Bistro and The Slug and Lettuce are both expensive gastropub restaurant in the centre of town .
inform((_:search,day,'tuesday');(_:search,duration,'16:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
I need a reservation for any of those . 16:00 , on Tuesday for 8 people .
reqmore() inform((_:booking,name,'Backstreet Bistro');(_:booking,ref,'O8Z7DXNU');(_:booking,type,'Booking'))
system
You 're booked at Backstreet Bistro , ref # O8Z7DXNU . Can I help you with anything else ?
thank()
user
No thank you , that will be everything .
system
Have a good day and enjoy your visit .
_:search food gastropub
_:search pricerange expensive
_:search type Restaurant
_:search food gastropub
_:search pricerange expensive
_:result area centre
_:result area east
_:result amount several
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search food gastropub
_:search pricerange expensive
_:result amount several
_:search area centre
_:result area centre
_:result food gastropub
_:result name Backstreet Bistro
_:result name Slug and Lettuce
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:search food gastropub
_:search pricerange expensive
_:result amount several
_:search area centre
_:result area centre
_:result food gastropub
_:result name Backstreet Bistro
_:result name Slug and Lettuce
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:system inquired _:user
_:booking name Backstreet Bistro
_:booking ref O8Z7DXNU
_:booking type Booking