inform((_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need train reservations from norwich to cambridge
inform((_:result,count,'133');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have 133 trains matching your request . Is there a specific day and time you would like to travel ?
inform((_:search,arrive_by,'18:00');(_:search,day,'monday');(_:search,type,'Train'))
user
I 'd like to leave on Monday and arrive by 18:00 .
inform((_:result,count,'12');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 12 trains for the day and time you request .   Would you like to book it now ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Before booking , I would also like to know the travel time , price , and departure time please .
inform((_:result,count,'12');(_:result,leave_at,'05:16');(_:result,leave_at,'16:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 12 trains meeting your needs with the first leaving at 05:16 and the last one leaving at 16:16 . Do you want to book one of these ?
inform((_:search,name,'cineworld cinema');(_:search,type,'Attraction'))
user
No hold off on booking for now .   Can you help me find an attraction called cineworld cinema ?
inform((_:result,area,'south');(_:result,category,'cinema');(_:result,type,'Attraction'))
system
Yes it is a cinema located in the south part of town what information would you like on it ?
thank()
user
Yes , that was all I needed . Thank you very much !
system
Thank you for using our system .
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search departure norwich
_:search destination cambridge
_:result count 133
_:result type Train
_:search leave_at ?
_:search arrive_by 18:00
_:search day monday
_:search type Train
_:search departure norwich
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 18:00
_:search day monday
_:search type Train
_:result count 12
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result leave_at ?
_:result ticket ?
_:search departure norwich
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 18:00
_:search day monday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:result count 12
_:result leave_at 05:16
_:result leave_at 16:16
_:result type Train
_:search name cineworld cinema
_:search type Attraction
_:search departure norwich
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 18:00
_:search day monday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:result count 12
_:result leave_at 05:16
_:result leave_at 16:16
_:search name cineworld cinema
_:search type Attraction
_:result area south
_:result category cinema
_:result type Attraction