inform((_:search,departure,'norwich');(_:search,leave_at,'13:30');(_:search,type,'Train'))
user
Can you help me find a train leaving Norwich after 13:30 ? Thanks .
request((_:search,day,?);(_:search,type,'Train')) thank()
system
I sure can . What day do you plan to travel ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
Yes , I am traveling on Wednesday .
inform((_:result,arrive_by,'15:35');(_:result,id,'TR1892');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
The TR1892 will get you there by 15:35 , just one ticket then ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I need reservations for 7 people and I need the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'BIBJ2DS0');(_:booking,ticket,'123.20 gbp');(_:booking,type,'Booking'))
system
I was able to get the tickets the fee is 123.20 gbp payable at the station and the reference number is BIBJ2DS0 . Do you need anymore help today ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Thank you ! I am also looking for places to go in the Centre part of town . Can you help me with that , please ?
inform((_:result,name,'the old schools');(_:result,type,'Attraction'))
system
Sure thing , I would suggest the old schools .
inform((_:search,name,'old schools');(_:search,type,'Attraction'))
user
What are the old schools ? Do you mean colleges ?
inform((_:result,address,'trinity lane');(_:result,area,'centre');(_:result,category,'tourist attraction');(_:result,entrance_fee,'no charge to check it out');(_:result,name,'old schools');(_:result,type,'Attraction'))
system
No , old schools is a tourist attraction in the centre . It 's located on trinity lane and there 's no charge to check it out .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
What is the phone number please ?
inform((_:result,phone,'01223332320');(_:result,type,'Attraction'))
system
The phone number is 01223332320 .
bye()
user
I guess I 'll go call them . Thanks a lot . Bye .
system
Ok , have a great day !
_:search departure norwich
_:search leave_at 13:30
_:search type Train
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:search type Train
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:result arrive_by 15:35
_:result id TR1892
_:result type Train
_:search people 7
_:search type Train
_:result ref ?
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:result arrive_by 15:35
_:result id TR1892
_:result type Train
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref BIBJ2DS0
_:booking ticket 123.20 gbp
_:booking type Booking
_:search area centre
_:search type Attraction
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:result arrive_by 15:35
_:result id TR1892
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref BIBJ2DS0
_:booking ticket 123.20 gbp
_:booking type Booking
_:search area centre
_:result name the old schools
_:result type Attraction
_:search name old schools
_:search type Attraction
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:result arrive_by 15:35
_:result id TR1892
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref BIBJ2DS0
_:booking ticket 123.20 gbp
_:booking type Booking
_:search area centre
_:search name old schools
_:search type Attraction
_:result address trinity lane
_:result area centre
_:result category tourist attraction
_:result entrance_fee no charge to check it out
_:result name old schools
_:result type Attraction
_:result phone ?
_:search departure norwich
_:search leave_at 13:30
_:search day wednesday
_:result arrive_by 15:35
_:result id TR1892
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref BIBJ2DS0
_:booking ticket 123.20 gbp
_:booking type Booking
_:search area centre
_:search name old schools
_:search type Attraction
_:result address trinity lane
_:result area centre
_:result category tourist attraction
_:result entrance_fee no charge to check it out
_:result name old schools
_:result phone 01223332320
_:result type Attraction
_:user dismissed _:system