inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes I am looking for an expensive restaurant in the South of town .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
I have many . Do you have a preference for type of food served ?
inform((_:search,area,'north');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Sorry , Actually I need an expensive restaurant in the north . the first on your list would be great .
inform((_:result,name,'Saigon City');(_:result,type,'Restaurant'))
system
Sure how about Saigon City ?
inform((_:search,duration,'18:00');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Sounds great , can you book a table for 5 at 18:00 ?
request((_:booking,day,?);(_:booking,type,'Booking'))
system
Alright , which day would you like the reservation to be on ?
request((_:result,food,?);(_:result,type,'Restaurant')) inform((_:search,name,'Saigon City');(_:search,type,'Restaurant'))
user
Actually , I wo n't be needing a reservation just yet . Could you verify the type of food Saigon City serves ?
reqmore() inform((_:result,food,'asian oriental');(_:result,name,'Saigon City');(_:result,type,'Restaurant'))
system
Saigon City serves asian oriental cuisine . Would you need anything other information or assistance ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , could I get the restuarant 's phone number and postcode ?
reqmore() inform((_:result,phone,'01223356555');(_:result,postcode,'cb41nl');(_:result,type,'Restaurant'))
system
Certainly . The phone number is 01223356555 and the postcode is cb41nl . Anything else I can do for you ?
thank()
user
No , that 's it . You 've been very helpful , thank you !
system
You 're quite welcome . Thanks for contacting the Cambridge TownInfo Centre and have a great day !
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search food ?
_:result amount many
_:result type Restaurant
_:search area north
_:search pricerange expensive
_:search type Restaurant
_:search food ?
_:result amount many
_:search area north
_:search pricerange expensive
_:result name Saigon City
_:result type Restaurant
_:search duration 18:00
_:search people 5
_:search type Restaurant
_:search food ?
_:result amount many
_:search area north
_:search pricerange expensive
_:result name Saigon City
_:result type Restaurant
_:search duration 18:00
_:search people 5
_:booking day ?
_:booking type Booking
_:result food ?
_:search name Saigon City
_:search type Restaurant
_:search food ?
_:result amount many
_:search area north
_:search pricerange expensive
_:search duration 18:00
_:search people 5
_:booking day ?
_:booking type Booking
_:search name Saigon City
_:search type Restaurant
_:system inquired _:user
_:result food asian oriental
_:result name Saigon City
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search food ?
_:result amount many
_:search area north
_:search pricerange expensive
_:search duration 18:00
_:search people 5
_:booking day ?
_:booking type Booking
_:search name Saigon City
_:search type Restaurant
_:result food asian oriental
_:result name Saigon City
_:system inquired _:user
_:result phone 01223356555
_:result postcode cb41nl
_:result type Restaurant