inform((_:search,departure,'kings lynn');(_:search,type,'Train'))
user
Can you help me find a train from kings lynn ?
inform((_:result,day,'Friday');(_:result,departure,'kings lynn');(_:result,destination,'Cambridge');(_:result,leave_at,'5:11');(_:result,type,'Train'))
system
the next train from kings lynn is Friday 5:11 to Cambridge
inform((_:search,arrive_by,'17:45');(_:search,day,'tuesday');(_:search,type,'Train'))
user
Do you have any that would arrive at 17:45 , leaving tuesday instead ?
inform((_:result,count,'12');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
Yes , there are 12 trains that fit that criteria . Do you have a desired departure time ?
inform((_:search,arrive_by,'17:45');(_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Whatever gets me there as close to 17:45 as possible . Can you book it for 7 people please ? Reference number and train ID would also be lovely .
inform((_:booking,arrive_by,'16:58');(_:booking,category,'Train');(_:booking,id,'TR8177');(_:booking,ref,'ZDTM4B8N');(_:booking,type,'Booking'))
system
All booked ! Your train ID is TR8177 and the reference number is ZDTM4B8N . You will be arriving at 16:58 .
thank()
user
Thank you . I 'm also looking for places to go in town . can you help me with that ?
request((_:search,category,?);(_:search,type,'Attraction'))
system
Sure , what are you interested in seeing ?
inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I am looking for some type of entertainment .
inform((_:result,area,'east');(_:result,name,'Funky Fun House');(_:result,type,'Attraction')) offer((_:booking,type,'Booking'))
system
There 's the Funky Fun House on the east side of town , does that sound ok ?
request((_:result,area,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds great , may I have the postcode , phone number and area of town it is in ?
reqmore() inform((_:result,address,'8 mercers row , mercers row industrial estate');(_:result,area,'east');(_:result,name,'Funky fun house');(_:result,phone,'01223304705');(_:result,postcode,'cb58hy');(_:result,type,'Attraction'))
system
Funky fun house is located in the east side of town , address is 8 mercers row , mercers row industrial estate postcode cb58hy , phone 01223304705 .   Is there anything else needed ?
thank()
user
Thank you so much . That is all .
system
You 're quite welcome . Have a good day !
_:search departure kings lynn
_:search type Train
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:result type Train
_:search arrive_by 17:45
_:search day tuesday
_:search type Train
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:search day tuesday
_:result count 12
_:result type Train
_:search leave_at ?
_:search arrive_by 17:45
_:search people 7
_:search type Train
_:result ref ?
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:search day tuesday
_:result count 12
_:result type Train
_:search leave_at ?
_:search arrive_by 17:45
_:search people 7
_:search type Train
_:result ref ?
_:booking arrive_by 16:58
_:booking category Train
_:booking id TR8177
_:booking ref ZDTM4B8N
_:booking type Booking
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:search day tuesday
_:result count 12
_:result type Train
_:search leave_at ?
_:search arrive_by 17:45
_:search people 7
_:result ref ?
_:booking arrive_by 16:58
_:booking category Train
_:booking id TR8177
_:booking ref ZDTM4B8N
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:search day tuesday
_:result count 12
_:search leave_at ?
_:search arrive_by 17:45
_:search people 7
_:result ref ?
_:booking arrive_by 16:58
_:booking category Train
_:booking id TR8177
_:booking ref ZDTM4B8N
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:result area east
_:result name Funky Fun House
_:result type Attraction
_:system offered _:booking
_:result area ?
_:result phone ?
_:result postcode ?
_:search departure kings lynn
_:result day Friday
_:result departure kings lynn
_:result destination Cambridge
_:result leave_at 5:11
_:search day tuesday
_:result count 12
_:search leave_at ?
_:search arrive_by 17:45
_:search people 7
_:result ref ?
_:booking arrive_by 16:58
_:booking category Train
_:booking id TR8177
_:booking ref ZDTM4B8N
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:system offered _:booking
_:system inquired _:user
_:result address 8 mercers row , mercers row industrial estate
_:result area east
_:result name Funky fun house
_:result phone 01223304705
_:result postcode cb58hy
_:result type Attraction