inform((_:search,day,'monday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train from   Birmingham new street to Cambridge departing on Monday .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I would be happy to help you find a train !   I have several options , do you require a particular departure or arrival time ?
inform((_:search,day,'monday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , I do . I 'd like to leave from Birmingham New Street on Monday and arrive in Cambridge .
request((_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,day,'monday');(_:result,type,'Train'))
system
And what time would you like to travel on monday ?
inform((_:search,leave_at,'16:45');(_:search,type,'Train'))
user
I need to leave after 16:45 please .
inform((_:result,day,'Monday');(_:result,departure,'Birmingham New Street');(_:result,destination,'Cambridge');(_:result,id,'TR3130');(_:result,leave_at,'17:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3130 leaves at 17:40 on Monday from Birmingham New Street to Cambridge . Would you like me to book you a seat ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , could you make a reservation for 6 and provide me the reference number when complete .
reqmore() inform((_:booking,category,'Train');(_:booking,people,'6');(_:booking,ref,'9WAFMF6U');(_:booking,type,'Booking'))
system
All booked for 6 ! Your reference # is 9WAFMF6U . Anything else I can do for you ?
inform((_:search,category,'cinema');(_:search,type,'Attraction')) request((_:result,area,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you get me the area and postcode for a cinema in Cambridge ?
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Attraction')) inform((_:result,count,'2');(_:result,type,'Attraction'))
system
There are 2 which would you like ? There is one in the south and the centre
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
It does n't really matter .   How about the one in the centre ?
inform((_:result,area,'south');(_:result,postcode,'cb17dy');(_:result,type,'Attraction'))
system
the postcode is cb17dy this is the one for the south area .
bye()
user
Okay thanks , you 've been a lot of help . Bye !
system
Thank you for contacting us , you have a nice day .
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result amount several
_:result type Train
_:search arrive_by ?
_:search leave_at ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result amount several
_:search arrive_by ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:result day monday
_:result type Train
_:search leave_at 16:45
_:search type Train
_:result amount several
_:search arrive_by ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 16:45
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR3130
_:result leave_at 17:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result ref ?
_:result amount several
_:search arrive_by ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 16:45
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR3130
_:result leave_at 17:40
_:result type Train
_:system offered _:booking
_:search people 6
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 6
_:booking ref 9WAFMF6U
_:booking type Booking
_:search category cinema
_:search type Attraction
_:result area ?
_:result postcode ?
_:result type Attraction
_:result amount several
_:search arrive_by ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 16:45
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR3130
_:result leave_at 17:40
_:system offered _:booking
_:search people 6
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 6
_:booking ref 9WAFMF6U
_:booking type Booking
_:search category cinema
_:result postcode ?
_:result area centre
_:result area south
_:result count 2
_:result type Attraction
_:search area centre
_:search type Attraction
_:result amount several
_:search arrive_by ?
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 16:45
_:result day Monday
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR3130
_:result leave_at 17:40
_:system offered _:booking
_:search people 6
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 6
_:booking ref 9WAFMF6U
_:booking type Booking
_:search category cinema
_:result count 2
_:search area centre
_:search type Attraction
_:result area south
_:result postcode cb17dy
_:result type Attraction
_:user dismissed _:system