inform((_:search,day,'friday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm traveling to cambridge and I need a train that leaves on friday .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where will you be coming from , and what time would you like to depart from there ?
inform((_:search,arrive_by,'15:15');(_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'd like to get on the train at London Kings Cross and arrive in Cambridge by 15:15 .
inform((_:result,arrive_by,'14:08');(_:result,departure,'Kings Cross');(_:result,id,'TR4748');(_:result,leave_at,'13:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4748 leaves Kings Cross at 13:17 and arrives at 14:08 .   Will that work ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
That sounds perfect !   Can I purchase 3 tickets on that train , please ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'3');(_:booking,ref,'BDJACGOT');(_:booking,type,'Booking'))
system
Ok , 3 tickets are booked ! Your reference number is BDJACGOT . Can I help you with anything else ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Yes , I would also like a place to eat near the centre area .   Can you assist me with that ?
thank() inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
of course ! i have many options for you in that area .
inform((_:search,food,'spanish');(_:search,type,'Restaurant'))
user
What I 'd really like is Spanish food . What are my choices ?
system
There are two different place : La Tasca and La Raza .   La Tasca is moderately price and La Raza is cheap .
inform((_:search,day,'friday');(_:search,duration,'19:15');(_:search,name,'la raza');(_:search,people,'3');(_:search,type,'Restaurant'))
user
La Raza sounds great .   Can I book a table for 3 on Friday at 19:15 ?
reqmore() inform((_:booking,ref,'KDXKRQCD');(_:booking,type,'Booking'))
system
It is booked ! Your reference number is : KDXKRQCD . Can I help with anything else ?
thank()
user
No that 's it ! Thank you for your help !
system
Glad to have been of assistance . Thank you for using our service , have a great day !
_:search day friday
_:search destination cambridge
_:search type Train
_:search day friday
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search day friday
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 14:08
_:result departure Kings Cross
_:result id TR4748
_:result leave_at 13:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:search day friday
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 14:08
_:result departure Kings Cross
_:result id TR4748
_:result leave_at 13:17
_:result type Train
_:system offered _:booking
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref BDJACGOT
_:booking type Booking
_:search area centre
_:search type Restaurant
_:search day friday
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 14:08
_:result departure Kings Cross
_:result id TR4748
_:result leave_at 13:17
_:system offered _:booking
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref BDJACGOT
_:booking type Booking
_:search area centre
_:result amount many
_:result type Restaurant
_:search food spanish
_:search type Restaurant
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 14:08
_:result departure Kings Cross
_:result id TR4748
_:result leave_at 13:17
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref BDJACGOT
_:booking type Booking
_:search area centre
_:result amount many
_:result type Restaurant
_:search food spanish
_:search day friday
_:search duration 19:15
_:search name la raza
_:search people 3
_:search type Restaurant
_:search leave_at ?
_:search arrive_by 15:15
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 14:08
_:result departure Kings Cross
_:result id TR4748
_:result leave_at 13:17
_:system offered _:booking
_:booking category Train
_:booking people 3
_:search area centre
_:result amount many
_:result type Restaurant
_:search food spanish
_:search day friday
_:search duration 19:15
_:search name la raza
_:search people 3
_:search type Restaurant
_:system inquired _:user
_:booking ref KDXKRQCD
_:booking type Booking