inform((_:search,arrive_by,'9:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a not later than 9:15 train to Cambridge .
inform((_:result,arrive_by,'07:07');(_:result,destination,'Cambridge');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
It looks like there 's a train for Cambridge with an arrival time of 07:07 . Would you like me to book that for you ?
inform((_:search,day,'sunday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Yes , book me for Sunday departing from london kings cross .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets will you require ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
8 , please
reqmore() inform((_:booking,category,'Train');(_:booking,leave_at,'07:17');(_:booking,ref,'5Y7XKAJY');(_:booking,ticket,'151.04 GBP');(_:booking,type,'Booking'))
system
Your booking is successful . Train is leaving at 07:17 and it costs 151.04 GBP . Your reference number is 5Y7XKAJY . Anything else I can help with ?
thank()
user
No thank you that 's I need !
system
Okay thank you for calling . Do n't hesitate to call us again .
_:search arrive_by 9:15
_:search destination cambridge
_:search type Train
_:search arrive_by 9:15
_:search destination cambridge
_:result arrive_by 07:07
_:result destination Cambridge
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search departure london kings cross
_:search type Train
_:search arrive_by 9:15
_:search destination cambridge
_:result arrive_by 07:07
_:result destination Cambridge
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search departure london kings cross
_:search people 8
_:search type Train
_:search arrive_by 9:15
_:search destination cambridge
_:result arrive_by 07:07
_:result destination Cambridge
_:result type Train
_:system offered _:booking
_:search day sunday
_:search departure london kings cross
_:search people 8
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking leave_at 07:17
_:booking ref 5Y7XKAJY
_:booking ticket 151.04 GBP
_:booking type Booking