inform((_:search,name,'home from home');(_:search,type,'Hotel'))
user
I 'm looking for a hotel called home from home .
inform((_:result,area,'North');(_:result,name,'Home from Home');(_:result,pricerange,'moderately priced');(_:result,type,'Hotel')) reqmore()
system
Home from Home is located in the North area and is moderately priced . Would you like more information ?
inform((_:search,day,'thursday');(_:search,people,'8');(_:search,stay,'4');(_:search,type,'Hotel'))
user
No , I 'd like a room for 8 people . We 'll be checking in on thursday for 4 nights .
reqmore() inform((_:booking,day,'Thursday');(_:booking,people,'8');(_:booking,ref,'UOF6DHN8');(_:booking,stay,'4');(_:booking,type,'Booking'))
system
I was able to book you for 4 nights starting on Thursday for 8 people .   The confirmation number is UOF6DHN8 .   Is there anything else ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , I also need an expensive restaurant located in the centre .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Sure thing , what kind of cuisine are you looking for ?
inform((_:search,food,'french');(_:search,type,'Restaurant'))
user
I 'm looking for French food .
offer((_:booking,type,'Booking')) inform((_:result,name,'Cote');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I would recommend Cote .   It is expensive but good .   Can I reserve a table for you ?
inform((_:search,day,'friday');(_:search,duration,'19:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes , please make 8 reservations for Friday night at 19:00 .
reqmore() inform((_:booking,ref,'HQOSMVL8');(_:booking,type,'Booking'))
system
That is booked ! Your reference number is HQOSMVL8 . Can I help with anything else ?
inform((_:search,type,'Taxi'))
user
I also need a taxi .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like the taxi to pick you up from ?
inform((_:search,type,'Restaurant'))
user
I need to make sure it arrives at the restaurant by the booked time .
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
You will be going to Cote by 19:00 , will you be departing from your hotel ?
inform((_:search,departure,'home from home');(_:search,type,'Taxi'))
user
We will be leaving from there .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What day and time do you need the taxi ?
inform((_:search,type,'Restaurant'))
user
i want it to arrive at the restaurant by the booked time .
inform((_:result,car,'red honda');(_:result,phone,'07854504953');(_:result,type,'Taxi')) reqmore()
system
Booking completed ! The taxi will be a red honda   and their Contact number 	 is 07854504953 . Is there anything else I can assist you with ?
thank()
user
That 'll be it for me today ! Thanks ! Have a good one .
system
You too , enjoy your stay !
_:search name home from home
_:search type Hotel
_:search name home from home
_:result area North
_:result name Home from Home
_:result pricerange moderately priced
_:result type Hotel
_:system inquired _:user
_:search day thursday
_:search people 8
_:search stay 4
_:search type Hotel
_:search name home from home
_:result area North
_:result name Home from Home
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search people 8
_:search stay 4
_:system inquired _:user
_:booking day Thursday
_:booking people 8
_:booking ref UOF6DHN8
_:booking stay 4
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search name home from home
_:result area North
_:result name Home from Home
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search people 8
_:search stay 4
_:system inquired _:user
_:booking day Thursday
_:booking people 8
_:booking ref UOF6DHN8
_:booking stay 4
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food french
_:search type Restaurant
_:search name home from home
_:result area North
_:search stay 4
_:system inquired _:user
_:booking day Thursday
_:booking people 8
_:booking ref UOF6DHN8
_:booking stay 4
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:00
_:search people 8
_:search type Restaurant
_:search name home from home
_:result area North
_:search stay 4
_:booking day Thursday
_:booking people 8
_:booking stay 4
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:00
_:search people 8
_:system inquired _:user
_:booking ref HQOSMVL8
_:booking type Booking
_:search type Taxi
_:search name home from home
_:result area North
_:search stay 4
_:booking day Thursday
_:booking people 8
_:booking stay 4
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:00
_:search people 8
_:system inquired _:user
_:booking ref HQOSMVL8
_:booking type Booking
_:search departure ?
_:search type Restaurant
_:search name home from home
_:result area North
_:search stay 4
_:booking day Thursday
_:booking people 8
_:booking stay 4
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:00
_:search people 8
_:system inquired _:user
_:booking ref HQOSMVL8
_:booking type Booking
_:search arrive_by ?
_:search destination ?
_:search departure home from home
_:search type Taxi
_:search name home from home
_:result area North
_:search stay 4
_:booking day Thursday
_:booking people 8
_:booking stay 4
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 19:00
_:search people 8
_:system inquired _:user
_:booking ref HQOSMVL8
_:booking type Booking
_:search arrive_by ?
_:search destination ?
_:search departure home from home
_:search leave_at ?
_:search type Restaurant
_:search name home from home
_:result area North
_:search stay 4
_:booking day Thursday
_:booking people 8
_:booking stay 4
_:search area centre
_:search pricerange expensive
_:search food french
_:system offered _:booking
_:result name Cote
_:result pricerange expensive
_:search day friday
_:search duration 19:00
_:search people 8
_:booking ref HQOSMVL8
_:booking type Booking
_:search arrive_by ?
_:search destination ?
_:search departure home from home
_:search leave_at ?
_:search type Restaurant
_:result car red honda
_:result phone 07854504953
_:result type Taxi
_:system inquired _:user