inform((_:search,area,'south');(_:search,food,'christmas');(_:search,type,'Restaurant'))
user
I 'm looking for a restaurant in the south serving christmas food . Can you help me ?
canthelp((_:search,area,'south');(_:search,food,'christmas');(_:search,type,'Restaurant')) request((_:search,food,?);(_:search,type,'Restaurant'))
system
Sorry , I could n't find any christmas restaurants in the south . Want to try a different kind of food ?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
No , I 'd really like cheap Christmas food . How about in a different area ?
canthelp((_:search,food,'Christmas');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
I do n't have anything that serves Christmas food and is cheap .
inform((_:search,food,'Portuguese');(_:search,type,'Restaurant'))
user
What about a place serving Portuguese food ?
reqmore() inform((_:result,area,'south');(_:result,food,'Portuguese');(_:result,name,'Nandos');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Nandos is a cheap Portuguese restaurant in the south , would like more information about it ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , could I get the postcode ?
reqmore() inform((_:result,address,', cambridge leisure park clifton way');(_:result,phone,'01223327908');(_:result,postcode,'cb17dy');(_:result,type,'Restaurant'))
system
Postcode cb17dy .   Their phone and address is 01223327908 , Cambridge Leisure Park Clifton Way .   Can I help you with anything else ?
inform((_:search,area,'south');(_:search,category,'guesthouse');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
Yes , can you help me with a cheap guesthouse in the south of town ?
offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,name,"rosa 's bed and breakfast");(_:result,type,'Hotel'))
system
I have one option for you . It is rosa 's bed and breakfast . Would you like a reservation ?
request((_:result,ref,?);(_:result,type,'Hotel'))
user
Yes , please book the reservation and provide a reference number .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
Sure , I can help you with the booking ?   On what day will you be coming in ?
inform((_:search,day,'friday');(_:search,stay,'5');(_:search,type,'Hotel'))
user
I need to book for Friday for 5 nights .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be staying ?
inform((_:search,people,'7');(_:search,type,'Hotel'))
user
There will be 7 of us .
inform((_:booking,ref,'58HYUWPB');(_:booking,type,'Booking'))
system
Okay , you are booked , with reference number 58HYUWPB
inform((_:search,leave_at,'15:45');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I also want to book a taxi to leave Rosa 's bed and breakfast by 15:45 . I would like the contact number and car type .
inform((_:result,car,'red volkswagen');(_:result,phone,'07404379938');(_:result,type,'Taxi'))
system
I have booked a red volkswagen for you . The contact number is 07404379938 .
thank()
user
Thanks you have been great !
system
Thank you and enjoy your stay here in our lovely city !
_:search area south
_:search food christmas
_:search type Restaurant
_:search area south
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:search food ?
_:search pricerange cheap
_:search type Restaurant
_:search area south
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:search pricerange cheap
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:search type Restaurant
_:search area south
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:search pricerange cheap
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:search type Restaurant
_:system inquired _:user
_:result area south
_:result food Portuguese
_:result name Nandos
_:result pricerange cheap
_:result type Restaurant
_:result postcode ?
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result name Nandos
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result phone 01223327908
_:result postcode cb17dy
_:result type Restaurant
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:search type Hotel
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result phone 01223327908
_:result postcode cb17dy
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result count 1
_:result name rosa 's bed and breakfast
_:result type Hotel
_:result ref ?
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result phone 01223327908
_:result postcode cb17dy
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:system offered _:booking
_:result count 1
_:result name rosa 's bed and breakfast
_:result type Hotel
_:result ref ?
_:booking day ?
_:booking type Booking
_:search day friday
_:search stay 5
_:search type Hotel
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result phone 01223327908
_:result postcode cb17dy
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:system offered _:booking
_:result count 1
_:result name rosa 's bed and breakfast
_:result type Hotel
_:result ref ?
_:booking day ?
_:search day friday
_:search stay 5
_:booking people ?
_:booking type Booking
_:search people 7
_:search type Hotel
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result phone 01223327908
_:result postcode cb17dy
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:system offered _:booking
_:result count 1
_:result name rosa 's bed and breakfast
_:result type Hotel
_:result ref ?
_:booking day ?
_:search day friday
_:search stay 5
_:booking people ?
_:search people 7
_:booking ref 58HYUWPB
_:booking type Booking
_:search leave_at 15:45
_:search type Taxi
_:result car ?
_:result type Taxi
_:system canthelp _:search/a79d316b
_:search/a79d316b area south
_:search/a79d316b food christmas
_:search/a79d316b type Restaurant
_:system canthelp _:search/186f1744
_:search/186f1744 food Christmas
_:search/186f1744 pricerange cheap
_:search/186f1744 type Restaurant
_:search food Portuguese
_:result area south
_:result food Portuguese
_:result pricerange cheap
_:system inquired _:user
_:result address , cambridge leisure park clifton way
_:result postcode cb17dy
_:search area south
_:search category guesthouse
_:search pricerange cheap
_:system offered _:booking
_:result count 1
_:result name rosa 's bed and breakfast
_:result ref ?
_:booking day ?
_:search day friday
_:search stay 5
_:booking people ?
_:search people 7
_:booking ref 58HYUWPB
_:booking type Booking
_:search leave_at 15:45
_:search type Taxi
_:result car red volkswagen
_:result phone 07404379938
_:result type Taxi