inform((_:search,day,'friday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I will need to take a train to london kings cross on friday .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where are you departing from and when ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'20:45');(_:search,type,'Train'))
user
I 'm departing from Cambridge , preferably after 20:45
select((_:result,leave_at,'21:00');(_:result,leave_at,'23:00');(_:result,type,'Train')) inform((_:result,count,'2');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are two trains that fit your criteria . One leaves at 21:00 and the other at 23:00 . Which of these would you like me to book for you ?
request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train')) inform((_:search,leave_at,'21:00');(_:search,type,'Train'))
user
i prefer the 21:00 please help me get the train ID and price
inform((_:result,id,'TR3055');(_:result,ticket,'23.60 GBP');(_:result,type,'Train')) reqmore()
system
The train ID is TR3055 and each ticket is 23.60 GBP . Can I help you with anything else today ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
i 'm also looking for a place in town in the centre .
request((_:search,category,?);(_:search,type,'Attraction')) thank()
system
Sure . What kind of place are you looking for ?
inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I 'm looking for an entertainment place .
request((_:search,area,?);(_:search,type,'Attraction'))
system
What side of town would you like to be on ?
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
centre and should be in the type of entertainment closeby as well
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'plenty of');(_:result,type,'Attraction'))
system
Sure , there are plenty of options .   Were you looking for a specific type of attraction ?
inform((_:search,category,'architecture');(_:search,type,'Attraction'))
user
Entertainment venues please . If they are not available then architecture venues .
reqmore() inform((_:result,address,'Market Street');(_:result,amount,'several');(_:result,category,'architecture');(_:result,entrance_fee,'free entrance');(_:result,name,'Holy Trinity Church');(_:result,type,'Attraction'))
system
There are several architecture places to visit , Holy Trinity Church is located on Market Street and has free entrance . Would you like info on any others ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you please recommend one and provide me with their post code and phone number ?
inform((_:result,name,'holy trinity church');(_:result,phone,'01223355397');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
holy trinity church and the post code is cb23nz and the phone number is 01223355397 .
thank()
user
Thank you for all your help . You have answered all my questions today . Goodbye .
system
Good night , have a nice evening .
_:search day friday
_:search destination london kings cross
_:search type Train
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:search leave_at 20:45
_:search type Train
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:result ticket ?
_:search leave_at 21:00
_:search type Train
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:result type Train
_:system inquired _:user
_:search area centre
_:search type Attraction
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:result type Train
_:system inquired _:user
_:search area centre
_:search category entertainment
_:search type Attraction
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:result type Train
_:system inquired _:user
_:search area centre
_:search category entertainment
_:search type Attraction
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:system inquired _:user
_:search area centre
_:result amount plenty of
_:result type Attraction
_:search category architecture
_:search type Attraction
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:search area centre
_:search category architecture
_:search type Attraction
_:system inquired _:user
_:result address Market Street
_:result amount several
_:result category architecture
_:result entrance_fee free entrance
_:result name Holy Trinity Church
_:result type Attraction
_:result phone ?
_:result postcode ?
_:search day friday
_:search destination london kings cross
_:search departure cambridge
_:result leave_at 21:00
_:result leave_at 23:00
_:result count 2
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 21:00
_:result id TR3055
_:result ticket 23.60 GBP
_:search area centre
_:search category architecture
_:search type Attraction
_:system inquired _:user
_:result address Market Street
_:result amount several
_:result category architecture
_:result entrance_fee free entrance
_:result name holy trinity church
_:result phone 01223355397
_:result postcode cb23nz
_:result type Attraction