inform((_:search,day,'wednesday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need a train to London Kings Cross on Wednesday .
thank() request((_:search,departure,?);(_:search,type,'Train'))
system
I can help with that . Where are you departing from ?
inform((_:search,arrive_by,'08:30');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be departing from Cambridge , and need to arrive by 08:30
inform((_:result,arrive_by,'7:51');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,id,'TR1058');(_:result,leave_at,'7:00');(_:result,ticket,'23.60');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR1058 Leaves Cambridge at 7:00 and gets into London Kings Cross at 7:51 . The cost is 23.60 . Would you like to book it ?
thank()
user
That wo n't be necessary , thanks for your help .
reqmore()
system
Is there anything else you need today ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Yes , I would like to see an attraction in the centre of town .
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'many');(_:result,area,'center');(_:result,type,'Attraction'))
system
We have many fine attractions in the center of town . Do you have a specific type in mind ?
inform((_:search,category,'multiple sports');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
Yes , please . Multiple sports would be great . If not , theatre is my second choice .
inform((_:result,name,'mumford theatre');(_:result,type,'Attraction')) canthelp((_:search,category,'multiple sports');(_:search,type,'Attraction'))
system
There are no multiple sports places , might i recommend mumford theatre ?
thank()
user
No thank you that will be all
inform((_:result,amount,'more');(_:result,category,'theatre');(_:result,type,'Attraction'))
system
I have more theatre attractions if you 're interested .
inform((_:search,category,'theater');(_:search,type,'Attraction')) request((_:result,name,?);(_:result,type,'Attraction'))
user
Yes please , can I have the names of some other theater attractions ?
inform((_:result,area,'center');(_:result,name,'Cambrdige Corn Exchange theatre');(_:result,type,'Attraction'))
system
Does the Cambrdige Corn Exchange theatre in the center pique   your interest ?
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
That sounds interesting ! Can I have their address , entrance fee , and phone number ?
inform((_:result,address,'wheeler street');(_:result,entrance_fee,'unsure of their entrance fee');(_:result,phone,'01223357851');(_:result,type,'Attraction'))
system
we are unsure of their entrance fee but their address is wheeler street 	 and phone number is 01223357851
thank()
user
Great that 's all I needed . Thanks for your assistance .
system
Thank you for using the Cambridge TownInfo centre . Goodbye .
_:search day wednesday
_:search destination london kings cross
_:search type Train
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:search type Train
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:search type Train
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:search type Attraction
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:result amount many
_:result area center
_:result type Attraction
_:search category multiple sports
_:search category theatre
_:search type Attraction
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:result amount many
_:result area center
_:search category multiple sports
_:search category theatre
_:search type Attraction
_:result name mumford theatre
_:result type Attraction
_:system canthelp _:search/c5462a14
_:search/c5462a14 category multiple sports
_:search/c5462a14 type Attraction
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:result area center
_:result name mumford theatre
_:system canthelp _:search/c5462a14
_:search/c5462a14 category multiple sports
_:search/c5462a14 type Attraction
_:result amount more
_:result category theatre
_:result type Attraction
_:search category theater
_:search type Attraction
_:result name ?
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:system canthelp _:search/c5462a14
_:search/c5462a14 category multiple sports
_:search/c5462a14 type Attraction
_:result amount more
_:result category theatre
_:search category theater
_:search type Attraction
_:result area center
_:result name Cambrdige Corn Exchange theatre
_:result type Attraction
_:result address ?
_:result entrance_fee ?
_:result phone ?
_:search day wednesday
_:search destination london kings cross
_:search arrive_by 08:30
_:search departure cambridge
_:result arrive_by 7:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR1058
_:result leave_at 7:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:search area centre
_:system canthelp _:search/c5462a14
_:search/c5462a14 category multiple sports
_:search/c5462a14 type Attraction
_:result amount more
_:result category theatre
_:search category theater
_:search type Attraction
_:result area center
_:result name Cambrdige Corn Exchange theatre
_:result address wheeler street
_:result entrance_fee unsure of their entrance fee
_:result phone 01223357851
_:result type Attraction