inform((_:search,type,'Train'))
user
Hi . Can you help me find a train ?
request((_:search,day,?);(_:search,type,'Train'))
system
what day would you like to leave ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I want to leave on Sunday , please .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,arrive_by,'19:30');(_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train')) request((_:result,id,?);(_:result,type,'Train'))
user
I 'll be departing from cambridge and want to arrive by 19:30 on sunday . Could I also get the train ID as well ?
inform((_:result,count,'146');(_:result,day,'Sunday');(_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are 146 departures from Cambridge on Sunday that match your arrive by time . Where is your destination ?
inform((_:search,area,'south');(_:search,destination,'kings lynn');(_:search,pricerange,'expensive');(_:search,type,'Restaurant');(_:search,type,'Train'))
user
kings lynn and I also looking for a restaurant in the south and expensive price range
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , I can help you with that .   First , let 's find the train .   How early would you like to leave ?
inform((_:search,arrive_by,'19:30');(_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train')) request((_:result,id,?);(_:result,type,'Train'))
user
arriving by 19:30 on sunday . I need the train 's ID please . Leaving cambridge going to kings lynn
inform((_:result,arrive_by,'05:58');(_:result,departure,'Cambridge');(_:result,destination,'Kings Lynn');(_:result,id,'TR3212');(_:result,leave_at,'05:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3212 leaves Cambridge at 05:11 and arrives in Kings Lynn at 05:58 . Will this one work for you ?
user
I 'd like something a little later in the day , please .
inform((_:result,arrive_by,'18:38');(_:result,id,'TR2045');(_:result,leave_at,'18:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2045 leaves at 18:11 and arrives at 18:38 . Would that be acceptable ?
user
that sound just fine
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Would you like me to book tickets for you ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
please do . i would also like help finding an expensive restaurant .
request((_:search,people,?);(_:search,type,'Train'))
system
How many seats do you need on that train ?
inform((_:search,type,'Restaurant');(_:search,type,'Train'))
user
I do not need train reservations . I need help finding a restaurant .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
There are several fine restaurants .   What area and what type of food would you enjoy ?
inform((_:search,area,'south');(_:search,day,'same day');(_:search,duration,'15:45');(_:search,food,'dontcare');(_:search,people,'3');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
South area , and food type does n't matter . I need it for 3 people at 15:45 on the same day , if that time does n't work 14:45 and i 'd like a reference number .
inform((_:booking,duration,'1545');(_:booking,name,'frankie and bennys');(_:booking,people,'3');(_:booking,ref,'T01E84XG');(_:booking,type,'Booking'))
system
You are booked at frankie and bennys for 3 at 1545 . your booking number is T01E84XG
thank()
user
Thank you for your help .   That is all I need .
system
Okay . Glad I could be of help .
_:search type Train
_:search day sunday
_:search type Train
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search type Train
_:result id ?
_:result type Train
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:result id ?
_:result count 146
_:result day Sunday
_:result departure Cambridge
_:result type Train
_:search area south
_:search destination kings lynn
_:search pricerange expensive
_:search type Restaurant
_:search type Train
_:result id ?
_:result count 146
_:result day Sunday
_:result departure Cambridge
_:result type Train
_:search area south
_:search pricerange expensive
_:search leave_at ?
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:result count 146
_:result day Sunday
_:search area south
_:search pricerange expensive
_:search leave_at ?
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:result arrive_by 05:58
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR3212
_:result leave_at 05:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 146
_:result day Sunday
_:search area south
_:search pricerange expensive
_:search leave_at ?
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:result departure Cambridge
_:result destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:38
_:result id TR2045
_:result leave_at 18:11
_:result type Train
_:result count 146
_:result day Sunday
_:search area south
_:search leave_at ?
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search destination kings lynn
_:result departure Cambridge
_:result destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:38
_:result id TR2045
_:result leave_at 18:11
_:result type Train
_:search pricerange expensive
_:search type Restaurant
_:result count 146
_:result day Sunday
_:search area south
_:search leave_at ?
_:search arrive_by 19:30
_:search day sunday
_:search departure cambridge
_:search destination kings lynn
_:result departure Cambridge
_:result destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:38
_:result id TR2045
_:result leave_at 18:11
_:result type Train
_:search pricerange expensive
_:search people ?
_:search type Restaurant
_:search type Train
_:result count 146
_:result day Sunday
_:search leave_at ?
_:search arrive_by 19:30
_:search departure cambridge
_:search destination kings lynn
_:result departure Cambridge
_:result destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:38
_:result id TR2045
_:result leave_at 18:11
_:search pricerange expensive
_:result amount several
_:result type Restaurant
_:search area south
_:search day same day
_:search duration 15:45
_:search food dontcare
_:search people 3
_:search type Restaurant
_:result ref ?
_:result count 146
_:result day Sunday
_:search leave_at ?
_:search arrive_by 19:30
_:search departure cambridge
_:search destination kings lynn
_:result departure Cambridge
_:result destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:result arrive_by 18:38
_:result id TR2045
_:result leave_at 18:11
_:search pricerange expensive
_:result amount several
_:result type Restaurant
_:search area south
_:search day same day
_:search duration 15:45
_:search food dontcare
_:search people 3
_:search type Restaurant
_:result ref ?
_:booking duration 1545
_:booking name frankie and bennys
_:booking people 3
_:booking ref T01E84XG
_:booking type Booking