inform((_:search,category,'theatres');(_:search,type,'Attraction'))
user
Yes , I am visiting cambridge , and would like to know what theatres are available in town
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Attraction')) inform((_:result,category,'theatres');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 theatres . Will you be in the centre or south part of Cambridge ?
user
Oh I 'm not picky , can you pick one for me ?
inform((_:result,address,'Clifton Way');(_:result,name,'Junction');(_:result,type,'Attraction'))
system
I 'm going to recommend The Junction for you .   It 's located on Clifton Way .   Would you like the phone number to see what is playing and when ?
inform((_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
No thank you . However , I am looking for a train . I need to depart from London Kings Cross and travel to Cambridge .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
When would you like to travel ?
inform((_:search,day,'wednesday');(_:search,leave_at,'13:30');(_:search,type,'Train'))
user
Wednesday and I need to leave after 13:30 please .
inform((_:result,arrive_by,'16:08');(_:result,id,'TR0397');(_:result,leave_at,'15:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0397 will leave at 15:17 and arrive at 16:08 . Would you be interested in booking this train ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
Yes , that would be fine . I need to make the booking for 8 people , please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'1LHOCOGA');(_:booking,type,'Booking'))
system
I 've booked that for you .   The reference number is 1LHOCOGA .   Anything else I can do for you ?
bye()
user
That is all . Thank you , good bye .
system
Please contact us anytime . Goodbye .
_:search category theatres
_:search type Attraction
_:search category theatres
_:search type Attraction
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result type Attraction
_:search category theatres
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result address Clifton Way
_:result name Junction
_:result type Attraction
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search category theatres
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result address Clifton Way
_:result name Junction
_:result type Attraction
_:search departure london kings cross
_:search destination cambridge
_:search day wednesday
_:search leave_at 13:30
_:search type Train
_:search category theatres
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result address Clifton Way
_:result name Junction
_:search departure london kings cross
_:search destination cambridge
_:search day wednesday
_:search leave_at 13:30
_:result arrive_by 16:08
_:result id TR0397
_:result leave_at 15:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search category theatres
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result address Clifton Way
_:result name Junction
_:search departure london kings cross
_:search destination cambridge
_:search day wednesday
_:search leave_at 13:30
_:result arrive_by 16:08
_:result id TR0397
_:result leave_at 15:17
_:result type Train
_:system offered _:booking
_:search people 8
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref 1LHOCOGA
_:booking type Booking
_:user dismissed _:system