inform((_:search,area,'south');(_:search,type,'Hotel'))
user
I need to find somewhere to stay in the south
offer((_:booking,type,'Booking')) inform((_:result,area,'south');(_:result,category,'hotel');(_:result,name,'Lensfield Hotel');(_:result,stars,'3');(_:result,type,'Hotel'))
system
The Lensfield Hotel is in the south . It is a 3 star hotel . Would you like me to book it for you ?
inform((_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
What is the price range ? I 'd like something in the cheap price range .
inform((_:result,category,'guesthouse');(_:result,name,"rosa 's bed and breakfast");(_:result,pricerange,'cheap');(_:result,stars,'4');(_:result,type,'Hotel')) reqmore()
system
Then , I would recommend rosa 's bed and breakfast , a cheap 4 star guesthouse . Do you need more information ?
inform((_:search,has_internet,'yes');(_:search,type,'Hotel'))
user
As long as it has free wifi I 'll be happy !
offer((_:booking,type,'Booking'))
system
Great , shall Il go ahead and book you then ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
Can I get their postcode ?
inform((_:result,name,"rosa 's bed and breakfast");(_:result,postcode,'cb22 ha');(_:result,type,'Hotel'))
system
rosa 's bed and breakfast 	 post code is cb22 ha
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am also looking for a restaurant , should be cheap and in the south , near to my hotel . Do you have any options ?
select((_:result,food,'chinese');(_:result,food,'portuguese');(_:result,name,'Lucky Star');(_:result,name,'Nando');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,name,'The');(_:result,type,'Restaurant'))
system
I have 2 choices . The Lucky Star serves chinese . And , Nando 's is a portuguese restaurant . Which do you prefer ?
inform((_:search,food,'international');(_:search,name,'Nando');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I was goona ask to search for international , but it sounds like their is nt an option with a cheap price .   Lets go with Nando 's
offer((_:booking,type,'Booking'))
system
Okay would you like to make a booking ?
inform((_:search,area,'south');(_:search,food,'international');(_:search,type,'Restaurant'))
user
Can you just verify , is there an international restaurant in the south or no ?
select((_:result,name,'nandos');(_:result,type,'Restaurant')) canthelp((_:search,food,'international');(_:search,type,'Restaurant')) reqmore()
system
I have confirmed there are no international options , do you want to stick with nandos   or run another search ?
inform((_:search,type,'Restaurant'))
user
Are there no international places to dine in the area ? Anything other than British food in the area ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'south');(_:result,food,'chinese');(_:result,food,'portuguese');(_:result,name,'Lucky Star');(_:result,name,"Nando 's");(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
As I mentioned earlier , the only options in the south that are cheap are The Lucky Star ( chinese ) and Nando 's ( portuguese ) . Do you want me to search another area or price ?
inform((_:search,day,'tuesday');(_:search,duration,'13:45');(_:search,name,'Nandos');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Sorry , this is the husband , I m taking over the call , my wife is too indecisive .   Please book us for Nandos at 13:45 on tuesday for 5 people , thank you .
inform((_:booking,ref,'YNZ558E6');(_:booking,type,'Booking')) reqmore()
system
Thank you sir , I was starting to think this was a prank , you are set , your reference number is YNZ558E6 , can I help with anything else ?
inform((_:search,type,'Taxi'))
user
I also need a taxi to take me between the two places please .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can help , where to and from , and what time ?
inform((_:search,departure,'the hotel');(_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
Thank you ! From the hotel to the restaurant , please .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure ! When would you like to leave / arrive ?
inform((_:search,type,'Restaurant'))
user
by the restaurant   booked time .
inform((_:result,car,'black volkswagen');(_:result,phone,'07559655717');(_:result,type,'Taxi')) reqmore()
system
Booking completed ! 
 Booked car type 	 : 	 black volkswagen 
 Contact number 	 : 	 07559655717 
 Can I help you with anything else today ?
thank()
user
Awesome . Thanks for all of your help . I have everything I need now .
system
I am glad that I can help . Have a nice stay .
_:search area south
_:search type Hotel
_:search area south
_:system offered _:booking
_:booking type Booking
_:result area south
_:result category hotel
_:result name Lensfield Hotel
_:result stars 3
_:result type Hotel
_:search pricerange cheap
_:search type Hotel
_:search area south
_:system offered _:booking
_:booking type Booking
_:result area south
_:search pricerange cheap
_:result category guesthouse
_:result name rosa 's bed and breakfast
_:result pricerange cheap
_:result stars 4
_:result type Hotel
_:system inquired _:user
_:search has_internet yes
_:search type Hotel
_:search area south
_:system offered _:booking
_:booking type Booking
_:result area south
_:search pricerange cheap
_:result category guesthouse
_:result name rosa 's bed and breakfast
_:result pricerange cheap
_:result stars 4
_:result type Hotel
_:system inquired _:user
_:search has_internet yes
_:search type Hotel
_:result postcode ?
_:system offered _:booking
_:booking type Booking
_:result area south
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:system inquired _:user
_:search has_internet yes
_:result name rosa 's bed and breakfast
_:result postcode cb22 ha
_:result type Hotel
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result area south
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:system inquired _:user
_:search has_internet yes
_:result postcode cb22 ha
_:search area south
_:result food chinese
_:result food portuguese
_:result count 2
_:result name The
_:result type Restaurant
_:search food international
_:search name Nando
_:search pricerange cheap
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result area south
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:system inquired _:user
_:search has_internet yes
_:result postcode cb22 ha
_:result food chinese
_:result food portuguese
_:result count 2
_:result name The
_:result type Restaurant
_:search name Nando
_:search pricerange cheap
_:search area south
_:search food international
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result area south
_:result category guesthouse
_:result pricerange cheap
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result food chinese
_:result food portuguese
_:result count 2
_:search name Nando
_:search pricerange cheap
_:search area south
_:search food international
_:result name nandos
_:result type Restaurant
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:system inquired _:user
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result count 2
_:search food international
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:system inquired _:user
_:search area ?
_:search pricerange ?
_:result area south
_:result food chinese
_:result food portuguese
_:result name Lucky Star
_:result name Nando 's
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 13:45
_:search name Nandos
_:search people 5
_:search type Restaurant
_:system offered _:booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result count 2
_:search food international
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:search area ?
_:search pricerange ?
_:result area south
_:result food chinese
_:result food portuguese
_:result name Lucky Star
_:result name Nando 's
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 13:45
_:search name Nandos
_:search people 5
_:booking ref YNZ558E6
_:booking type Booking
_:system inquired _:user
_:search type Taxi
_:system offered _:booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result count 2
_:search food international
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:search area ?
_:search pricerange ?
_:result area south
_:result food chinese
_:result food portuguese
_:result name Lucky Star
_:result name Nando 's
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 13:45
_:search name Nandos
_:search people 5
_:booking ref YNZ558E6
_:booking type Booking
_:system inquired _:user
_:search leave_at ?
_:search departure the hotel
_:search destination the restaurant
_:search type Taxi
_:system offered _:booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result count 2
_:search food international
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:search area ?
_:search pricerange ?
_:result area south
_:result food chinese
_:result food portuguese
_:result name Lucky Star
_:result name Nando 's
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 13:45
_:search name Nandos
_:search people 5
_:booking ref YNZ558E6
_:booking type Booking
_:system inquired _:user
_:search departure the hotel
_:search destination the restaurant
_:search leave_at ?
_:search type Restaurant
_:system offered _:booking
_:result category guesthouse
_:result stars 4
_:search has_internet yes
_:result postcode cb22 ha
_:result count 2
_:search food international
_:system canthelp _:search/8ab53e58
_:search/8ab53e58 food international
_:search/8ab53e58 type Restaurant
_:search area ?
_:search pricerange ?
_:result area south
_:result food chinese
_:result food portuguese
_:result name Lucky Star
_:result name Nando 's
_:result pricerange cheap
_:search day tuesday
_:search duration 13:45
_:search name Nandos
_:search people 5
_:booking ref YNZ558E6
_:booking type Booking
_:search departure the hotel
_:search destination the restaurant
_:search leave_at ?
_:search type Restaurant
_:result car black volkswagen
_:result phone 07559655717
_:result type Taxi
_:system inquired _:user