inform((_:search,arrive_by,'18:45');(_:search,day,'sunday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Are there trains arriving in Cambridge before 18:45 on Sunday ?
inform((_:result,amount,'many');(_:result,arrive_by,'that time');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are many trains that arrive by that time . Where will you be departing from ?
inform((_:search,departure,'bishops stortford');(_:search,type,'Train'))
user
I 'm leaving Bishops stortford .
inform((_:result,arrive_by,'16:07');(_:result,arrive_by,'18:07');(_:result,type,'Train'))
system
I have a train arriving at 16:07 and one arriving at 18:07 .   Would one of those work ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train')) inform((_:search,arrive_by,'18:07');(_:search,type,'Train'))
user
Can I get the price , travel time , and departure time of the one arriving at 18:07 ?
inform((_:result,arrive_by,'18:07');(_:result,destination,'Cambridge');(_:result,leave_at,'17:29');(_:result,ticket,'8.08 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train arriving in Cambridge at 18:07 departs at 17:29 .   The price of the of the train ride is 8.08 pounds .   Would you like to book a train ticket ?
inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Not at this time , but I am also looking for a european food restaurant in the expensive price range . Can you help with that ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
There are 5 of those . What area do you want to dine in ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
In the centre of town please .
offer((_:booking,type,'Booking')) inform((_:result,name,'eraina');(_:result,type,'Restaurant'))
system
How about eraina ? Shall I book you a table ?
inform((_:search,day,'same day');(_:search,duration,'21:00');(_:search,type,'Restaurant'))
user
Yes , please . It will be just me and I 'd like to eat at 21:00 on the same day as my train .
reqmore() inform((_:booking,ref,'VMNDNKV2');(_:booking,type,'Booking'))
system
OK , I 've got your booked . The reference number is VMNDNKV2 and they 'll hold your table for 15 minutes . Can I help you with anything else ?
thank()
user
That 's everything . Thank you !
system
Great . I hope you enjoy your dinner .
_:search arrive_by 18:45
_:search day sunday
_:search destination cambridge
_:search type Train
_:search arrive_by 18:45
_:search day sunday
_:search destination cambridge
_:result amount many
_:result arrive_by that time
_:result type Train
_:search departure bishops stortford
_:search type Train
_:search day sunday
_:search destination cambridge
_:result amount many
_:search departure bishops stortford
_:result arrive_by 16:07
_:result arrive_by 18:07
_:result type Train
_:result duration ?
_:result leave_at ?
_:result ticket ?
_:search arrive_by 18:07
_:search type Train
_:search day sunday
_:search destination cambridge
_:result amount many
_:search departure bishops stortford
_:result duration ?
_:search arrive_by 18:07
_:result arrive_by 18:07
_:result destination Cambridge
_:result leave_at 17:29
_:result ticket 8.08 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:result ticket ?
_:search day sunday
_:search destination cambridge
_:result amount many
_:search departure bishops stortford
_:result duration ?
_:search arrive_by 18:07
_:result arrive_by 18:07
_:result destination Cambridge
_:result leave_at 17:29
_:result ticket 8.08 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result ticket ?
_:result count 5
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search destination cambridge
_:result amount many
_:search departure bishops stortford
_:result duration ?
_:search arrive_by 18:07
_:result arrive_by 18:07
_:result destination Cambridge
_:result leave_at 17:29
_:result ticket 8.08 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result ticket ?
_:result count 5
_:search area centre
_:result name eraina
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search type Restaurant
_:search destination cambridge
_:result amount many
_:search departure bishops stortford
_:result duration ?
_:search arrive_by 18:07
_:result arrive_by 18:07
_:result destination Cambridge
_:result leave_at 17:29
_:result ticket 8.08 pounds
_:system offered _:booking
_:booking category Train
_:search food european
_:search pricerange expensive
_:result ticket ?
_:result count 5
_:search area centre
_:result name eraina
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search type Restaurant
_:system inquired _:user
_:booking ref VMNDNKV2
_:booking type Booking