inform((_:search,area,'south');(_:search,category,'concert hall');(_:search,type,'Attraction'))
user
Yes , I am looking for a concert hall in the south .   Can you help me find one ?
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) inform((_:result,area,'centre');(_:result,category,'concert hall');(_:result,name,'the man on the moon');(_:result,type,'Attraction'))
system
Sorry , the only concert hall in town is the man on the moon , in the centre . Would you like a different area or a different type of attraction ?
inform((_:search,area,'south');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I would really like to stay in the south area .   Are there any entertainment attractions available in that area ?
inform((_:result,area,'south');(_:result,category,'cinema');(_:result,category,'entertainment');(_:result,category,'museum');(_:result,category,'nightclub');(_:result,count,'2');(_:result,type,'Attraction'))
system
There is a cinema , two entertainment places , a museum , and a nightclub in the south .
request((_:result,postcode,?);(_:result,type,'Attraction')) inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
The entertainment places sound fun . Could you provide me their postcodes ?
inform((_:result,postcode,'cb17dy');(_:result,type,'Attraction'))
system
Yes the postcode is cb17dy
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Thank you for that .   Also , I need to book a train leaving from Cambridge .
inform((_:result,amount,'several');(_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I have several trains leaving from Cambridge .   What is your destination ?
inform((_:search,destination,'ely');(_:search,type,'Train'))
user
Sorry , I need to get to ely please .
request((_:search,day,?);(_:search,type,'Train'))
system
ok what day
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I need the train to leave on wednesday .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Do you have a preference for arrival time ?
inform((_:search,departure,'Cambridge');(_:search,leave_at,'12:00');(_:search,type,'Train'))
user
My preference is that it leaves Cambridge after 12:00 , would that be possible ?
inform((_:result,departure,'Cambridge');(_:result,id,'TR4346');(_:result,leave_at,'13:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sure thing ! The TR4346 departs from Cambridge at 13:50 .   Would you like me to book that for you ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
Yes if you can . I would like 6 tickets for that train .
reqmore() inform((_:booking,category,'Train');(_:booking,departure,'Cambridge');(_:booking,id,'TR4346');(_:booking,leave_at,'13:50');(_:booking,people,'six');(_:booking,ref,'ISIG3UQS');(_:booking,type,'Booking'))
system
Sure thing ! I have booked six tickets for the train ID # TR4346 that departs from Cambridge at 13:50 . Your reference number is ISIG3UQS . Is there anything else I can help you with ?
thank()
user
That is all I need .   Thanks .
system
You 're welcome , have a great day .
_:search area south
_:search category concert hall
_:search type Attraction
_:result area centre
_:result category concert hall
_:result name the man on the moon
_:result type Attraction
_:search area south
_:search category entertainment
_:search type Attraction
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:result type Attraction
_:result postcode ?
_:search category entertainment
_:search type Attraction
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:result type Attraction
_:search departure cambridge
_:search type Train
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:search departure cambridge
_:result amount several
_:result departure Cambridge
_:result type Train
_:search destination ely
_:search type Train
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:search departure cambridge
_:result amount several
_:result departure Cambridge
_:result type Train
_:search destination ely
_:search day wednesday
_:search type Train
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:result amount several
_:result departure Cambridge
_:result type Train
_:search destination ely
_:search day wednesday
_:search arrive_by ?
_:search departure Cambridge
_:search leave_at 12:00
_:search type Train
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:result amount several
_:search destination ely
_:search day wednesday
_:search arrive_by ?
_:search departure Cambridge
_:search leave_at 12:00
_:result departure Cambridge
_:result id TR4346
_:result leave_at 13:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result name the man on the moon
_:search area south
_:result area south
_:result category cinema
_:result category entertainment
_:result category museum
_:result category nightclub
_:result count 2
_:search category entertainment
_:result postcode cb17dy
_:result amount several
_:search destination ely
_:search day wednesday
_:search arrive_by ?
_:search departure Cambridge
_:search leave_at 12:00
_:result departure Cambridge
_:result id TR4346
_:result leave_at 13:50
_:result type Train
_:system offered _:booking
_:search people 6
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking departure Cambridge
_:booking id TR4346
_:booking leave_at 13:50
_:booking people six
_:booking ref ISIG3UQS
_:booking type Booking