inform((_:search,area,'centre');(_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
I am looking for a restaurant . The restaurant should serve asian oriental food and should be in the centre
request((_:search,pricerange,?);(_:search,type,'Restaurant')) thank()
system
Okay . What price range would you like ?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
It should be in the cheap price range .
offer((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking')) inform((_:result,address,'40210 Millers Yard');(_:result,area,'City Centre');(_:result,name,'dojo noodle bar');(_:result,type,'Restaurant'))
system
The dojo noodle bar is at 40210 Millers Yard City Centre and meets your criteria . What time would you like to book ?
inform((_:search,day,'tuesday');(_:search,people,'1');(_:search,type,'Restaurant'))
user
I 'd like to book a table for 1 at 12 on Tuesday .
inform((_:booking,day,'Tuesday');(_:booking,duration,'12:00');(_:booking,people,'1');(_:booking,type,'Booking')) reqmore()
system
OK , I will make you a reservation for 12:00 Tuesday for 1 .   Anything else I can help with ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , I 'll need the reference number of my reservation .
inform((_:booking,ref,'0C4KYZ3K');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : 0C4KYZ3K .
bye()
user
Thanks , that 's all I need . Good bye .
system
You 're welcome ! Have a great day and enjoy your meal !
_:search area centre
_:search food asian oriental
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:search pricerange cheap
_:system offered _:booking
_:booking duration ?
_:booking type Booking
_:result address 40210 Millers Yard
_:result area City Centre
_:result name dojo noodle bar
_:result type Restaurant
_:search day tuesday
_:search people 1
_:search type Restaurant
_:search area centre
_:search food asian oriental
_:search pricerange cheap
_:system offered _:booking
_:result address 40210 Millers Yard
_:result area City Centre
_:result name dojo noodle bar
_:result type Restaurant
_:search day tuesday
_:search people 1
_:search type Restaurant
_:booking day Tuesday
_:booking duration 12:00
_:booking people 1
_:booking type Booking
_:system inquired _:user
_:result ref ?
_:search area centre
_:search food asian oriental
_:search pricerange cheap
_:system offered _:booking
_:result address 40210 Millers Yard
_:result area City Centre
_:result name dojo noodle bar
_:result type Restaurant
_:search day tuesday
_:search people 1
_:search type Restaurant
_:booking day Tuesday
_:booking duration 12:00
_:booking people 1
_:system inquired _:user
_:result ref ?
_:booking ref 0C4KYZ3K
_:booking type Booking
_:user dismissed _:system