inform((_:search,type,'Train'))
user
Yes , I am a looking for a train . Can you help me ?
request((_:search,destination,?);(_:search,type,'Train'))
system
Yes , I would be happy to . Let me get your information . What is your destination ?
inform((_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am coming from Bishops Stortford heading into Cambridge .
request((_:search,day,?);(_:search,type,'Train'))
system
What day do you want to travel ?
inform((_:search,day,'tuesday');(_:search,leave_at,'12:45');(_:search,type,'Train'))
user
Tuesday , after 12:45 please
inform((_:result,count,'6');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are 6 trains , do you have an arrival time ?
inform((_:search,leave_at,'12:45');(_:search,type,'Train'))
user
No , but I would prefer to leave after 12:45 .
inform((_:result,arrive_by,'14:07');(_:result,destination,'cambridge');(_:result,id,'TR8266');(_:result,leave_at,'13:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sounds good ! Train TR8266 leaves at 13:29 putting you in cambridge at 14:07 . Would you like me to book seats ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes , make a booking for 2 people .
inform((_:booking,category,'Train');(_:booking,id,'TR8266');(_:booking,people,'2');(_:booking,ref,'AZVRQ5NW');(_:booking,ticket,'20.2 GBP');(_:booking,type,'Booking'))
system
You have 2 seats reserved on TR8266 , ref # AZVRQ5NW . The total fee is 20.2 GBP , which you can pay at the station .
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
I 'm also looking for a place to dine that serves Thai food .
select((_:result,area,'center');(_:result,area,'west');(_:result,type,'Restaurant'))
system
Would you like to eat on the west or center of town ?
inform((_:search,type,'Restaurant'))
user
I do not have a preference as to which side of town the restaurant is on .
select((_:result,name,'Bangkok City');(_:result,name,'Sala Thong');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have 2 options availbable :   Sala Thong and Bangkok City .   Does either one sound good to your ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thank you ! Is one of them an expensive restaurant ?
offer((_:booking,type,'Booking')) inform((_:result,amount,'both');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
They are both expensive . Would you like to book a table ?
inform((_:search,day,'tuesday');(_:search,duration,'18:45');(_:search,name,'Bangkok City');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Can you make a reservation at Bangkok City on Tuesday for 2 people at 18:45 ?
reqmore() inform((_:booking,ref,'H129X294');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : H129X294 . Can I help with anything else ?
thank()
user
No , that 's everything . Thanks .
system
Thank you for using our service today .
_:search type Train
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:search leave_at 12:45
_:search type Train
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:result count 6
_:result type Train
_:search arrive_by ?
_:search leave_at 12:45
_:search type Train
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:result count 6
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:result count 6
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:result type Train
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking id TR8266
_:booking people 2
_:booking ref AZVRQ5NW
_:booking ticket 20.2 GBP
_:booking type Booking
_:search food thai
_:search type Restaurant
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:result count 6
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking id TR8266
_:booking people 2
_:booking ref AZVRQ5NW
_:booking ticket 20.2 GBP
_:booking type Booking
_:search food thai
_:result area center
_:result area west
_:result type Restaurant
_:search type Restaurant
_:search departure bishops stortford
_:search destination cambridge
_:search day tuesday
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking id TR8266
_:booking people 2
_:booking ref AZVRQ5NW
_:booking ticket 20.2 GBP
_:booking type Booking
_:search food thai
_:result area center
_:result area west
_:result name Bangkok City
_:result name Sala Thong
_:result count 2
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search departure bishops stortford
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:system offered _:booking
_:booking category Train
_:booking id TR8266
_:booking people 2
_:booking ref AZVRQ5NW
_:booking ticket 20.2 GBP
_:booking type Booking
_:search food thai
_:result area center
_:result area west
_:result name Bangkok City
_:result name Sala Thong
_:result count 2
_:search pricerange expensive
_:result amount both
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 18:45
_:search name Bangkok City
_:search people 2
_:search type Restaurant
_:search departure bishops stortford
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 12:45
_:result arrive_by 14:07
_:result destination cambridge
_:result id TR8266
_:result leave_at 13:29
_:system offered _:booking
_:booking category Train
_:booking id TR8266
_:booking people 2
_:booking ticket 20.2 GBP
_:search food thai
_:result area center
_:result area west
_:result name Bangkok City
_:result name Sala Thong
_:result count 2
_:search pricerange expensive
_:result amount both
_:result pricerange expensive
_:result type Restaurant
_:search day tuesday
_:search duration 18:45
_:search name Bangkok City
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking ref H129X294
_:booking type Booking