inform((_:search,area,'centre');(_:search,food,'north indian');(_:search,type,'Restaurant'))
user
Hi I am looking for a restaurant in the centre of town serving north indian food .
canthelp((_:search,type,'Restaurant')) reqmore()
system
We do n't have any specific restaurants in that category . Let 's try something else ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
That 's too bad .   How about Chinese ?
system
Okay sure what do you have ?
inform((_:search,day,'sunday');(_:search,duration,'13:30');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Okay when you find something I would like to make a reservation for 2 people on a Sunday at 13:30 .
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Do you have a price range in mind ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
I do n't mind about the price range .
inform((_:result,area,'centre');(_:result,food,'chinese');(_:result,name,'lan hong house');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
Okay , how about lan hong house ? It is a chinese restsurant in the centre area and is in the moderate price range . Will that work for you ?
user
That 's fine .   Can you try booking it ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm sorry , but I was n't able to book the restaurant for that date and time .   Would you like to try a different time ?
inform((_:search,duration,'12:30');(_:search,type,'Restaurant'))
user
How about 12:30 ?
reqmore() inform((_:booking,day,'Sunday');(_:booking,duration,'12:30');(_:booking,people,'2');(_:booking,ref,'F1NTKWZO');(_:booking,type,'Booking'))
system
You are booked for 12:30 on Sunday for 2 people . Your reference number is F1NTKWZO . Is there something else I can help you with ?
bye()
user
Thanks so much .   Have a nice day .   Bye .
system
Thank you , if you need anything else let me know . Good Bye .
_:search area centre
_:search food north indian
_:search type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:system inquired _:user
_:search food chinese
_:search type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:system inquired _:user
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 2
_:search type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:system inquired _:user
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 2
_:search pricerange dontcare
_:search type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:system inquired _:user
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 2
_:search pricerange dontcare
_:search type Restaurant
_:result area centre
_:result food chinese
_:result name lan hong house
_:result pricerange moderate
_:result type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:system inquired _:user
_:search food chinese
_:search day sunday
_:search people 2
_:search pricerange dontcare
_:result area centre
_:result food chinese
_:result name lan hong house
_:result pricerange moderate
_:result type Restaurant
_:system canthelp _:booking/f1f0062d
_:booking/f1f0062d type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:30
_:search type Restaurant
_:search area centre
_:system canthelp _:search/bfe34fa7
_:search/bfe34fa7 type Restaurant
_:search food chinese
_:search day sunday
_:search people 2
_:search pricerange dontcare
_:result area centre
_:result food chinese
_:result name lan hong house
_:result pricerange moderate
_:result type Restaurant
_:system canthelp _:booking/f1f0062d
_:booking/f1f0062d type Booking
_:search duration 12:30
_:search type Restaurant
_:system inquired _:user
_:booking day Sunday
_:booking duration 12:30
_:booking people 2
_:booking ref F1NTKWZO
_:booking type Booking
_:user dismissed _:system