inform((_:search,departure,'cambridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I am looking to book a train . I need to leave Cambridge and go to London Liverpool Street .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
No problem , I have many options for you . Do you have a particular day of the week you would like to travel , or time ?
inform((_:search,day,'thursday');(_:search,leave_at,'13:45');(_:search,type,'Train'))
user
yes . i   should leave after 13:45 and should leave on thursday
inform((_:result,day,'Thursday');(_:result,leave_at,'13:59');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train leaving Thursday at 13:59 , would you like me to book it for you ?
inform((_:search,destination,'london liverpool street');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Could you tell me when the train arrives in London Liverpool Street ?
inform((_:result,arrive_by,'15:27');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
That train arrives at 15:27 . Would you like me to book it for you ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
yes pliz.may i also get the arrival time
inform((_:result,arrive_by,'15:27');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The arrival time is by 15:27 , do you want to book a seat ?
thank()
user
Not yet . I just needed to get the details . Thanks for helping me . Goodbye .
system
Thank you for using our services . Do you need any further assistance ?
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:search departure cambridge
_:search destination london liverpool street
_:result amount many
_:result type Train
_:search day thursday
_:search leave_at 13:45
_:search type Train
_:search departure cambridge
_:result amount many
_:search day thursday
_:search leave_at 13:45
_:result day Thursday
_:result leave_at 13:59
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination london liverpool street
_:search type Train
_:result arrive_by ?
_:search departure cambridge
_:result amount many
_:search day thursday
_:search leave_at 13:45
_:result day Thursday
_:result leave_at 13:59
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination london liverpool street
_:search type Train
_:result arrive_by 15:27
_:result type Train
_:result arrive_by ?
_:search departure cambridge
_:result amount many
_:search day thursday
_:search leave_at 13:45
_:result day Thursday
_:result leave_at 13:59
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination london liverpool street
_:search type Train
_:result arrive_by 15:27
_:result type Train