inform((_:search,category,'colleges');(_:search,type,'Attraction'))
user
could you provide some information about the colleges you have in town ?
request((_:search,area,?);(_:search,type,'Attraction')) thank()
system
Okay ! What part of town would you like to visit ?
inform((_:search,area,'does not matter');(_:search,type,'Attraction'))
user
It does not matter .
inform((_:result,category,'college');(_:result,name,"christ 's college");(_:result,type,'Attraction'))
system
christ 's college is a beautiful college . You would love it !
request((_:result,address,?);(_:result,type,'Attraction'))
user
Great , may I please have the address ?
inform((_:result,address,"saint andrew 's street");(_:result,area,'centre');(_:result,name,"Christ 's college");(_:result,type,'Attraction'))
system
Christ 's college is in the centre of town . Their address is saint andrew 's street
inform((_:search,area,'west');(_:search,day,'saturday');(_:search,duration,'14:30');(_:search,people,'1');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i am looking for a place to dine . The restaurant should be in the west and should be in the expensive   book a table for 1 people at 14:30 on saturday
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'14');(_:result,food,'all kind of');(_:result,type,'Restaurant'))
system
We have 14 places with all kind of food type , any preference ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Hm , I guess a chinese place would be good .
canthelp((_:search,food,'Chinese');(_:search,type,'Restaurant')) request((_:search,food,?);(_:search,type,'Restaurant'))
system
I 'm sorry but I have no Chinese in this area . Could we try another area or type of food ?
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
Indian food sounds good as well , how about that ? The area and price must stay the same . Really anything is fine I do n't care .
canthelp((_:search,food,'Italian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
I 'm sorry , there are no expensive Italian restaurants in the area either . How about a cheaper option ?
inform((_:search,day,'saturday');(_:search,duration,'14:30');(_:search,people,'1');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Well then find me another type of expensive restaurant . Book it for 1 person for Saturday at 14:30 .
reqmore() inform((_:booking,name,'Travellers Rest');(_:booking,ref,'86LRTWFF');(_:booking,type,'Booking'))
system
Done ! I have booked you a table at Travellers Rest , which will be reserved for 15 minutes . The reference number is 86LRTWFF . Can I help you with anything else ?
inform((_:search,destination,'the restaurant');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
Yes , I 'll also need a taxi to commute between the two locations . I 'll need to arrive at the restaurant by the dining time .
inform((_:result,car,'grey skoda');(_:result,phone,'07328070350');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 grey skoda 
 Contact number 	 : 	 07328070350
bye()
user
Thanks .   That is all I need for today .   Bye .
system
Bye , have a good time .
_:search category colleges
_:search type Attraction
_:search category colleges
_:search area does not matter
_:search type Attraction
_:search category colleges
_:search area does not matter
_:search type Attraction
_:result category college
_:result name christ 's college
_:result type Attraction
_:result address ?
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:result type Attraction
_:search area west
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:search type Restaurant
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:search area west
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:result count 14
_:result food all kind of
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:search area west
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:result count 14
_:result food all kind of
_:result type Restaurant
_:system canthelp _:search/42c9266a
_:search/42c9266a food Chinese
_:search/42c9266a type Restaurant
_:search food indian
_:search type Restaurant
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:search area west
_:result count 14
_:result food all kind of
_:result type Restaurant
_:system canthelp _:search/42c9266a
_:search/42c9266a food Chinese
_:search/42c9266a type Restaurant
_:search food indian
_:system canthelp _:search/2a8fe09a
_:search/2a8fe09a food Italian
_:search/2a8fe09a pricerange expensive
_:search/2a8fe09a type Restaurant
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:search type Restaurant
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:search area west
_:result count 14
_:result food all kind of
_:result type Restaurant
_:system canthelp _:search/42c9266a
_:search/42c9266a food Chinese
_:search/42c9266a type Restaurant
_:search food indian
_:system canthelp _:search/2a8fe09a
_:search/2a8fe09a food Italian
_:search/2a8fe09a pricerange expensive
_:search/2a8fe09a type Restaurant
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:system inquired _:user
_:booking name Travellers Rest
_:booking ref 86LRTWFF
_:booking type Booking
_:search destination the restaurant
_:search type Restaurant
_:search type Taxi
_:search category colleges
_:result category college
_:result address saint andrew 's street
_:result area centre
_:result name Christ 's college
_:search area west
_:result count 14
_:result food all kind of
_:system canthelp _:search/42c9266a
_:search/42c9266a food Chinese
_:search/42c9266a type Restaurant
_:search food indian
_:system canthelp _:search/2a8fe09a
_:search/2a8fe09a food Italian
_:search/2a8fe09a pricerange expensive
_:search/2a8fe09a type Restaurant
_:search day saturday
_:search duration 14:30
_:search people 1
_:search pricerange expensive
_:system inquired _:user
_:booking name Travellers Rest
_:booking ref 86LRTWFF
_:booking type Booking
_:search destination the restaurant
_:search type Restaurant
_:search type Taxi
_:result car grey skoda
_:result phone 07328070350
_:result type Taxi
_:user dismissed _:system