inform((_:search,day,'sunday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I need a train that goes to leicester on sunday
inform((_:result,id,'TR2025');(_:result,leave_at,'05:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2025 leaves at 05:21 .   Do you need a ticket ?
inform((_:search,arrive_by,'13:00');(_:search,type,'Train'))
user
Yes as long as I arrive at my destination by 13:00 .
inform((_:result,arrive_by,'12:06');(_:result,destination,'Leicester');(_:result,id,'TR5767');(_:result,type,'Train'))
system
The TR5767 will have you in Leicester at 12:06 .
request((_:result,duration,?);(_:result,type,'Train'))
user
How long will the trip take ?
inform((_:result,departure,'Cambridge');(_:result,destination,'Leicester');(_:result,duration,'an hour and forty - five minutes');(_:result,leave_at,'10:21');(_:result,type,'Train'))
system
That train leaves from Cambridge at 10:21 , it takes an hour and forty - five minutes to get to Leicester .
inform((_:search,area,'north');(_:search,category,'park');(_:search,type,'Attraction'))
user
That 's good . Is there a park in the north part of town ?
inform((_:result,area,'north');(_:result,name,'Milton Country Park');(_:result,type,'Attraction'))
system
Yes , Milton Country Park is located in the north .
request((_:result,address,?);(_:result,type,'Attraction'))
user
Can you get the address ?
system
I 'd be happy to help you with that . The address is milton country park , milton and the admission is free ! Phone 01223420060 , postcode cb46az . Will that be it for you today ?
_:search day sunday
_:search destination leicester
_:search type Train
_:search day sunday
_:search destination leicester
_:result id TR2025
_:result leave_at 05:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:search type Train
_:search day sunday
_:search destination leicester
_:result leave_at 05:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:search type Train
_:result arrive_by 12:06
_:result destination Leicester
_:result id TR5767
_:result type Train
_:result duration ?
_:search day sunday
_:search destination leicester
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:result arrive_by 12:06
_:result id TR5767
_:result departure Cambridge
_:result destination Leicester
_:result duration an hour and forty - five minutes
_:result leave_at 10:21
_:result type Train
_:search area north
_:search category park
_:search type Attraction
_:search day sunday
_:search destination leicester
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:result arrive_by 12:06
_:result id TR5767
_:result departure Cambridge
_:result destination Leicester
_:result duration an hour and forty - five minutes
_:result leave_at 10:21
_:search area north
_:search category park
_:search type Attraction
_:result area north
_:result name Milton Country Park
_:result type Attraction
_:result address ?