inform((_:search,food,'indonesian');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I 'm looking for an indonesian restaurant that 's moderate in price .
canthelp((_:search,food,'Indonesian');(_:search,pricerange,'moderate');(_:search,type,'Restaurant')) reqmore()
system
There are no Indonesian restaurants in the moderate price range would you like me to search for something else ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Are you sure ? I thought there was one located in the centre of town .
select((_:result,food,'asain');(_:result,type,'Restaurant')) canthelp((_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
Unfortunately I do not see any indonesian restaurants . Maybe you would like asain instead ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Asian oriental food sounds good .   What options do you have available ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a few');(_:result,type,'Restaurant'))
system
I have a few , what price range do you prefer ?
inform((_:search,area,'centre');(_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
I 'm not really worried about price .   Which do you suggest that is located in the centre ?
inform((_:result,name,'Th Kymmoy');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Th Kymmoy is expensive but very nice .
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I think I would like to be in the moderate price range please .
offer((_:booking,type,'Booking')) inform((_:result,name,'yippee noddle bar');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
The yippee noddle bar is in the moderate price range . Would you like to book a table ?
inform((_:search,name,'yippee noodle bar');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Actually , can you give me the phone number for Yippee Noodle Bar instead ?
reqmore() inform((_:result,phone,'01223518111');(_:result,type,'Restaurant'))
system
Absolutely . Their phone number is 01223518111 . Is there anything else I can help you with ?
inform((_:search,arrive_by,'16:15');(_:search,day,'friday');(_:search,type,'Train'))
user
I am also looking for a train . The train should arrive by 16:15 and should leave on Friday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 'm sure we can find your perfect train for you . What are your departure and arrival locations ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I want to go to norwich from cambridge .
select((_:result,leave_at,'05:36');(_:result,leave_at,'every hour thereafter');(_:result,type,'Train')) inform((_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,duration,'79 minutes');(_:result,type,'Train'))
system
The first train from Cambridge to Norwich leaves at 05:36 , and there are trains every hour thereafter . The duration of the trip is 79 minutes .   Which departure time works best for you ?
inform((_:search,arrive_by,'4:15');(_:search,destination,'norwich');(_:search,type,'Train'))
user
Can you suggest one ?   I would like to arrive in Norwich about 4:15 PM .
inform((_:result,arrive_by,'15:55');(_:result,id,'TR8314');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I would recommend TR8314 , which will get you there at 15:55 .   Would you like me to book your ticket ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes , one ticket please .
inform((_:booking,category,'Train');(_:booking,ticket,'17.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 17.6 GBP payable at the station .
request((_:result,leave_at,?);(_:result,type,'Train'))
user
When does the TR8314 leave ?
inform((_:result,leave_at,'14:36');(_:result,type,'Train'))
system
It will leave at 14:36
thank()
user
Great ! Thanks for all your help .
reqmore()
system
Is there anything else I can help you with today ?
thank()
user
No , that is all . Thanks , goodbye .
system
You 're welcome ! Have a great day !
_:search food indonesian
_:search pricerange moderate
_:search type Restaurant
_:search food indonesian
_:search pricerange moderate
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:system inquired _:user
_:search area centre
_:search type Restaurant
_:search pricerange moderate
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:system inquired _:user
_:search area centre
_:result food asain
_:result type Restaurant
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:system inquired _:user
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:result type Restaurant
_:search area centre
_:search pricerange dontcare
_:search type Restaurant
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:system inquired _:user
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:result name Th Kymmoy
_:result pricerange expensive
_:result type Restaurant
_:search pricerange moderate
_:search type Restaurant
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:system inquired _:user
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name yippee noddle bar
_:result pricerange moderate
_:result type Restaurant
_:search name yippee noodle bar
_:search type Restaurant
_:result phone ?
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:result type Restaurant
_:search arrive_by 16:15
_:search day friday
_:search type Train
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:result type Restaurant
_:search arrive_by 16:15
_:search day friday
_:search departure cambridge
_:search destination norwich
_:search type Train
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:search day friday
_:search departure cambridge
_:result leave_at 05:36
_:result leave_at every hour thereafter
_:result departure Cambridge
_:result destination Norwich
_:result duration 79 minutes
_:result type Train
_:search arrive_by 4:15
_:search destination norwich
_:search type Train
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:search day friday
_:search departure cambridge
_:result leave_at 05:36
_:result leave_at every hour thereafter
_:result departure Cambridge
_:result destination Norwich
_:result duration 79 minutes
_:search arrive_by 4:15
_:search destination norwich
_:result arrive_by 15:55
_:result id TR8314
_:result type Train
_:booking category Train
_:search people one
_:search type Train
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:search day friday
_:search departure cambridge
_:result leave_at 05:36
_:result leave_at every hour thereafter
_:result departure Cambridge
_:result destination Norwich
_:result duration 79 minutes
_:search arrive_by 4:15
_:search destination norwich
_:result arrive_by 15:55
_:result id TR8314
_:result type Train
_:search people one
_:search type Train
_:booking category Train
_:booking ticket 17.6 GBP
_:booking type Booking
_:result leave_at ?
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:system inquired _:user
_:result phone 01223518111
_:search day friday
_:search departure cambridge
_:result departure Cambridge
_:result destination Norwich
_:result duration 79 minutes
_:search arrive_by 4:15
_:search destination norwich
_:result arrive_by 15:55
_:result id TR8314
_:search people one
_:search type Train
_:booking category Train
_:booking ticket 17.6 GBP
_:booking type Booking
_:result leave_at 14:36
_:result type Train
_:system canthelp _:search/027d977b
_:search/027d977b food Indonesian
_:search/027d977b pricerange moderate
_:search/027d977b type Restaurant
_:result food asain
_:system canthelp _:search/ad93ff00
_:search/ad93ff00 food indonesian
_:search/ad93ff00 type Restaurant
_:search food asian oriental
_:result amount a few
_:search area centre
_:search pricerange moderate
_:system offered _:booking
_:result name yippee noddle bar
_:result pricerange moderate
_:search name yippee noodle bar
_:result phone 01223518111
_:search day friday
_:search departure cambridge
_:result departure Cambridge
_:result destination Norwich
_:result duration 79 minutes
_:search arrive_by 4:15
_:search destination norwich
_:result arrive_by 15:55
_:result id TR8314
_:search people one
_:search type Train
_:booking category Train
_:booking ticket 17.6 GBP
_:booking type Booking
_:result leave_at 14:36
_:result type Train
_:system inquired _:user