inform((_:search,area,'north');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like a restuarant in the north with expensive food .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
There are five places , which type of food do you prefer ?
inform((_:search,people,'seven');(_:search,type,'Restaurant'))
user
Surprise me , I just want something pricey to impress my friends . It 'll be a party of seven .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
I found five restaurants , what day and time would you like to go ?
inform((_:search,day,'monday');(_:search,duration,'19:15');(_:search,type,'Restaurant'))
user
How about Monday at 19:15 .
inform((_:booking,ref,'J8IGNS09');(_:booking,type,'Booking');(_:result,food,'Asian');(_:result,name,'Saigon City');(_:result,type,'Restaurant')) thank()
system
Okay . I have booked you at Saigon City that is quite elegant and serves Asian cuisine . Your reference number is J8IGNS09 .
thank()
user
Thank you so much .   That is all I will be needing today .   Have a nice evening .
request((_:search,name,?);(_:search,type,'Restaurant'))
system
Thank you , and would you like the address for the restaurant ?
thank()
user
I do n't think I need it , but thanks for asking . Have a good day .
system
You 're welcome ! Have a great day ! Goodbye .
_:search area north
_:search pricerange expensive
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:search food ?
_:result count 5
_:result type Restaurant
_:search people seven
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:search food ?
_:search people seven
_:booking day ?
_:booking duration ?
_:booking type Booking
_:result count 5
_:result type Restaurant
_:search day monday
_:search duration 19:15
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:search food ?
_:search people seven
_:booking day ?
_:booking duration ?
_:result count 5
_:search day monday
_:search duration 19:15
_:search type Restaurant
_:booking ref J8IGNS09
_:booking type Booking
_:result food Asian
_:result name Saigon City
_:result type Restaurant
_:search area north
_:search pricerange expensive
_:search food ?
_:search people seven
_:booking day ?
_:booking duration ?
_:result count 5
_:search day monday
_:search duration 19:15
_:booking ref J8IGNS09
_:booking type Booking
_:result food Asian
_:result name Saigon City
_:result type Restaurant
_:search name ?
_:search type Restaurant