inform((_:search,area,'west');(_:search,type,'Attraction'))
user
I 'm looking for something to do in the west .   What would you recommend ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,address,'23 high street , fen ditton');(_:result,name,'Lynne Strover Gallery');(_:result,type,'Attraction')) reqmore()
system
Do you have any particular type of attraction in mind ? If not , try visiting the Lynne Strover Gallery at 23 high street , fen ditton . Do you need more information ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Yes .   I need the phone number please .
reqmore() inform((_:result,phone,'01223295264');(_:result,type,'Attraction'))
system
The phone number is 01223295264 . Is there anything else I can help you with ?
inform((_:search,arrive_by,'18:15');(_:search,day,'monday');(_:search,type,'Train'))
user
I also need a train that will arrive by 18:15 and should leave on Monday .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where is your departure site ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be departing from Cambridge .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where will you be traveling to ?
inform((_:search,destination,'birmingham new street');(_:search,people,'7');(_:search,type,'Train'))
user
I will be traveling to Birmingham New Street and I need tickets for 7 people .
inform((_:result,arrive_by,'17:44');(_:result,departure,'Cambridge');(_:result,destination,'Birmingham');(_:result,id,'TR5435');(_:result,leave_at,'15:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5435 leaves Cambridge at 15:01 and arrives in Birmingham at 17:44 .   Would you like to book this one ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , I 'd like to book 7 tickets .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'YJ11D57E');(_:booking,ticket,'525.69 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 525.69 GBP payable at the station . Your reference number is YJ11D57E . Can I help you with anything else ?
bye()
user
Great that 's all I needed . Thank you . Bye .
system
Glad to help , have a good trip !
_:search area west
_:search type Attraction
_:search area west
_:search category ?
_:search type Attraction
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:result type Attraction
_:system inquired _:user
_:result phone ?
_:search area west
_:search category ?
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:system inquired _:user
_:result phone 01223295264
_:result type Attraction
_:search arrive_by 18:15
_:search day monday
_:search type Train
_:search area west
_:search category ?
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:system inquired _:user
_:result phone 01223295264
_:result type Attraction
_:search arrive_by 18:15
_:search day monday
_:search departure cambridge
_:search type Train
_:search area west
_:search category ?
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:system inquired _:user
_:result phone 01223295264
_:result type Attraction
_:search arrive_by 18:15
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:search people 7
_:search type Train
_:search area west
_:search category ?
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:system inquired _:user
_:result phone 01223295264
_:search arrive_by 18:15
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:result arrive_by 17:44
_:result departure Cambridge
_:result destination Birmingham
_:result id TR5435
_:result leave_at 15:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search area west
_:search category ?
_:result address 23 high street , fen ditton
_:result name Lynne Strover Gallery
_:result phone 01223295264
_:search arrive_by 18:15
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:result arrive_by 17:44
_:result departure Cambridge
_:result destination Birmingham
_:result id TR5435
_:result leave_at 15:01
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref YJ11D57E
_:booking ticket 525.69 GBP
_:booking type Booking
_:user dismissed _:system