inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i am looking for an expensive restaurant in the centre part of town .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'33');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 33 expensive restaurants in the centre of town . Did you have a type of food in mind ?
request((_:result,food,?);(_:result,type,'Restaurant'))
user
Can you give me a couple of examples of different cuisines that are available ?
inform((_:result,area,'centre');(_:result,food,'African');(_:result,food,'Asian Oriental');(_:result,food,'British');(_:result,food,'Chinese');(_:result,food,'European');(_:result,food,'French');(_:result,food,'Gastropub');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,food,'Japanese');(_:result,food,'Korean');(_:result,food,'Mediterranean');(_:result,food,'Modern European');(_:result,food,'North American');(_:result,food,'Seafood');(_:result,food,'Thai');(_:result,food,'Turkish');(_:result,type,'Restaurant'))
system
There is African , Asian Oriental , British , Chinese , European , French , Gastropub , Indian , Italian , Japanese , Korean , Mediterranean , Modern European , North American , Seafood , Thai , and Turkish food available in the centre .
inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Let 's go with Korean . What kind of expensive Korean restaurants do you have available ?
inform((_:result,address,'108 Regent Street City Centre');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Little Seoul at 108 Regent Street City Centre is very good .
inform((_:search,name,'little seoul');(_:search,type,'Restaurant')) request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
That sounds good .   Could I get the postcode for Little Seoul please ?
inform((_:result,name,'little seoul');(_:result,postcode,'cb21dp');(_:result,type,'Restaurant'))
system
The post code for little seoul is cb21dp .
request((_:result,address,?);(_:result,car,?);(_:result,category,?);(_:result,phone,?);(_:result,type,'Attraction');(_:result,type,'Taxi'))
user
I need the phone number and address of saint catherine 's college and a taxi to commute both distance . Need to know the car type and also have the taxi number .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Taxi')) inform((_:result,address,"King 's Parade");(_:result,phone,'01223338300');(_:result,postcode,'CB21RL');(_:result,type,'Attraction'))
system
Okay ! They are at King 's Parade , CB21RL . Their phone number is 01223338300 . What time would you like to depart in the taxi ?
inform((_:search,departure,'the restaurant');(_:search,leave_at,'18:15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,category,?);(_:result,type,'Attraction');(_:result,type,'Taxi'))
user
I need a taxi to commute between the two places . I need to leave the restaurant by 18:15 and need the contact # and car type
inform((_:result,car,'red tesla');(_:result,phone,'07464036678');(_:result,type,'Taxi')) reqmore()
system
I 've booked your taxi . You 'll be looking for a red tesla . If you need to contact the driver , the number is 07464036678 . Can I do anything else for you today ?
thank()
user
No thank you .
system
Okay then have a great day !
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:search type Restaurant
_:result area centre
_:result count 33
_:result pricerange expensive
_:result type Restaurant
_:result food ?
_:search area centre
_:result count 33
_:result pricerange expensive
_:result area centre
_:result food African
_:result food Asian Oriental
_:result food British
_:result food Chinese
_:result food European
_:result food French
_:result food Gastropub
_:result food Indian
_:result food Italian
_:result food Japanese
_:result food Korean
_:result food Mediterranean
_:result food Modern European
_:result food North American
_:result food Seafood
_:result food Thai
_:result food Turkish
_:result type Restaurant
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:result count 33
_:result pricerange expensive
_:result area centre
_:result food African
_:result food Asian Oriental
_:result food British
_:result food Chinese
_:result food European
_:result food French
_:result food Gastropub
_:result food Indian
_:result food Italian
_:result food Japanese
_:result food Korean
_:result food Mediterranean
_:result food Modern European
_:result food North American
_:result food Seafood
_:result food Thai
_:result food Turkish
_:search food korean
_:search pricerange expensive
_:result address 108 Regent Street City Centre
_:result name Little Seoul
_:result type Restaurant
_:search name little seoul
_:search type Restaurant
_:result postcode ?
_:search area centre
_:result count 33
_:result pricerange expensive
_:result area centre
_:result food African
_:result food Asian Oriental
_:result food British
_:result food Chinese
_:result food European
_:result food French
_:result food Gastropub
_:result food Indian
_:result food Italian
_:result food Japanese
_:result food Korean
_:result food Mediterranean
_:result food Modern European
_:result food North American
_:result food Seafood
_:result food Thai
_:result food Turkish
_:search food korean
_:search pricerange expensive
_:result address 108 Regent Street City Centre
_:search name little seoul
_:search type Restaurant
_:result name little seoul
_:result postcode cb21dp
_:result type Restaurant
_:result address ?
_:result car ?
_:result category ?
_:result phone ?
_:result type Attraction
_:result type Taxi
_:search area centre
_:result count 33
_:result pricerange expensive
_:result area centre
_:result food African
_:result food Asian Oriental
_:result food British
_:result food Chinese
_:result food European
_:result food French
_:result food Gastropub
_:result food Indian
_:result food Italian
_:result food Japanese
_:result food Korean
_:result food Mediterranean
_:result food Modern European
_:result food North American
_:result food Seafood
_:result food Thai
_:result food Turkish
_:search food korean
_:search pricerange expensive
_:search name little seoul
_:result name little seoul
_:result car ?
_:result category ?
_:result address King 's Parade
_:result phone 01223338300
_:result postcode CB21RL
_:result type Attraction
_:search departure the restaurant
_:search leave_at 18:15
_:search type Taxi
_:result type Taxi
_:search area centre
_:result count 33
_:result pricerange expensive
_:result area centre
_:result food African
_:result food Asian Oriental
_:result food British
_:result food Chinese
_:result food European
_:result food French
_:result food Gastropub
_:result food Indian
_:result food Italian
_:result food Japanese
_:result food Korean
_:result food Mediterranean
_:result food Modern European
_:result food North American
_:result food Seafood
_:result food Thai
_:result food Turkish
_:search food korean
_:search pricerange expensive
_:search name little seoul
_:result name little seoul
_:result category ?
_:result address King 's Parade
_:result postcode CB21RL
_:search departure the restaurant
_:search leave_at 18:15
_:search type Taxi
_:result car red tesla
_:result phone 07464036678
_:result type Taxi
_:system inquired _:user