inform((_:search,type,'Hotel'))
user
Yes , hopefully you can help with some information on a particular hotel ?
request((_:search,name,?);(_:search,type,'Hotel'))
system
What hotel are you interested in ?
inform((_:search,name,'home from home');(_:search,type,'Hotel')) request((_:result,category,?);(_:result,type,'Hotel'))
user
It is called home from home . I was wondering what type of hotel it is and the star of the hotel .
inform((_:result,category,'guesthouse');(_:result,name,'Home from Home');(_:result,stars,'4');(_:result,type,'Hotel'))
system
Home from Home is a 4 star , guesthouse type hotel .
inform((_:search,arrive_by,'20:45');(_:search,departure,'cambridge');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
Thanks , that is all I need on the hotel but can I book a train from cambridge to stevenage , I need ot arrive by 20:45 .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,day,?);(_:search,type,'Train'))
system
I 'll be more than happy to help you book the train . What day do you want to leave ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I would like to leave on Thursday .
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have trains available would you like me to book that for you ?
request((_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I just need the departure time and price please
system
leave at 5:21 and arrive by 6:10 for 12.80 pounds
_:search type Hotel
_:search name home from home
_:search type Hotel
_:result category ?
_:result type Hotel
_:search name home from home
_:result category guesthouse
_:result name Home from Home
_:result stars 4
_:result type Hotel
_:search arrive_by 20:45
_:search departure cambridge
_:search destination stevenage
_:search type Train
_:search name home from home
_:result category guesthouse
_:result name Home from Home
_:result stars 4
_:result type Hotel
_:search arrive_by 20:45
_:search departure cambridge
_:search destination stevenage
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day thursday
_:search type Train
_:search name home from home
_:result category guesthouse
_:result name Home from Home
_:result stars 4
_:result type Hotel
_:search arrive_by 20:45
_:search departure cambridge
_:search destination stevenage
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day thursday
_:search type Train
_:result leave_at ?
_:result ticket ?
_:result type Train