inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
am looking for a train . The train should leave on monday and should depart from cambridge .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are many trains available .   Do you have a specific day or time in mind ?
inform((_:search,day,'monday');(_:search,leave_at,'12:00');(_:search,type,'Train'))
user
I would like to travel on Monday after 12:00 .
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'leicester');(_:search,type,'Train'))
user
I want to go to leicester .
inform((_:result,amount,'next train after 12:00');(_:result,leave_at,'12:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
The next train after 12:00 leaves at 12:21 . Would you like to purchase tickets for that train or is there anything else I can help you with ?
request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
I 'd just like the travel time and train ID for that one please .
inform((_:result,duration,'105 minutes');(_:result,leave_at,'12:21');(_:result,type,'Train')) reqmore()
system
12:21 and time is 105 minutes . May I hemp with anything else ?
request((_:result,id,?);(_:result,type,'Train'))
user
Yes , can you please tell me the train ID that departs at 12:21 ?
inform((_:result,duration,'105 minutes');(_:result,id,'TR4096');(_:result,type,'Train')) reqmore()
system
My apologies , the ID is TR4096 and the duration is 105 minutes . Is there anything else that I can help you with ?
thank()
user
That is all for now . Thank you so much for the information .
system
You 're quite welcome . Have a safe trip . Goodbye .
_:search day monday
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:result amount many
_:result type Train
_:search day monday
_:search leave_at 12:00
_:search type Train
_:search departure cambridge
_:result amount many
_:result type Train
_:search day monday
_:search leave_at 12:00
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search day monday
_:search leave_at 12:00
_:search destination leicester
_:search type Train
_:result amount next train after 12:00
_:result leave_at 12:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:result duration ?
_:result id ?
_:search departure cambridge
_:search day monday
_:search leave_at 12:00
_:search destination leicester
_:search type Train
_:result amount next train after 12:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:result duration 105 minutes
_:result leave_at 12:21
_:result type Train
_:system inquired _:user
_:search departure cambridge
_:search day monday
_:search leave_at 12:00
_:search destination leicester
_:search type Train
_:result amount next train after 12:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 12:21
_:result duration 105 minutes
_:result id TR4096
_:result type Train
_:system inquired _:user