inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want a place to dine in the south that is expensive .
select((_:result,food,'Chinese');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,food,'Mexican');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
We have several options that include Chinese , Indian , Italian , and Mexican . Which one do you prefer ?
inform((_:search,food,'traditional');(_:search,type,'Restaurant'))
user
I 'm looking for a restaurant serves traditional food . Are there any nearby ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,area,'south');(_:result,food,'traditional');(_:result,type,'Restaurant'))
system
There are no restaurants in the south serving traditional food . Would you prefer something different ?
inform((_:search,food,'mexican');(_:search,type,'Restaurant'))
user
How about Mexican food ?   Can you check on that for me ?
offer((_:booking,type,'Booking')) inform((_:result,area,'south');(_:result,food,'Mexican');(_:result,name,'Chiquito Restaurant Bar');(_:result,type,'Restaurant'))
system
Sure ! We have the Chiquito Restaurant Bar located in the south serving Mexican food .   Would you like to make a reservation ?
inform((_:search,day,'wednesday');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes please . I need reservation for 6 people at 1400 on wednesday .
inform((_:booking,day,'Wednesday');(_:booking,duration,'14:00');(_:booking,people,'6');(_:booking,ref,'DKBLDY07');(_:booking,type,'Booking'))
system
I have a table for 6 reserved for you on Wednesday at 14:00 .   They will hold the table for 15 minutes .   Your reference number is DKBLDY07
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
Thanks . I also need to find a train for Thursday .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
OK , what are your departure and arrival stations , and what time of day would you like to travel ?
inform((_:search,day,'thursday');(_:search,leave_at,'15:45');(_:search,type,'Train'))
user
It should leave after 15:45 on thursday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Sure , which stations will you be departing from and arriving to ?
inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am departing from cambridge and arriving in london kings cross .
inform((_:result,arrive_by,'17:51');(_:result,day,'thursday');(_:result,departure,'cambridge');(_:result,destination,'london kings cross');(_:result,id,'TR1791');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Ok , leaving after 15:45 on thursday we have Train TR1791 from cambridge to london kings cross 	 leaving at 17:00 and arriving at 17:51 . Shall I book it , if so for how many ?
inform((_:search,people,'six');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That will work . For six people as well . Please make sure I receive the reference number .
inform((_:result,ref,'V1YVJYN8');(_:result,type,'Train')) reqmore() inform((_:booking,category,'Train');(_:booking,ticket,'141.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 141.6 GBP payable at the station . 
 Reference number is : V1YVJYN8 . Can I help with anything else today ?
thank()
user
That 's all I need for today , thanks for your help !
system
Goodbye , enjoy the rest of your day .
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result food Chinese
_:result food Indian
_:result food Italian
_:result food Mexican
_:result amount several
_:result type Restaurant
_:search food traditional
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:result area south
_:result food traditional
_:result type Restaurant
_:search food mexican
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:booking type Booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:result type Restaurant
_:search day wednesday
_:search people 6
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:result type Restaurant
_:search people 6
_:booking day Wednesday
_:booking duration 14:00
_:booking people 6
_:booking ref DKBLDY07
_:booking type Booking
_:search day thursday
_:search type Train
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:result type Restaurant
_:search people 6
_:booking day Wednesday
_:booking duration 14:00
_:booking people 6
_:booking ref DKBLDY07
_:booking type Booking
_:search departure ?
_:search destination ?
_:search day thursday
_:search leave_at 15:45
_:search type Train
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:result type Restaurant
_:search people 6
_:booking day Wednesday
_:booking duration 14:00
_:booking people 6
_:booking ref DKBLDY07
_:booking type Booking
_:search day thursday
_:search leave_at 15:45
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:booking day Wednesday
_:booking duration 14:00
_:booking people 6
_:booking ref DKBLDY07
_:booking type Booking
_:search day thursday
_:search leave_at 15:45
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 17:51
_:result day thursday
_:result departure cambridge
_:result destination london kings cross
_:result id TR1791
_:result leave_at 17:00
_:result type Train
_:booking category Train
_:search people six
_:search type Train
_:result ref ?
_:search area south
_:search pricerange expensive
_:result amount several
_:system canthelp _:search/1b486689
_:search/1b486689 type Restaurant
_:search food mexican
_:system offered _:booking
_:result area south
_:result food Mexican
_:result name Chiquito Restaurant Bar
_:booking day Wednesday
_:booking duration 14:00
_:booking people 6
_:booking ref DKBLDY07
_:search day thursday
_:search leave_at 15:45
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 17:51
_:result day thursday
_:result departure cambridge
_:result destination london kings cross
_:result id TR1791
_:result leave_at 17:00
_:search people six
_:search type Train
_:result ref V1YVJYN8
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ticket 141.6 GBP
_:booking type Booking