inform((_:search,category,'cinema');(_:search,type,'Attraction'))
user
What is the best cinema in Cambridge you can recommend ?
inform((_:result,name,'Cineworld');(_:result,name,'Vue');(_:result,type,'Attraction')) select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Attraction'))
system
Cineworld and Vue are both excellent . Do you prefer the south or centre of town ?
request((_:result,area,?);(_:result,type,'Attraction'))
user
The exact area does not matter .
inform((_:result,address,'cambridge leisure park , clifton way');(_:result,name,'Cineworld');(_:result,type,'Attraction'))
system
Cineworld is located at cambridge leisure park , clifton way .
request((_:result,area,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Sounds great . What area is that in ? And could you get me the phone number ?
reqmore() inform((_:result,area,'South');(_:result,name,'Cineworld');(_:result,phone,'00872208000');(_:result,type,'Attraction'))
system
Cineworld is in the South and their number is 00872208000 . Is there anything else I can help you with ?
inform((_:search,type,'Train'))
user
I also need a train .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
I will book it for you , is there anything else I can do for you ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train')) thank()
user
Yes ! I am leaving from Cambridge on Tuesday . You need this info .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Alright and when would you want to leave by ?
inform((_:search,destination,'birmingham new street');(_:search,leave_at,'21:00');(_:search,type,'Train'))
user
I am going to birmingham new street and want to leave after 21:00
inform((_:result,id,'TR5600');(_:result,leave_at,'21:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5600 leaves at 21:01 .   Can I book a seat for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
How much is it ?
inform((_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
The price of the train is 75.10 pounds .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What time does that train arrive ?
inform((_:result,arrive_by,'23:44');(_:result,type,'Train'))
system
The train arrives at 23:44 .
bye()
user
Okay , I 'm all done for today . Thanks , bye
system
Would you like reservations for the train ?
_:search category cinema
_:search type Attraction
_:search category cinema
_:search type Attraction
_:result name Cineworld
_:result name Vue
_:result area centre
_:result area south
_:result type Attraction
_:result area ?
_:search category cinema
_:search type Attraction
_:result area centre
_:result area south
_:result area ?
_:result address cambridge leisure park , clifton way
_:result name Cineworld
_:result type Attraction
_:result phone ?
_:search category cinema
_:result address cambridge leisure park , clifton way
_:system inquired _:user
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:result type Attraction
_:search type Train
_:search category cinema
_:result address cambridge leisure park , clifton way
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:result type Attraction
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search category cinema
_:result address cambridge leisure park , clifton way
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:result type Attraction
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination birmingham new street
_:search leave_at 21:00
_:search type Train
_:search category cinema
_:result address cambridge leisure park , clifton way
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination birmingham new street
_:search leave_at 21:00
_:search type Train
_:result id TR5600
_:result leave_at 21:01
_:result type Train
_:result ticket ?
_:search category cinema
_:result address cambridge leisure park , clifton way
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination birmingham new street
_:search leave_at 21:00
_:search type Train
_:result id TR5600
_:result leave_at 21:01
_:result ticket 75.10 pounds
_:result type Train
_:result arrive_by ?
_:search category cinema
_:result address cambridge leisure park , clifton way
_:result area South
_:result name Cineworld
_:result phone 00872208000
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination birmingham new street
_:search leave_at 21:00
_:search type Train
_:result id TR5600
_:result leave_at 21:01
_:result ticket 75.10 pounds
_:result arrive_by 23:44
_:result type Train
_:user dismissed _:system