inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Can you help me find somewhere to eat in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Sure ! Are you looking for any particular type of food such as African , British , Chinese , etc ?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant')) request((_:result,food,?);(_:result,type,'Restaurant'))
user
No type of food but I 'd like it to be in the moderate range please
offer((_:booking,type,'Booking')) inform((_:result,name,'Yippee Noodle Bar');(_:result,type,'Restaurant'))
system
Great , I have Yippee Noodle Bar that meets your criteria . Would you like me to make a reservation for you ?
inform((_:search,day,'monday');(_:search,duration,'19:45');(_:search,people,'five');(_:search,type,'Restaurant'))
user
Yes . There are five of us for Monday at 19:45 , please .
inform((_:booking,ref,'SOPGGCUP');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : SOPGGCUP .
thank()
user
thank you for your help
bye()
system
You are more than welcome !
bye()
user
Great TownInfo service . Goodbye .
system
You 're more than welcome . Have a great day .
_:search area centre
_:search type Restaurant
_:search area centre
_:search food ?
_:search pricerange moderate
_:search type Restaurant
_:result food ?
_:result type Restaurant
_:search area centre
_:search food ?
_:search pricerange moderate
_:result food ?
_:system offered _:booking
_:booking type Booking
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day monday
_:search duration 19:45
_:search people five
_:search type Restaurant
_:search area centre
_:search food ?
_:search pricerange moderate
_:result food ?
_:system offered _:booking
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day monday
_:search duration 19:45
_:search people five
_:search type Restaurant
_:booking ref SOPGGCUP
_:booking type Booking
_:search area centre
_:search food ?
_:search pricerange moderate
_:result food ?
_:system offered _:booking
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day monday
_:search duration 19:45
_:search people five
_:search type Restaurant
_:booking ref SOPGGCUP
_:booking type Booking
_:system dismissed _:user
_:user dismissed _:system