inform((_:search,food,'chinese');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I am looking for a moderately priced Chinese restaurant .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a great number');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
There are a great number of Chinese restaurants in town !   Is there a specific area you 'd like me to check in , or do you have a price range in mind ?
inform((_:search,area,'center');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
How about the center in a moderate price range .
offer((_:booking,type,'Booking')) inform((_:result,name,'Jinling Noodle Bar');(_:result,type,'Restaurant'))
system
Jinling Noodle Bar will meet your needs . Would you like to make a reservation ?
inform((_:search,day,'monday');(_:search,duration,'17:45');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Yes , please . Do they have any openings on Monday at 17:45 ? There will be 2 of us .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately there are no tables at that time , do you have another time ?
inform((_:search,duration,'16:45');(_:search,type,'Restaurant'))
user
Hmm , well ok . How about at 16:45 instead ?
reqmore() inform((_:booking,ref,'JZ0Q7BT0');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : JZ0Q7BT0 . Is there anything else I can help you with ?
user
No , that will be all .
system
Thank you , goodbye .
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:search food chinese
_:result amount a great number
_:result food Chinese
_:result type Restaurant
_:search area center
_:search pricerange moderate
_:search type Restaurant
_:search food chinese
_:result amount a great number
_:result food Chinese
_:search area center
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name Jinling Noodle Bar
_:result type Restaurant
_:search day monday
_:search duration 17:45
_:search people 2
_:search type Restaurant
_:search food chinese
_:result amount a great number
_:result food Chinese
_:search area center
_:search pricerange moderate
_:system offered _:booking
_:result name Jinling Noodle Bar
_:result type Restaurant
_:search day monday
_:search people 2
_:system canthelp _:booking/cfb273a7
_:booking/cfb273a7 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 16:45
_:search type Restaurant
_:search food chinese
_:result amount a great number
_:result food Chinese
_:search area center
_:search pricerange moderate
_:system offered _:booking
_:result name Jinling Noodle Bar
_:result type Restaurant
_:search day monday
_:search people 2
_:system canthelp _:booking/cfb273a7
_:booking/cfb273a7 type Booking
_:booking duration ?
_:search duration 16:45
_:search type Restaurant
_:system inquired _:user
_:booking ref JZ0Q7BT0
_:booking type Booking