inform((_:search,category,'hotel');(_:search,has_parking,'yes');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I 'm looking for a hotel to stay in .   I prefer something in the expensive price range , and also one that offers free parking .
inform((_:result,name,'The gonville hotel');(_:result,type,'Hotel'))
system
The gonville hotel may be a good option .
inform((_:search,stars,'3');(_:search,type,'Hotel'))
user
I 'd like a place with 3 stars .
select((_:result,name,'Gonville Hotel');(_:result,name,'Lensfield Hotel');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) inform((_:result,amount,'both');(_:result,type,'Hotel'))
system
The Lensfield Hotel or Gonville Hotel both meet your criteria . Would you like me to make a reservation for you at either option ?
request((_:result,area,?);(_:result,type,'Hotel'))
user
What area is it in ?
select((_:result,area,'centre');(_:result,area,'south');(_:result,name,'The gonville hotel');(_:result,name,'lensfield hotel');(_:result,type,'Hotel')) inform((_:result,type,'Hotel'))
system
The gonville hotel is in the centre area and the lensfield hotel is in the south area . Would either of these hotels work for you ?
inform((_:search,area,'south');(_:search,type,'Hotel'))
user
i want the one in the south
offer((_:booking,type,'Booking')) inform((_:result,name,'Lensfield');(_:result,type,'Hotel'))
system
In that case , you 'd prefer The Lensfield . Do you need to book a room ?
thank()
user
yes can you please . thank you
request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
Which day would you be arriving at the hotel , and how long will you be staying ?
inform((_:search,day,'wednesday');(_:search,people,'4');(_:search,stay,'one');(_:search,type,'Hotel'))
user
Wednesday for 4 people , just one night .
reqmore() inform((_:booking,ref,'H9CE5KK3');(_:booking,type,'Booking'))
system
Booking was successful . 
 Reference number is : H9CE5KK3 . Can i help you with anything else ?
inform((_:search,arrive_by,'13:00');(_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'Leincester');(_:search,type,'Train'))
user
I also need a train going to Leincester from Cambridge . I want to leave on Monday and arrive at 13:00 .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets do you need ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
4 people please .
system
Your tickets have been booked . Your reference number is 6F8IVDHH .
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:result name The gonville hotel
_:result type Hotel
_:search stars 3
_:search type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:result name Gonville Hotel
_:result name Lensfield Hotel
_:system offered _:booking
_:booking type Booking
_:result amount both
_:result type Hotel
_:result area ?
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:system offered _:booking
_:booking type Booking
_:result amount both
_:result area centre
_:result area south
_:result name The gonville hotel
_:result name lensfield hotel
_:result type Hotel
_:search area south
_:search type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:system offered _:booking
_:booking type Booking
_:result amount both
_:result area centre
_:result area south
_:search area south
_:search type Hotel
_:result name Lensfield
_:result type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:system offered _:booking
_:result amount both
_:result area centre
_:result area south
_:search area south
_:result name Lensfield
_:result type Hotel
_:booking day ?
_:booking stay ?
_:booking type Booking
_:search day wednesday
_:search people 4
_:search stay one
_:search type Hotel
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:system offered _:booking
_:result amount both
_:result area centre
_:result area south
_:search area south
_:result name Lensfield
_:result type Hotel
_:booking day ?
_:booking stay ?
_:search people 4
_:search stay one
_:system inquired _:user
_:booking ref H9CE5KK3
_:booking type Booking
_:search arrive_by 13:00
_:search day monday
_:search departure cambridge
_:search destination Leincester
_:search type Train
_:search category hotel
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:system offered _:booking
_:result amount both
_:result area centre
_:result area south
_:search area south
_:result name Lensfield
_:result type Hotel
_:booking day ?
_:booking stay ?
_:search stay one
_:system inquired _:user
_:booking ref H9CE5KK3
_:booking type Booking
_:search arrive_by 13:00
_:search day monday
_:search departure cambridge
_:search destination Leincester
_:search people 4
_:search type Train