inform((_:search,day,'friday');(_:search,leave_at,'16:15');(_:search,type,'Train'))
user
I am looking for a train leaving after 16:15 on friday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where will you be traveling from and to ?
inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
The train should depart from cambridge and arrive at leicester .
inform((_:result,id,'TR0094');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
Okay . The TR0094 meets your criteria . Would you like more information or would you like to book tickets ?
inform((_:search,people,'1');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
book for 1 person and get me   reference number
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'UYWWVHK8');(_:booking,type,'Booking'))
system
Okay , your ticket is booked ! Reference number UYWWVHK8 . Can I be of any further help ?
inform((_:search,category,'museum');(_:search,type,'Attraction'))
user
Yes please . I 'm looking for a good museum in town . Can you suggest one that you like ?
request((_:search,area,?);(_:search,type,'Attraction'))
system
Are you looking for one in a particular area ?
inform((_:search,area,'west');(_:search,type,'Attraction'))
user
Yes , the west please .
inform((_:result,amount,'quite a few');(_:result,area,'west');(_:result,type,'Attraction'))
system
we have quite a few in the west , how can I help you ?
inform((_:search,category,'museum');(_:search,type,'Attraction'))
user
Can you please provide me a list of museum options ?
inform((_:result,area,'west');(_:result,category,'museums');(_:result,count,'5');(_:result,name,'Lynne Strover Gallery');(_:result,type,'Attraction')) reqmore()
system
We have five museums in the west area .   I would recommend the Lynne Strover Gallery .   Would you like information on some of the other museums ?
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you give me the postcode , entrance fee , and address of one ?
reqmore() inform((_:result,address,'23 high street , fen ditton');(_:result,entrance_fee,'free');(_:result,name,'The lynne strover gallery');(_:result,postcode,'cb30aq');(_:result,type,'Attraction'))
system
The lynne strover gallery is located at 23 high street , fen ditton , postcode cb30aq , and is free . May I help you with something else ?
thank()
user
no thanks that is enough for today
system
You 're welcome ! Bye !
_:search day friday
_:search leave_at 16:15
_:search type Train
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search people 1
_:search type Train
_:result ref ?
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:result type Train
_:system offered _:booking
_:search people 1
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref UYWWVHK8
_:booking type Booking
_:search category museum
_:search type Attraction
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:result type Train
_:system offered _:booking
_:search people 1
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref UYWWVHK8
_:booking type Booking
_:search category museum
_:search area west
_:search type Attraction
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:system offered _:booking
_:search people 1
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref UYWWVHK8
_:booking type Booking
_:search area west
_:result amount quite a few
_:result area west
_:result type Attraction
_:search category museum
_:search type Attraction
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:system offered _:booking
_:search people 1
_:result ref ?
_:booking category Train
_:booking ref UYWWVHK8
_:booking type Booking
_:search area west
_:result amount quite a few
_:search category museum
_:search type Attraction
_:result area west
_:result category museums
_:result count 5
_:result name Lynne Strover Gallery
_:result type Attraction
_:system inquired _:user
_:result address ?
_:result entrance_fee ?
_:result postcode ?
_:search day friday
_:search leave_at 16:15
_:search departure cambridge
_:search destination leicester
_:result id TR0094
_:system offered _:booking
_:search people 1
_:result ref ?
_:booking category Train
_:booking ref UYWWVHK8
_:booking type Booking
_:search area west
_:result amount quite a few
_:search category museum
_:search type Attraction
_:result area west
_:result category museums
_:result count 5
_:system inquired _:user
_:result address 23 high street , fen ditton
_:result entrance_fee free
_:result name The lynne strover gallery
_:result postcode cb30aq
_:result type Attraction