inform((_:search,area,'west');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would like to dine at a cheap restaurant on the west side of town . What are my choices ?
select((_:result,food,'Italian');(_:result,food,'Vietnamese');(_:result,type,'Restaurant'))
system
Would you like to eat Italian or Vietnamese cuisine ?
inform((_:search,food,'austrian');(_:search,type,'Restaurant'))
user
I would like Austrian actually .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'west');(_:search,food,'Austrian');(_:search,type,'Restaurant'))
system
There are no Austrian restaurants in the west . Would you like to try another cuisine ?
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
How about Vietnamese food ?
offer((_:booking,type,'Booking')) inform((_:result,food,'Vietnamese');(_:result,name,'Thanh Binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
For Vietnamese , I have a great place called Thanh Binh . It is a cheap restaurant with great food . Would you like help reserving a table ?
inform((_:search,day,'thursday');(_:search,duration,'12:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes , that would be great .   My party will consist of 7 people and I would like to book for 12:45 on Thursday .
inform((_:booking,ref,'99A7DNB0');(_:booking,type,'Booking'))
system
Great .   your booking was successful and you table is reserved for 15 minutes . 
 The reference number is : 99A7DNB0 .
inform((_:search,day,'friday');(_:search,destination,'ely');(_:search,type,'Train'))
user
Thank you . I would also like a train leaving on Friday going to Ely .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave ?
inform((_:search,type,'Restaurant'))
user
I want to leave in time enough to get to the restaurant on time
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Would you like me to book it for you ?
inform((_:search,arrive_by,'18:45');(_:search,day,'friday');(_:search,type,'Train'))
user
I need to arrive by 18:45 on Friday .
inform((_:result,arrive_by,'18:07');(_:result,departure,'Cambridge');(_:result,destination,'Ely');(_:result,id,'TR9933');(_:result,leave_at,'17:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR9933 departs Cambridge at 17:50 and arrives in Ely at 18:07 . Do you want me to book this for you ?
inform((_:search,people,'seven');(_:search,type,'Train'))
user
Yes please , for seven people
reqmore() inform((_:booking,ref,'UDP5WC1J');(_:booking,type,'Booking'))
system
Okay , I have booked that for you and the reference number is : UDP5WC1J . Can I help you with anything else ?
thank()
user
I think that covers everything . Thanks for your assistance today , you 've been so helpful !
system
Thank you ! If you need anything else , please do n't hesitate to ask .
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result food Italian
_:result food Vietnamese
_:result type Restaurant
_:search food austrian
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result food Italian
_:result food Vietnamese
_:result type Restaurant
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:booking type Booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day thursday
_:search duration 12:45
_:search people 7
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search duration 12:45
_:search people 7
_:booking ref 99A7DNB0
_:booking type Booking
_:search day friday
_:search destination ely
_:search type Train
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search duration 12:45
_:search people 7
_:booking ref 99A7DNB0
_:booking type Booking
_:search day friday
_:search destination ely
_:search leave_at ?
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search duration 12:45
_:search people 7
_:booking ref 99A7DNB0
_:booking type Booking
_:search destination ely
_:search leave_at ?
_:booking category Train
_:search arrive_by 18:45
_:search day friday
_:search type Train
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:search duration 12:45
_:booking ref 99A7DNB0
_:booking type Booking
_:search destination ely
_:search leave_at ?
_:booking category Train
_:search arrive_by 18:45
_:search day friday
_:result arrive_by 18:07
_:result departure Cambridge
_:result destination Ely
_:result id TR9933
_:result leave_at 17:50
_:result type Train
_:search people seven
_:search type Train
_:search area west
_:search pricerange cheap
_:system canthelp _:search/2a8d0658
_:search/2a8d0658 area west
_:search/2a8d0658 food Austrian
_:search/2a8d0658 type Restaurant
_:search food vietnamese
_:system offered _:booking
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:search duration 12:45
_:search destination ely
_:search leave_at ?
_:booking category Train
_:search arrive_by 18:45
_:search day friday
_:result arrive_by 18:07
_:result departure Cambridge
_:result destination Ely
_:result id TR9933
_:result leave_at 17:50
_:result type Train
_:search people seven
_:search type Train
_:system inquired _:user
_:booking ref UDP5WC1J
_:booking type Booking