inform((_:search,area,'centre');(_:search,category,'concerthall');(_:search,type,'Attraction'))
user
I 'm looking for a concerthall in the centre .
inform((_:result,name,'man on the moon');(_:result,type,'Attraction'))
system
The place to go is the man on the moon .   Need a phone number ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
No thanks . I 'm actually looking for an address please .
inform((_:result,address,'2 norfolk street');(_:result,type,'Attraction'))
system
The address is 2 norfolk street .
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
i 'm also trying to catch a train on saturday .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , I can help you with that .   What time were you wanting to leave around ?
user
I would like to leave after 8:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Which stations will you be using ?
user
Broxbourne and Cambridge .
request((_:search,departure,?);(_:search,type,'Train'))
system
Which will you be leaving from ?
inform((_:search,departure,'broxbourne');(_:search,type,'Train'))
user
I will be departing from Broxbourne .
request((_:search,day,?);(_:search,type,'Train'))
system
One more question : What day will you be travelling ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
On Saturday , please .
inform((_:result,amount,'many');(_:result,day,'saturday');(_:result,departure,'broxbourne');(_:result,destination,'cambridge');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are many trains getting to cambridge on saturday from broxbourne . Do you have a specific time you want to be there by ?
inform((_:search,leave_at,'08:15');(_:search,type,'Train'))
user
The train should leave after 08:15 .
inform((_:result,leave_at,'every hour from 08:32 to 23:32');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,id,'TR2025');(_:booking,leave_at,'10:32');(_:booking,type,'Booking'))
system
We have trains running every hour from 08:32 to 23:32 . I can get you on the TR2025 	  that leaves at 10:32 if you 'd like .
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price for the TR2025 ? And how long is the trip ?
system
Please Provide me with this information , as I can not travel without it .
request((_:result,duration,?);(_:result,type,'Train'))
user
I am still waiting on that information . Can I get the cost of the ticket and the travel time please !
inform((_:result,duration,'a 60 minute trip');(_:result,id,'TR2025');(_:result,id,'TR9384');(_:result,leave_at,'8:32');(_:result,ticket,'14.32 pounds');(_:result,ticket,'the same amount');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sorry about that , the TR2025 costs 14.32 pounds , and is a 60 minute trip . The TR9384 leaves earlier , at 8:32 , and costs the same amount . Want me to book one ?
thank()
user
No thank you ! That will be all for today !
system
Thank you for using this system goodbye
_:search area centre
_:search category concerthall
_:search type Attraction
_:search area centre
_:search category concerthall
_:search type Attraction
_:result name man on the moon
_:result type Attraction
_:result address ?
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search day saturday
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search day saturday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search day saturday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search departure ?
_:search destination ?
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:search day saturday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search destination ?
_:search departure broxbourne
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:result type Attraction
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search destination ?
_:search departure broxbourne
_:search day saturday
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination ?
_:search departure broxbourne
_:search day saturday
_:result amount many
_:result day saturday
_:result departure broxbourne
_:result destination cambridge
_:result type Train
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination ?
_:search departure broxbourne
_:search day saturday
_:result amount many
_:result day saturday
_:result departure broxbourne
_:result destination cambridge
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:result leave_at every hour from 08:32 to 23:32
_:result type Train
_:booking id TR2025
_:booking leave_at 10:32
_:result ticket ?
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination ?
_:search departure broxbourne
_:search day saturday
_:result amount many
_:result day saturday
_:result departure broxbourne
_:result destination cambridge
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:result leave_at every hour from 08:32 to 23:32
_:result type Train
_:booking id TR2025
_:booking leave_at 10:32
_:result ticket ?
_:result duration ?
_:search area centre
_:search category concerthall
_:result name man on the moon
_:result address 2 norfolk street
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination ?
_:search departure broxbourne
_:search day saturday
_:result amount many
_:result day saturday
_:result departure broxbourne
_:result destination cambridge
_:search arrive_by ?
_:search leave_at 08:15
_:search type Train
_:booking id TR2025
_:booking leave_at 10:32
_:result duration a 60 minute trip
_:result id TR2025
_:result id TR9384
_:result leave_at 8:32
_:result ticket 14.32 pounds
_:result ticket the same amount
_:result type Train