inform((_:search,arrive_by,'16:00');(_:search,day,'saturday');(_:search,type,'Train'))
user
I 'm looking for a train . The train should arrive by 16:00 and should leave on saturday .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where will you be traveling to ?
inform((_:search,departure,'broxbourne');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am going to cambridge from Broxbourne .
inform((_:result,arrive_by,'15:32');(_:result,id,'TR 1412');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR 1412 arrives at 15:32 . Will this be okay ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Yes . Please book it for 1 person .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'DBWTXCO1');(_:booking,type,'Booking'))
system
I booked your ticket , and your reference number is DBWTXCO1 . Can I help further today ?
thank()
user
No that 's it ! Thanks so much !
thank()
system
thanks again for choosing us
bye()
user
You have been helpful .   Good bye .
system
Thank you . Goodbye .
_:search arrive_by 16:00
_:search day saturday
_:search type Train
_:search arrive_by 16:00
_:search day saturday
_:search departure broxbourne
_:search destination cambridge
_:search type Train
_:search arrive_by 16:00
_:search day saturday
_:search departure broxbourne
_:search destination cambridge
_:result arrive_by 15:32
_:result id TR 1412
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 1
_:search type Train
_:search arrive_by 16:00
_:search day saturday
_:search departure broxbourne
_:search destination cambridge
_:result arrive_by 15:32
_:result id TR 1412
_:result type Train
_:system offered _:booking
_:search people 1
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref DBWTXCO1
_:booking type Booking
_:search arrive_by 16:00
_:search day saturday
_:search departure broxbourne
_:search destination cambridge
_:result arrive_by 15:32
_:result id TR 1412
_:result type Train
_:system offered _:booking
_:search people 1
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref DBWTXCO1
_:booking type Booking
_:user dismissed _:system