inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am looking for a train to Cambridge from Kings Lynn .
inform((_:result,amount,'many');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are many trains from Kings Lynn to Cambridge . What time would you like to leave ?
inform((_:search,day,'wednesday');(_:search,leave_at,'21:15');(_:search,type,'Train'))
user
I need to leave Wednesday after 21:15 .
request((_:search,people,?);(_:search,type,'Train'))
system
For how many people ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
I am traveling alone .
inform((_:booking,category,'Train');(_:booking,departure,'Kings Lynn');(_:booking,id,'TR8385');(_:booking,leave_at,'22:11');(_:booking,people,'a seat');(_:booking,ref,'T7PUQPR1');(_:booking,ticket,'9.8 GBP');(_:booking,type,'Booking'))
system
Thank you , I have booked you a seat on TR8385 leaving Kings Lynn at 22:11 cost of 9.8 GBP . The reference number is T7PUQPR1 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Thank you . What is the arrival time in Cambridge , please ?
inform((_:result,arrive_by,'23:58');(_:result,type,'Train'))
system
Arrival time is 23:58
request((_:result,ticket,?);(_:result,type,'Train'))
user
Could I also have the price ?
inform((_:result,ticket,'9.8 GBP');(_:result,type,'Train')) reqmore()
system
The total fee is 9.8 GBP payable at the station . Anything else I can help you with ?
inform((_:search,area,'centre');(_:search,category,'architecture');(_:search,type,'Attraction'))
user
I 'm also looking for places to go in town . I would like an architecture type in the centre .
inform((_:result,entrance_fee,'no entrance fee');(_:result,name,'all saints church');(_:result,type,'Attraction'))
system
How about all saints church ? It fits your criteria and has no entrance fee !
request((_:result,phone,?);(_:result,type,'Attraction'))
user
That sounds great , what is their phone number ?
reqmore() inform((_:result,name,'All Saints Church');(_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
The phone number for All Saints Church is 01223452587 . Can I assist you with anything else ?
thank()
user
No , that will be all . Thank you .
system
Thank you and have a great trip . Goodbye .
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:result type Train
_:search day wednesday
_:search leave_at 21:15
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:result type Train
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:search type Train
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:result type Train
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:search type Train
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR8385
_:booking leave_at 22:11
_:booking people a seat
_:booking ref T7PUQPR1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result arrive_by ?
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:search type Train
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR8385
_:booking leave_at 22:11
_:booking people a seat
_:booking ref T7PUQPR1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result arrive_by 23:58
_:result type Train
_:result ticket ?
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR8385
_:booking leave_at 22:11
_:booking people a seat
_:booking ref T7PUQPR1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result arrive_by 23:58
_:result ticket 9.8 GBP
_:result type Train
_:system inquired _:user
_:search area centre
_:search category architecture
_:search type Attraction
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR8385
_:booking leave_at 22:11
_:booking people a seat
_:booking ref T7PUQPR1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result arrive_by 23:58
_:result ticket 9.8 GBP
_:system inquired _:user
_:search area centre
_:search category architecture
_:search type Attraction
_:result entrance_fee no entrance fee
_:result name all saints church
_:result type Attraction
_:result phone ?
_:search departure kings lynn
_:search destination cambridge
_:result amount many
_:result departure Kings Lynn
_:result destination Cambridge
_:search day wednesday
_:search leave_at 21:15
_:search people 1
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR8385
_:booking leave_at 22:11
_:booking people a seat
_:booking ref T7PUQPR1
_:booking ticket 9.8 GBP
_:booking type Booking
_:result arrive_by 23:58
_:result ticket 9.8 GBP
_:search area centre
_:search category architecture
_:search type Attraction
_:result entrance_fee no entrance fee
_:system inquired _:user
_:result name All Saints Church
_:result phone 01223452587
_:result type Attraction