inform((_:search,name,'holy trinity church');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,type,'Attraction'))
user
What is the address for Holy Trinity Church ?
inform((_:result,address,'market street');(_:result,name,'holy trinity church');(_:result,phone,'01223355397');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
The address for holy trinity church is market street postcode cb23nz and the phone number is 01223355397 .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
thank you . i wish to get entrance fee
reqmore() inform((_:result,entrance_fee,'free');(_:result,name,'Holy trinity church');(_:result,type,'Attraction'))
system
Holy trinity church is free . May I help you with anything else today ?
inform((_:search,area,'east');(_:search,food,'indian');(_:search,type,'Restaurant'))
user
Yes , I am looking for an Indian restaurant in the east .
select((_:result,pricerange,'expensive');(_:result,pricerange,'moderate');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
The four choices range from moderate to expensive in their price range . Do you have a preference ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
How about an expensive one . What are my choices in that range ?
inform((_:result,count,'2');(_:result,food,'Indian');(_:result,name,'Pipasha Restaurant');(_:result,name,'Sitar Tandoori');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Pipasha Restaurant and Sitar Tandoori are the 2 expensive Indian restaurants in the area . Do you want the information on those ?
inform((_:search,day,'monday');(_:search,duration,'18:00');(_:search,people,'7');(_:search,type,'Restaurant'))
user
i want o book for 7 people at 18:00 on monday
reqmore() inform((_:booking,name,'pipasha restaurant');(_:booking,ref,'3W8KKLOJ');(_:booking,type,'Booking'))
system
I booked you for pipasha restaurant . The table will be reserved for 15 minutes . 
 Reference number is : 3W8KKLOJ . Can i help you with anything else ?
inform((_:search,departure,'holy trinity church');(_:search,destination,'pipasha restaurant');(_:search,type,'Taxi'))
user
Yes , one more thing . I will need a taxi from Holy Trinity Church to   pipasha restaurant .
request((_:search,leave_at,?);(_:search,type,'Taxi')) thank()
system
Sure ! And what time do you prefer ?
inform((_:search,arrive_by,'the booked time');(_:search,type,'Taxi'))
user
I need to arrive by the booked time at the restaurant .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
For how many people ?
user
There will be 7 people travelling .
inform((_:result,arrive_by,'18:00');(_:result,car,'grey volvo');(_:result,departure,'Holy Trinity Church');(_:result,destination,'Pipasha');(_:result,phone,'07746897279');(_:result,type,'Taxi'))
system
A grey volvo will pick you up at Holy Trinity Church for your arrival at Pipasha by 18:00 . Should you need to contact the driver , the number is : 07746897279
thank()
user
Thank you . That is all I need .
system
Thank you for using the Cambridge towneinfo centre .   Goodbye
_:search name holy trinity church
_:search type Attraction
_:result address ?
_:result type Attraction
_:search name holy trinity church
_:search type Attraction
_:result address market street
_:result name holy trinity church
_:result phone 01223355397
_:result postcode cb23nz
_:result type Attraction
_:result entrance_fee ?
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee free
_:result name Holy trinity church
_:result type Attraction
_:search area east
_:search food indian
_:search type Restaurant
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee free
_:result name Holy trinity church
_:search area east
_:search food indian
_:result pricerange expensive
_:result pricerange moderate
_:result count 4
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee free
_:search area east
_:search food indian
_:search pricerange expensive
_:result count 2
_:result food Indian
_:result name Pipasha Restaurant
_:result name Sitar Tandoori
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:search type Restaurant
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:result entrance_fee free
_:search area east
_:search food indian
_:search pricerange expensive
_:result count 2
_:result food Indian
_:result name Pipasha Restaurant
_:result name Sitar Tandoori
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:system inquired _:user
_:booking name pipasha restaurant
_:booking ref 3W8KKLOJ
_:booking type Booking
_:search departure holy trinity church
_:search destination pipasha restaurant
_:search type Taxi
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:result entrance_fee free
_:search area east
_:search food indian
_:search pricerange expensive
_:result count 2
_:result food Indian
_:result name Pipasha Restaurant
_:result name Sitar Tandoori
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:system inquired _:user
_:booking name pipasha restaurant
_:booking ref 3W8KKLOJ
_:booking type Booking
_:search departure holy trinity church
_:search destination pipasha restaurant
_:search leave_at ?
_:search arrive_by the booked time
_:search type Taxi
_:search name holy trinity church
_:result address market street
_:result phone 01223355397
_:result postcode cb23nz
_:result entrance_fee free
_:search area east
_:search food indian
_:search pricerange expensive
_:result count 2
_:result food Indian
_:result name Pipasha Restaurant
_:result name Sitar Tandoori
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:system inquired _:user
_:booking name pipasha restaurant
_:booking ref 3W8KKLOJ
_:search departure holy trinity church
_:search destination pipasha restaurant
_:search leave_at ?
_:search arrive_by the booked time
_:search type Taxi
_:booking people ?
_:booking type Booking
_:search name holy trinity church
_:result address market street
_:result postcode cb23nz
_:result entrance_fee free
_:search area east
_:search food indian
_:search pricerange expensive
_:result count 2
_:result food Indian
_:result name Pipasha Restaurant
_:result name Sitar Tandoori
_:result pricerange expensive
_:search day monday
_:search duration 18:00
_:search people 7
_:system inquired _:user
_:booking name pipasha restaurant
_:booking ref 3W8KKLOJ
_:search departure holy trinity church
_:search destination pipasha restaurant
_:search leave_at ?
_:search arrive_by the booked time
_:search type Taxi
_:booking people ?
_:booking type Booking
_:result arrive_by 18:00
_:result car grey volvo
_:result departure Holy Trinity Church
_:result destination Pipasha
_:result phone 07746897279
_:result type Taxi