inform((_:search,departure,'leicester');(_:search,leave_at,'15:30');(_:search,type,'Train'))
user
I 'm looking to book a train from leicester that leaves after 15:30 .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I 'm trying to get the leicester from cambridge , actually .
request((_:search,day,?);(_:search,type,'Train'))
system
What is the day of travel ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
It will be on Saturday .
inform((_:result,leave_at,'16:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that leaves at 16:21 . If that works for you , I 'd be happy to book your seat .
inform((_:search,people,'2');(_:search,type,'Train'))
user
Great , can you book it for 2 people ?
inform((_:booking,category,'Train');(_:booking,ref,'6OINE67F');(_:booking,ticket,'60.48 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 60.48 GBP payable at the station . 
 Reference number is : 6OINE67F .
inform((_:search,name,'the cambridge corn exchange');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,area,?);(_:result,type,'Attraction'))
user
I am also looking for an attraction called the cambridge corn exchange . I would like to know the area and the address please .
reqmore() inform((_:result,address,'Wheeler Street');(_:result,area,'centre');(_:result,name,'Cambridge Corn Exchange');(_:result,type,'Attraction'))
system
The area of the Cambridge Corn Exchange is centre . The address is on Wheeler Street . Is there anything else I can help with ?
bye()
user
No , that is all . Good bye .
system
I am happy I could assist you today . Let us know if you need anything else .
_:search departure leicester
_:search leave_at 15:30
_:search type Train
_:search leave_at 15:30
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search leave_at 15:30
_:search departure cambridge
_:search destination leicester
_:search day saturday
_:search type Train
_:search leave_at 15:30
_:search departure cambridge
_:search destination leicester
_:search day saturday
_:result leave_at 16:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search leave_at 15:30
_:search departure cambridge
_:search destination leicester
_:search day saturday
_:result leave_at 16:21
_:result type Train
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref 6OINE67F
_:booking ticket 60.48 GBP
_:booking type Booking
_:search name the cambridge corn exchange
_:search type Attraction
_:result address ?
_:result area ?
_:result type Attraction
_:search leave_at 15:30
_:search departure cambridge
_:search destination leicester
_:search day saturday
_:result leave_at 16:21
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking ref 6OINE67F
_:booking ticket 60.48 GBP
_:booking type Booking
_:search name the cambridge corn exchange
_:search type Attraction
_:system inquired _:user
_:result address Wheeler Street
_:result area centre
_:result name Cambridge Corn Exchange
_:result type Attraction
_:user dismissed _:system