inform((_:search,day,'friday');(_:search,type,'Train'))
user
I need a train that leaves on friday and leaves after 10 am
offer((_:booking,category,'Train');(_:booking,day,'Friday');(_:booking,id,'TR1502');(_:booking,leave_at,'11:00');(_:booking,type,'Booking'))
system
The TR1502 will leave Friday at 11:00 , will this do ?
inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Possibly .   Does it arrive in Cambridge from Kings Lynn ?
inform((_:result,arrive_by,'10:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,leave_at,'10:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I do have a train leaving at 10:11 from Kings Lynn and arriving in Cambridge at 10:58 .   Will that work for you ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , I need to book it for 8 people and I need the reference number .
thank() reqmore() inform((_:booking,category,'Train');(_:booking,ref,'5BB27IBR');(_:booking,ticket,'78.40 GBP');(_:booking,type,'Booking'))
system
OK . Your reference number is 5BB27IBR and the fee will be 78.40 GBP , payable at the station . Can I help you with anything else ?
inform((_:search,area,'center');(_:search,category,'multiple sports');(_:search,type,'Attraction'))
user
Yes , I 'm looking for somewhere to go in the center of town . Something that involves multiple sports . Do you know of anything ?
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) canthelp((_:search,area,'centre');(_:search,type,'Attraction'))
system
Unfortunately there is no place in the centre that is that attraction type . Would you like me to search another type or another area perhaps ?
inform((_:search,category,'swimming pool');(_:search,type,'Attraction'))
user
Yes , how about a swimming pool ?
reqmore() inform((_:result,address,'Gonville Place');(_:result,category,'swimming pool');(_:result,name,'Parkside pools');(_:result,phone,'01223446100');(_:result,type,'Attraction'))
system
Yes there is a swimming pool , Parkside pools at Gonville Place . The phone number is 01223446100 , is there anything else I can help you with ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Yes , I need the postcode and address , please .
inform((_:result,address,'gonville place');(_:result,postcode,'cb11ly');(_:result,type,'Attraction'))
system
The address is gonville place , and cb11ly is the postcode .
bye()
user
That is all , thank you . Bye
system
It 's been my pleasure . Have a wonderful day . Goodbye .
_:search day friday
_:search type Train
_:search day friday
_:system offered _:booking
_:booking category Train
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:booking type Booking
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search day friday
_:system offered _:booking
_:booking category Train
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:booking type Booking
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result leave_at 10:11
_:result type Train
_:search people 8
_:search type Train
_:result ref ?
_:search day friday
_:system offered _:booking
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result leave_at 10:11
_:result type Train
_:search people 8
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 5BB27IBR
_:booking ticket 78.40 GBP
_:booking type Booking
_:search area center
_:search category multiple sports
_:search type Attraction
_:search day friday
_:system offered _:booking
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result leave_at 10:11
_:result type Train
_:search people 8
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 5BB27IBR
_:booking ticket 78.40 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/b1ee1ea8
_:search/b1ee1ea8 area centre
_:search/b1ee1ea8 type Attraction
_:search category swimming pool
_:search type Attraction
_:search day friday
_:system offered _:booking
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result leave_at 10:11
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref 5BB27IBR
_:booking ticket 78.40 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/b1ee1ea8
_:search/b1ee1ea8 area centre
_:search/b1ee1ea8 type Attraction
_:search category swimming pool
_:search type Attraction
_:system inquired _:user
_:result address Gonville Place
_:result category swimming pool
_:result name Parkside pools
_:result phone 01223446100
_:result type Attraction
_:result address ?
_:result postcode ?
_:search day friday
_:system offered _:booking
_:booking day Friday
_:booking id TR1502
_:booking leave_at 11:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 10:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result leave_at 10:11
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref 5BB27IBR
_:booking ticket 78.40 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/b1ee1ea8
_:search/b1ee1ea8 area centre
_:search/b1ee1ea8 type Attraction
_:search category swimming pool
_:search type Attraction
_:system inquired _:user
_:result category swimming pool
_:result name Parkside pools
_:result phone 01223446100
_:result address gonville place
_:result postcode cb11ly
_:result type Attraction
_:user dismissed _:system