inform((_:search,day,'saturday');(_:search,type,'Train'))
user
I am looking for a train leaving on Saturday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like the train for ?
inform((_:search,leave_at,'12:00');(_:search,type,'Train'))
user
I would like to leave after 12:00 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
We can certainly arrange that . Can you tell me where you will be leaving from and where you would like to go ?
inform((_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I 'll be leaving from cambridge and going to birmingham new street .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'9LZNG2V4');(_:booking,ticket,'60.08 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 60.08 GBP payable at the station . Reference number is : 9LZNG2V4 . Is there anything else I can help with ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
yes can you tell me when the train arrives and how long the journey will be ?
inform((_:result,arrive_by,'12:44');(_:result,duration,'163 minutes');(_:result,type,'Train')) reqmore()
system
Gladly . The train arrives at 12:44 and the trip will take 163 minutes . Is there anything else I may assist you with today ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes how much is the ticket ?
inform((_:result,ticket,'60.08 GBP');(_:result,type,'Train')) reqmore()
system
It 's 60.08 GBP , payable at the station . May I help with anything else ?
bye()
user
That 's everything I needed thanks . Bye .
system
You 're welcome , have a great day !
_:search day saturday
_:search type Train
_:search day saturday
_:search leave_at 12:00
_:search type Train
_:search day saturday
_:search leave_at 12:00
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search day saturday
_:search leave_at 12:00
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref 9LZNG2V4
_:booking ticket 60.08 GBP
_:booking type Booking
_:result arrive_by ?
_:result type Train
_:search day saturday
_:search leave_at 12:00
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:booking category Train
_:booking ref 9LZNG2V4
_:booking ticket 60.08 GBP
_:booking type Booking
_:result arrive_by 12:44
_:result duration 163 minutes
_:result type Train
_:system inquired _:user
_:result ticket ?
_:search day saturday
_:search leave_at 12:00
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:booking category Train
_:booking ref 9LZNG2V4
_:booking ticket 60.08 GBP
_:booking type Booking
_:result arrive_by 12:44
_:result duration 163 minutes
_:result ticket 60.08 GBP
_:result type Train
_:system inquired _:user
_:user dismissed _:system