inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I would like to find a train leaving on Thursday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 'd be happy to help you with that . Where are you departure and arrival locations ?
inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I will be leaving from Kings Lynn , traveling to Cambridge .
inform((_:result,amount,'nineteen');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
We have nineteen trains available that day . What time would you like to leave by ?
inform((_:search,leave_at,'13:30');(_:search,type,'Train'))
user
Anytime after 13:30 would be great .
inform((_:result,id,'TR2162');(_:result,leave_at,'14:11');(_:result,type,'Train'))
system
Okay the TR2162 leaves at 14:11 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What 's the arrival time for that train ?
inform((_:result,arrive_by,'14:58');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
That train arrives at 14:58 . Will that work for you ?
inform((_:search,leave_at,'13:30');(_:search,type,'Train'))
user
As long as it leaves after 13:30 , yes .
inform((_:result,leave_at,'14:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
It leaves at 14:11 . Would you like to book it ?
inform((_:search,area,'east');(_:search,category,'entertainment');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Not right now . I 'm also looking for an entertainment attraction on the east side of town . I 'll need their phone number and postcode .
select((_:result,name,'cherry hinton hall and grounds and funky fun house');(_:result,type,'Attraction')) inform((_:result,count,'2');(_:result,name,'Cherry Hinton Hall and Grounds');(_:result,type,'Attraction'))
system
Okay we have two . The Cherry Hinton Hall and Grounds and Funky Fun House .
inform((_:search,name,'funky fun house');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you send me the phone number and postcode for the Funky Fun House ?
inform((_:result,phone,'01223304705');(_:result,postcode,'cb58hy');(_:result,type,'Attraction'))
system
the phone number is 01223304705 with post code cb58hy
bye()
user
Thank you . That 's all I need for now . Good - bye .
system
You 're welcome , have a great day !
_:search day thursday
_:search type Train
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:result type Train
_:search leave_at 13:30
_:search type Train
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:search leave_at 13:30
_:search type Train
_:result id TR2162
_:result leave_at 14:11
_:result type Train
_:result arrive_by ?
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:result id TR2162
_:result leave_at 14:11
_:result arrive_by 14:58
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:30
_:search type Train
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:result id TR2162
_:result arrive_by 14:58
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:30
_:result leave_at 14:11
_:result type Train
_:search area east
_:search category entertainment
_:search type Attraction
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:result id TR2162
_:result arrive_by 14:58
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:30
_:result leave_at 14:11
_:search area east
_:search category entertainment
_:result phone ?
_:result postcode ?
_:result count 2
_:result name Cherry Hinton Hall and Grounds
_:result type Attraction
_:search name funky fun house
_:search type Attraction
_:search day thursday
_:search departure kings lynn
_:search destination cambridge
_:result amount nineteen
_:result id TR2162
_:result arrive_by 14:58
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:30
_:result leave_at 14:11
_:search area east
_:search category entertainment
_:result count 2
_:result name Cherry Hinton Hall and Grounds
_:search name funky fun house
_:search type Attraction
_:result phone 01223304705
_:result postcode cb58hy
_:result type Attraction
_:user dismissed _:system