inform((_:search,type,'Restaurant'))
user
Hello , can you recommend local restaurants ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
I have many options for restaurants in the area .   Is there a certain type of food you would like me to find information on ?
inform((_:search,name,'cambridge arts theatre');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
No . I am interested in the Cambridge Arts Theatre . Can you provide me with the phone number and postcode ?
reqmore() inform((_:result,phone,'01223503333');(_:result,postcode,'CB23PJ');(_:result,type,'Attraction'))
system
Their phone number is 01223503333 , and their postcode is CB23PJ . Can I help you with anything else ?
inform((_:search,food,'spanish');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Thanks for the theatre info . Let 's go back to the restaurant search . I feel like Spanish food , in the moderate price range , please .
offer((_:booking,type,'Booking')) inform((_:result,name,'La Tasca');(_:result,type,'Restaurant'))
system
La Tasca sounds perfect for you . Would you like me to book it ?
inform((_:search,day,'tuesday');(_:search,duration,'14:30');(_:search,people,'5');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , please book for 5 people on tuesday at 14:30 . And I will absolutely need a reference number from you
inform((_:booking,ref,'NK0DZ1YI');(_:booking,type,'Booking')) reqmore()
system
You are booked with reference number NK0DZ1YI . Anything else ?
inform((_:search,type,'Taxi'))
user
I will also need to book a taxi .
request((_:search,departure,?);(_:search,type,'Taxi')) thank()
system
Ok .   I will be happy to help you with that .   Where will the taxi pick you up ?
inform((_:search,departure,'cambridge arts theatre');(_:search,type,'Taxi'))
user
Can the taxi pick me up from the Cambridge Arts Theatre .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where would like the taxi to take you ?
inform((_:search,arrive_by,'14:30');(_:search,destination,'la tasca');(_:search,type,'Taxi'))
user
To La Tasca , by 14:30
inform((_:result,car,'yellow audi');(_:result,phone,'07845910981');(_:result,type,'Taxi')) reqmore()
system
yellow audi 
 Contact number 	 : 	 07845910981 
 Is there anything else I can assist you with ?
thank()
user
That 's all for now . Thank you for all your help .
system
Great , thanks for letting us help you !
_:search type Restaurant
_:search food ?
_:result amount many
_:result type Restaurant
_:search name cambridge arts theatre
_:search type Attraction
_:result phone ?
_:result postcode ?
_:result type Attraction
_:result amount many
_:search name cambridge arts theatre
_:system inquired _:user
_:result phone 01223503333
_:result postcode CB23PJ
_:result type Attraction
_:search food spanish
_:search pricerange moderate
_:search type Restaurant
_:result amount many
_:search name cambridge arts theatre
_:system inquired _:user
_:result phone 01223503333
_:result postcode CB23PJ
_:search food spanish
_:search pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result name La Tasca
_:result type Restaurant
_:search day tuesday
_:search duration 14:30
_:search people 5
_:search type Restaurant
_:result ref ?
_:result amount many
_:search name cambridge arts theatre
_:result phone 01223503333
_:result postcode CB23PJ
_:search food spanish
_:search pricerange moderate
_:system offered _:booking
_:result name La Tasca
_:result type Restaurant
_:search day tuesday
_:search duration 14:30
_:search people 5
_:result ref ?
_:booking ref NK0DZ1YI
_:booking type Booking
_:system inquired _:user
_:search type Taxi
_:result amount many
_:search name cambridge arts theatre
_:result phone 01223503333
_:result postcode CB23PJ
_:search food spanish
_:search pricerange moderate
_:system offered _:booking
_:result name La Tasca
_:result type Restaurant
_:search day tuesday
_:search duration 14:30
_:search people 5
_:result ref ?
_:booking ref NK0DZ1YI
_:booking type Booking
_:system inquired _:user
_:search departure cambridge arts theatre
_:search type Taxi
_:result amount many
_:search name cambridge arts theatre
_:result phone 01223503333
_:result postcode CB23PJ
_:search food spanish
_:search pricerange moderate
_:system offered _:booking
_:result name La Tasca
_:result type Restaurant
_:search day tuesday
_:search duration 14:30
_:search people 5
_:result ref ?
_:booking ref NK0DZ1YI
_:booking type Booking
_:system inquired _:user
_:search departure ?
_:search arrive_by 14:30
_:search destination la tasca
_:search type Taxi
_:result amount many
_:search name cambridge arts theatre
_:result postcode CB23PJ
_:search food spanish
_:search pricerange moderate
_:system offered _:booking
_:result name La Tasca
_:search day tuesday
_:search duration 14:30
_:search people 5
_:result ref ?
_:booking ref NK0DZ1YI
_:booking type Booking
_:search departure ?
_:search arrive_by 14:30
_:search destination la tasca
_:search type Taxi
_:result car yellow audi
_:result phone 07845910981
_:result type Taxi
_:system inquired _:user