inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
I 'm looking for an attraction in the centre of town .
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,name,'broughton house gallery');(_:result,type,'Attraction'))
system
There is the broughton house gallery , do you like museums ?
inform((_:search,category,'architecture');(_:search,type,'Attraction'))
user
Yes , I do .   I was hoping to find a place to visit that has unusual architecture .   Does the gallery fit this category ?
inform((_:result,amount,'several');(_:result,area,'centre');(_:result,category,'architectural sights');(_:result,type,'Attraction'))
system
No , but there are several architectural sights in the city centre . Would you like me to provide the addresses of some ?
user
Yes , please .
reqmore() inform((_:result,address,'Jesus Lane');(_:result,address,'Market Square');(_:result,address,'Market street');(_:result,amount,'two others');(_:result,name,'All Saints Church');(_:result,name,"Great Saint Mary 's Church");(_:result,name,'Holy Trinity church');(_:result,type,'Attraction'))
system
There is All Saints Church on Jesus Lane , Great Saint Mary 's Church on Market Square , Holy Trinity church on Market street , and two others , would you like those addresses as well ?
inform((_:search,name,'all saints church');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you give me the postcode and phone number for All Saints Church ?   That sounds good .
reqmore() inform((_:result,phone,'01223452587');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
Their postcode is cb58bs . Their phone number is 01223452587 . Is there anything else I can help you with ?
inform((_:search,arrive_by,'16:30');(_:search,day,'thursday');(_:search,departure,'Birmingham');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , I need to find a train , too . I 'm coming to Cambridge on Thursday from Birmingham , New Street , and I 'd really like to get there before 16:30
inform((_:result,arrive_by,'16:32');(_:result,departure,'Birmingham New Street');(_:result,destination,'Cambridge');(_:result,id,'TR7509');(_:result,leave_at,'13:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
The TR7509 departs Birmingham New Street at 13:40 and should get you to Cambridge by 16:32 . Would you like me to book you a ticket ? Or perhaps an earlier train ?
inform((_:search,arrive_by,'16:30');(_:search,type,'Train'))
user
I would like a train that arrives before 16:30 , please .
inform((_:result,arrive_by,'16:23');(_:result,id,'TR7509');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Actually , TR7509 arrives by 16:23 . Would that work for you ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
That 's perfect , could you book it for 4 people ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'4');(_:booking,ref,'65LWDB9Q');(_:booking,ticket,'300.39');(_:booking,type,'Booking'))
system
Yes . I 've got you booked for 4 tickets , reference number 65LWDB9Q . The fee will be 300.39 , payable at the station . Can I help you with anything else ?
thank()
user
I think that is all for today . Thank you !
system
Thank you for using our system !
_:search area centre
_:search type Attraction
_:search area centre
_:result name broughton house gallery
_:result type Attraction
_:search category architecture
_:search type Attraction
_:search area centre
_:result name broughton house gallery
_:search category architecture
_:search type Attraction
_:result amount several
_:result area centre
_:result category architectural sights
_:result type Attraction
_:search area centre
_:search category architecture
_:result area centre
_:result category architectural sights
_:system inquired _:user
_:result address Jesus Lane
_:result address Market Square
_:result address Market street
_:result amount two others
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity church
_:result type Attraction
_:search name all saints church
_:search type Attraction
_:result phone ?
_:result postcode ?
_:search area centre
_:search category architecture
_:result area centre
_:result category architectural sights
_:result address Jesus Lane
_:result address Market Square
_:result address Market street
_:result amount two others
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity church
_:search name all saints church
_:system inquired _:user
_:result phone 01223452587
_:result postcode cb58bs
_:result type Attraction
_:search arrive_by 16:30
_:search day thursday
_:search departure Birmingham
_:search destination cambridge
_:search type Train
_:search area centre
_:search category architecture
_:result area centre
_:result category architectural sights
_:result address Jesus Lane
_:result address Market Square
_:result address Market street
_:result amount two others
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity church
_:search name all saints church
_:system inquired _:user
_:result phone 01223452587
_:result postcode cb58bs
_:search day thursday
_:search departure Birmingham
_:search destination cambridge
_:result arrive_by 16:32
_:result departure Birmingham New Street
_:result destination Cambridge
_:result id TR7509
_:result leave_at 13:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search arrive_by 16:30
_:search type Train
_:search area centre
_:search category architecture
_:result area centre
_:result category architectural sights
_:result address Jesus Lane
_:result address Market Square
_:result address Market street
_:result amount two others
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity church
_:search name all saints church
_:system inquired _:user
_:result phone 01223452587
_:result postcode cb58bs
_:search day thursday
_:search departure Birmingham
_:search destination cambridge
_:result departure Birmingham New Street
_:result destination Cambridge
_:result leave_at 13:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search arrive_by 16:30
_:result arrive_by 16:23
_:result id TR7509
_:result type Train
_:search people 4
_:search type Train
_:search area centre
_:search category architecture
_:result area centre
_:result category architectural sights
_:result address Jesus Lane
_:result address Market Square
_:result address Market street
_:result amount two others
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity church
_:search name all saints church
_:result phone 01223452587
_:result postcode cb58bs
_:search day thursday
_:search departure Birmingham
_:search destination cambridge
_:result departure Birmingham New Street
_:result destination Cambridge
_:result leave_at 13:40
_:system offered _:booking
_:search leave_at ?
_:search arrive_by 16:30
_:result arrive_by 16:23
_:result id TR7509
_:result type Train
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking people 4
_:booking ref 65LWDB9Q
_:booking ticket 300.39
_:booking type Booking