user
I am looking for information in Cambridge
thank()
system
Okay ! What would you like to know ?
inform((_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I would like to find a train to Kings Lynn .
inform((_:result,destination,'Kings Lynn');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
When would you like to travel to Kings Lynn ?
inform((_:search,arrive_by,'19:15');(_:search,day,'friday');(_:search,type,'Train'))
user
On Friday , and I want to arrive by 19:15 .
offer((_:booking,arrive_by,'05:58');(_:booking,category,'Train');(_:booking,departure,'Cambridge');(_:booking,destination,'Kings Lynn');(_:booking,id,'3112');(_:booking,leave_at,'05:11');(_:booking,type,'Booking')) inform((_:result,id,'train');(_:result,type,'Train'))
system
How about train 3112 ?   It leaves Cambridge at 05:11 and arrives in Kings Lynn at 05:58 .
thank()
user
Thank you . How much would it cost ?
inform((_:result,ticket,'9.80 pounds');(_:result,type,'Train'))
system
It will cost 9.80 pounds per ticket .
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Thank you . Could you recommend a college to visit ?
inform((_:result,name,"christ 's college");(_:result,type,'Attraction'))
system
how about christ 's college ?
request((_:result,area,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Perfect . Could you tell me their phone number and area ?
reqmore() inform((_:result,area,'Centre');(_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
01223334900 . That is in the Centre . Is there anything else ?
thank()
user
No , there is nothing further .   Thank you so much for your help !
bye() thank()
system
You are so welcome !   Have a great time !
thank()
user
Thank you , I will .
system
Try some of our great restaurants during your stay . Goodbye .
_:search destination kings lynn
_:search type Train
_:search destination kings lynn
_:result destination Kings Lynn
_:result type Train
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:search type Train
_:search destination kings lynn
_:result destination Kings Lynn
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:search type Train
_:system offered _:booking
_:booking arrive_by 05:58
_:booking category Train
_:booking departure Cambridge
_:booking destination Kings Lynn
_:booking id 3112
_:booking leave_at 05:11
_:booking type Booking
_:result id train
_:result type Train
_:search destination kings lynn
_:result destination Kings Lynn
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 05:58
_:booking category Train
_:booking departure Cambridge
_:booking destination Kings Lynn
_:booking id 3112
_:booking leave_at 05:11
_:booking type Booking
_:result id train
_:result ticket 9.80 pounds
_:result type Train
_:search category college
_:search type Attraction
_:search destination kings lynn
_:result destination Kings Lynn
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 05:58
_:booking category Train
_:booking departure Cambridge
_:booking destination Kings Lynn
_:booking id 3112
_:booking leave_at 05:11
_:booking type Booking
_:result id train
_:result ticket 9.80 pounds
_:search category college
_:search type Attraction
_:result name christ 's college
_:result type Attraction
_:result area ?
_:result phone ?
_:search destination kings lynn
_:result destination Kings Lynn
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 05:58
_:booking category Train
_:booking departure Cambridge
_:booking destination Kings Lynn
_:booking id 3112
_:booking leave_at 05:11
_:booking type Booking
_:result id train
_:result ticket 9.80 pounds
_:search category college
_:search type Attraction
_:result name christ 's college
_:system inquired _:user
_:result area Centre
_:result phone 01223334900
_:result type Attraction
_:search destination kings lynn
_:result destination Kings Lynn
_:search leave_at ?
_:search arrive_by 19:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 05:58
_:booking category Train
_:booking departure Cambridge
_:booking destination Kings Lynn
_:booking id 3112
_:booking leave_at 05:11
_:booking type Booking
_:result id train
_:result ticket 9.80 pounds
_:search category college
_:search type Attraction
_:result name christ 's college
_:system inquired _:user
_:result area Centre
_:result phone 01223334900
_:result type Attraction
_:system dismissed _:user