inform((_:search,type,'Attraction'))
user
Can you help me find some attractions in town ?
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,amount,'many');(_:result,type,'Attraction'))
system
Yes , I have many attractions available . What area of town would you like to be in ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Centre of town would be perfect .
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,area,'centre');(_:result,count,'79');(_:result,type,'Attraction'))
system
I have 79 places in the centre . Is there a type you are interested in ?
inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Attraction');(_:result,type,'Restaurant'))
user
I would like Korean food and expensive . Can you send address ?
reqmore() inform((_:result,address,'108 Regent Street City Centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is located at 108 Regent Street City Centre . anything else for you today ?
inform((_:search,area,'centre');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,category,?);(_:result,type,'Attraction'))
user
Can we go back to finding an attraction please ?   I need the address and the type . Anything in the centre area will work .
inform((_:result,address,'market street');(_:result,category,'architecture');(_:result,entrance_fee,'free');(_:result,name,'holy trinity church');(_:result,type,'Attraction'))
system
holy trinity church on market street is free to visit . People go there for the architecture .
inform((_:search,area,'centre');(_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Cool , thanks . Can you help me book a table at an expensive korean restaurant in the centre ?
offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
Yes , there is one option fitting your needs . It is little seoul . Do you want to book there ?
inform((_:search,day,'saturday');(_:search,type,'Restaurant'))
user
Yes , for Saturday please .
request((_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
I have begun your booking but need to know the time you would like to eat and how many people will be dining
inform((_:search,duration,'18:15');(_:search,people,'8');(_:search,type,'Restaurant'))
user
book a table for 8 people at 18:15
reqmore() inform((_:booking,ref,'P0DZWOUT');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : P0DZWOUT . May I help with anything else ?
inform((_:search,destination,'the restaurant');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
Yes , I will need a taxi to get to the restaurant in time for that reservation .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you be coming from ?
inform((_:search,departure,'holy trinity church');(_:search,type,'Taxi'))
user
I 'll be leaving from Holy Trinity Church .
inform((_:result,car,'white skoda');(_:result,phone,'07599401475');(_:result,type,'Taxi'))
system
I have booked a white skoda for you . The contact number is 07599401475 .
thank()
user
Thanks ! I feel ready for my trip now . I appreciate the help . Goodbye
system
Thanks for contacting Cambridge TownInfo centre . Have a great trip .
_:search type Attraction
_:result amount many
_:result type Attraction
_:search area centre
_:search type Attraction
_:result amount many
_:search area centre
_:search category ?
_:result area centre
_:result count 79
_:result type Attraction
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result address ?
_:result type Restaurant
_:result amount many
_:search category ?
_:result area centre
_:result count 79
_:search food korean
_:search pricerange expensive
_:system inquired _:user
_:result address 108 Regent Street City Centre
_:result name little seoul
_:result type Restaurant
_:search area centre
_:search type Attraction
_:result address ?
_:result category ?
_:result type Attraction
_:result amount many
_:search category ?
_:result area centre
_:result count 79
_:system inquired _:user
_:result address market street
_:result category architecture
_:result entrance_fee free
_:result name holy trinity church
_:result type Attraction
_:search area centre
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result amount many
_:search category ?
_:result area centre
_:system inquired _:user
_:result address market street
_:result category architecture
_:result entrance_fee free
_:search area centre
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result count 1
_:result name little seoul
_:result type Restaurant
_:search day saturday
_:search type Restaurant
_:result amount many
_:search category ?
_:result area centre
_:system inquired _:user
_:result address market street
_:result category architecture
_:result entrance_fee free
_:search area centre
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result name little seoul
_:result type Restaurant
_:search day saturday
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search duration 18:15
_:search people 8
_:search type Restaurant
_:result amount many
_:search category ?
_:result area centre
_:result address market street
_:result category architecture
_:result entrance_fee free
_:search area centre
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result name little seoul
_:result type Restaurant
_:search day saturday
_:booking duration ?
_:booking people ?
_:search duration 18:15
_:search people 8
_:system inquired _:user
_:booking ref P0DZWOUT
_:booking type Booking
_:search destination the restaurant
_:search type Restaurant
_:search type Taxi
_:result amount many
_:search category ?
_:result area centre
_:result address market street
_:result category architecture
_:result entrance_fee free
_:search area centre
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result name little seoul
_:result type Restaurant
_:search day saturday
_:booking duration ?
_:booking people ?
_:search duration 18:15
_:search people 8
_:system inquired _:user
_:booking ref P0DZWOUT
_:booking type Booking
_:search destination the restaurant
_:search departure holy trinity church
_:search type Taxi
_:result amount many
_:search category ?
_:result area centre
_:result address market street
_:result category architecture
_:result entrance_fee free
_:search area centre
_:search food korean
_:search pricerange expensive
_:system offered _:booking
_:result count 1
_:result name little seoul
_:search day saturday
_:booking duration ?
_:booking people ?
_:search duration 18:15
_:search people 8
_:system inquired _:user
_:booking ref P0DZWOUT
_:booking type Booking
_:search destination the restaurant
_:search departure holy trinity church
_:search type Taxi
_:result car white skoda
_:result phone 07599401475
_:result type Taxi