inform((_:search,category,'hotel');(_:search,has_internet,'yes');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I would like to find an expensive hotel to stay at that also has free wifi . Can you help ?
inform((_:result,category,'hotel');(_:result,has_internet,'none');(_:result,name,'university arms hotel');(_:result,pricerange,'expensive');(_:result,type,'Hotel'))
system
university arms hotel is an expensive hotel with free wifi .
inform((_:search,area,'south');(_:search,stars,'3');(_:search,type,'Hotel'))
user
I also want to stay in a hotel with star rate of 3 that is in the south . Does University Arms fit that criteria ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Lensfield Hotel');(_:result,type,'Hotel'))
system
No , but The Lensfield Hotel meets those requirements . Would you like to book a room there ?
inform((_:search,day,'tuesday');(_:search,people,'4');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Yes , that sounds great . Can you book me a room for 4 people , 2 nights starting Tuesday please ?
reqmore() inform((_:booking,ref,'XMCHT677');(_:booking,type,'Booking'))
system
Your booking was successful ! You reference number is XMCHT677 . Is there anything else I can help you with today ?
inform((_:search,day,'thursday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I could you look for a train leaving thursday to go to leicester ?
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am departing from Cambridge .
system
There are several trains leaving on Thursday .   What time would you like to depart ?
_:search category hotel
_:search has_internet yes
_:search pricerange expensive
_:search type Hotel
_:search category hotel
_:search has_internet yes
_:search pricerange expensive
_:result category hotel
_:result has_internet none
_:result name university arms hotel
_:result pricerange expensive
_:result type Hotel
_:search area south
_:search stars 3
_:search type Hotel
_:search category hotel
_:search has_internet yes
_:search pricerange expensive
_:result category hotel
_:result has_internet none
_:result pricerange expensive
_:search area south
_:search stars 3
_:system offered _:booking
_:booking type Booking
_:result name Lensfield Hotel
_:result type Hotel
_:search day tuesday
_:search people 4
_:search stay 2
_:search type Hotel
_:search category hotel
_:search has_internet yes
_:search pricerange expensive
_:result category hotel
_:result has_internet none
_:result pricerange expensive
_:search area south
_:search stars 3
_:system offered _:booking
_:result name Lensfield Hotel
_:result type Hotel
_:search people 4
_:search stay 2
_:system inquired _:user
_:booking ref XMCHT677
_:booking type Booking
_:search day thursday
_:search destination leicester
_:search type Train
_:search category hotel
_:search has_internet yes
_:search pricerange expensive
_:result category hotel
_:result has_internet none
_:result pricerange expensive
_:search area south
_:search stars 3
_:system offered _:booking
_:result name Lensfield Hotel
_:result type Hotel
_:search people 4
_:search stay 2
_:system inquired _:user
_:booking ref XMCHT677
_:booking type Booking
_:search day thursday
_:search destination leicester
_:search departure cambridge
_:search type Train