inform((_:search,food,'british');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I want British food that is moderately priced .
select((_:result,area,'centre');(_:result,area,'west');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,food,'british');(_:result,type,'Restaurant'))
system
There are several restaurants serving british food .   Would you prefer the centre or west part of town ?
inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
How about the West part of town .
inform((_:result,address,'21 - 24 Northampton Street c.b 3 , 0 A.D');(_:result,name,'Saint Johns Chop House');(_:result,phone,'01223 353110');(_:result,type,'Restaurant'))
system
Saint Johns Chop House matches your request .   It is located at 21 - 24 Northampton Street c.b 3 , 0 A.D , the phone number is 01223 353110 .
thank()
user
Thank you goodbye .
system
Thank you , goodbye .
_:search food british
_:search pricerange moderately
_:search type Restaurant
_:search food british
_:search pricerange moderately
_:result area centre
_:result area west
_:result amount several
_:result food british
_:result type Restaurant
_:search area west
_:search type Restaurant
_:search food british
_:search pricerange moderately
_:result area centre
_:result area west
_:result amount several
_:result food british
_:search area west
_:search type Restaurant
_:result address 21 - 24 Northampton Street c.b 3 , 0 A.D
_:result name Saint Johns Chop House
_:result phone 01223 353110
_:result type Restaurant