inform((_:search,arrive_by,'09:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm trying to find a train that goes to Cambridge arriving by 09:15 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where would you be departing from ?
inform((_:search,day,'thursday');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I 'll be leaving birmingham new street on Thursday
inform((_:result,arrive_by,'8:23');(_:result,id,'TR4235');(_:result,ticket,'75.10 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR4235 arrives at 8:23 and costs 75.10 pounds .   How does that sound ?
user
that sounds great can you book that for me ?
inform((_:booking,category,'Train');(_:booking,id,'TR4235');(_:booking,ref,'4TUDSXPZ');(_:booking,ticket,'75.10 pounds');(_:booking,type,'Booking'))
system
I have booked train ID TR4235 at a cost of 75.10 pounds .   Your reference number is 4TUDSXPZ .
thank()
user
Great , thanks !   I 'm also looking for some places to visit in town .   Are there any theaters your recommend ?
inform((_:result,area,'centre');(_:result,name,'Mumford Theatre');(_:result,type,'Attraction')) reqmore() inform((_:result,amount,'about 5');(_:result,category,'theatres');(_:result,type,'Attraction'))
system
I have about 5 different theatres around town . If you would like a recommendation , I would suggest Mumford Theatre in the city centre . Would you like more info about it ?
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,type,'Attraction')) inform((_:search,category,*);(_:search,type,'Attraction'))
user
Any type is fine , can I get the address and entrance fee of one ?
reqmore() inform((_:result,address,'Anglia Ruskin Enterprise , East Road');(_:result,entrance_fee,'unable to see');(_:result,type,'Attraction'))
system
Sure the address is Anglia Ruskin Enterprise , East Road and I am unfortunately unable to see an entrance fee . Can I help with anything else ?
thank()
user
That 's all thanks .
system
Thank you for using our service .
_:search arrive_by 09:15
_:search destination cambridge
_:search type Train
_:search arrive_by 09:15
_:search destination cambridge
_:search day thursday
_:search departure birmingham new street
_:search type Train
_:search arrive_by 09:15
_:search destination cambridge
_:search day thursday
_:search departure birmingham new street
_:search type Train
_:result arrive_by 8:23
_:result id TR4235
_:result ticket 75.10 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 09:15
_:search destination cambridge
_:search day thursday
_:search departure birmingham new street
_:search type Train
_:result arrive_by 8:23
_:result id TR4235
_:result ticket 75.10 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking id TR4235
_:booking ref 4TUDSXPZ
_:booking ticket 75.10 pounds
_:booking type Booking
_:search arrive_by 09:15
_:search destination cambridge
_:search day thursday
_:search departure birmingham new street
_:result arrive_by 8:23
_:result id TR4235
_:result ticket 75.10 pounds
_:system offered _:booking
_:booking category Train
_:booking id TR4235
_:booking ref 4TUDSXPZ
_:booking ticket 75.10 pounds
_:booking type Booking
_:result area centre
_:result name Mumford Theatre
_:system inquired _:user
_:result amount about 5
_:result category theatres
_:result type Attraction
_:result address ?
_:result entrance_fee ?
_:search category *
_:search type Attraction
_:search arrive_by 09:15
_:search destination cambridge
_:search day thursday
_:search departure birmingham new street
_:result arrive_by 8:23
_:result id TR4235
_:result ticket 75.10 pounds
_:system offered _:booking
_:booking category Train
_:booking id TR4235
_:booking ref 4TUDSXPZ
_:booking ticket 75.10 pounds
_:booking type Booking
_:result area centre
_:result name Mumford Theatre
_:result amount about 5
_:result category theatres
_:search category *
_:search type Attraction
_:system inquired _:user
_:result address Anglia Ruskin Enterprise , East Road
_:result entrance_fee unable to see
_:result type Attraction