inform((_:search,day,'tuesday');(_:search,departure,'leicester');(_:search,type,'Train'))
user
I 'd like to find a train Tuesday departing from Leicester .
inform((_:result,count,'19');(_:result,day,'tuesday');(_:result,departure,'leicester');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have 19 trains departing on tuesday from leicester , I can narrow it down a bit if you have a preferred time to leave at or arrive by .
inform((_:search,leave_at,'11:15');(_:search,type,'Train'))
user
I would like to leave after 11:15 .
inform((_:result,amount,'many available');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I have many available . Is your destination Cambridge or do you have another location in mind ?
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,leave_at,'11:15');(_:search,type,'Train'))
user
Yes I would like to go from leicester to cambridge and leave after 11:15 please .
inform((_:result,arrive_by,'13:54');(_:result,id,'TR4354');(_:result,leave_at,'12:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The first available train leaving after 11:15 would be train TR4354 which departs at 12:09 and arrives at 13:54 . Would you like me to book you a ticket for this train ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes I 'll need 4 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'PLYNP1VG');(_:booking,type,'Booking'))
system
Perfect . I was able to book for tickets on that train and your reference number for the journey is PLYNP1VG . Anything else I can help you with ?
thank()
user
No , you have been very helpful . Goodnight .
system
Okay enjoy your visit .
_:search day tuesday
_:search departure leicester
_:search type Train
_:search day tuesday
_:search departure leicester
_:result count 19
_:result day tuesday
_:result departure leicester
_:result type Train
_:search arrive_by ?
_:search leave_at 11:15
_:search type Train
_:search day tuesday
_:result count 19
_:result day tuesday
_:result departure leicester
_:search arrive_by ?
_:result amount many available
_:result type Train
_:search departure leicester
_:search destination cambridge
_:search leave_at 11:15
_:search type Train
_:search day tuesday
_:result count 19
_:result day tuesday
_:result departure leicester
_:search arrive_by ?
_:result amount many available
_:search departure leicester
_:search destination cambridge
_:search leave_at 11:15
_:result arrive_by 13:54
_:result id TR4354
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search day tuesday
_:result count 19
_:result day tuesday
_:result departure leicester
_:search arrive_by ?
_:result amount many available
_:search departure leicester
_:search destination cambridge
_:search leave_at 11:15
_:result arrive_by 13:54
_:result id TR4354
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref PLYNP1VG
_:booking type Booking