inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
i want information about attractions in the centre
inform((_:result,entrance_fee,'free');(_:result,name,'all saints church');(_:result,type,'Attraction'))
system
How about all saints church ? It has free admission .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Sounds interesting . What is their phone number ?
reqmore() inform((_:result,name,'All Saints Church');(_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
The phone number for All Saints Church is 01223452587 . Can I help you with anything else ?
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you tell me their postcode as well ?
reqmore() inform((_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
Sure . The postcode is cb58bs . Can I help you with anything else ?
inform((_:search,food,'chinese');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Can you help me find a really nice and expensive chinese place in town ?
request((_:search,area,?);(_:search,type,'Restaurant')) thank()
system
Okay ! What area of town would you like to dine in ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I would like to be in the centre .
inform((_:result,address,'at napier street city centre');(_:result,name,'tang chinese');(_:result,type,'Restaurant'))
system
How about tang chinese ? They are located at Napier Street City Centre .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Can you tell me their phone number ?
inform((_:result,phone,'01223357187');(_:result,type,'Restaurant'))
system
Sure thing , here you go 01223357187
inform((_:search,type,'Taxi'))
user
I also want to book a taxi to commute between the two places .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can help you with that . Where would you like the taxi to pick you up ?
inform((_:search,departure,'all saints church');(_:search,destination,'tang chinese');(_:search,leave_at,'2:30');(_:search,type,'Taxi'))
user
I 'd like to go between All Saints Church and Tang Chinese by 2:30 .
inform((_:result,type,'Taxi'))
system
Let me find a taxi for you .
inform((_:search,type,'Taxi'))
user
Any luck with the taxi yet ?
inform((_:result,car,'red skoda');(_:result,phone,'07139106461');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 red skoda 
 Contact number 	 : 	 07139106461
thank()
user
thanks thatnis it for today
system
Okay , no problem ! I hope you have a great visit !
_:search area centre
_:search type Attraction
_:search area centre
_:search type Attraction
_:result entrance_fee free
_:result name all saints church
_:result type Attraction
_:result phone ?
_:search area centre
_:search type Attraction
_:result entrance_fee free
_:system inquired _:user
_:result name All Saints Church
_:result phone 01223452587
_:result type Attraction
_:result postcode ?
_:search area centre
_:result entrance_fee free
_:result name All Saints Church
_:result phone 01223452587
_:system inquired _:user
_:result postcode cb58bs
_:result type Attraction
_:search food chinese
_:search pricerange expensive
_:search type Restaurant
_:result entrance_fee free
_:result name All Saints Church
_:result phone 01223452587
_:system inquired _:user
_:result postcode cb58bs
_:result type Attraction
_:search food chinese
_:search pricerange expensive
_:search area centre
_:search type Restaurant
_:result entrance_fee free
_:result phone 01223452587
_:system inquired _:user
_:result postcode cb58bs
_:search food chinese
_:search pricerange expensive
_:search area centre
_:search type Restaurant
_:result address at napier street city centre
_:result name tang chinese
_:result type Restaurant
_:result phone ?
_:result entrance_fee free
_:system inquired _:user
_:result postcode cb58bs
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address at napier street city centre
_:result name tang chinese
_:result phone 01223357187
_:result type Restaurant
_:search type Taxi
_:result entrance_fee free
_:system inquired _:user
_:result postcode cb58bs
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address at napier street city centre
_:result name tang chinese
_:result phone 01223357187
_:result type Restaurant
_:search departure all saints church
_:search destination tang chinese
_:search leave_at 2:30
_:search type Taxi
_:result entrance_fee free
_:system inquired _:user
_:result postcode cb58bs
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address at napier street city centre
_:result name tang chinese
_:result phone 01223357187
_:search departure all saints church
_:search destination tang chinese
_:search leave_at 2:30
_:result type Taxi
_:search type Taxi
_:result entrance_fee free
_:system inquired _:user
_:result postcode cb58bs
_:search food chinese
_:search pricerange expensive
_:search area centre
_:result address at napier street city centre
_:result name tang chinese
_:search departure all saints church
_:search destination tang chinese
_:search leave_at 2:30
_:search type Taxi
_:result car red skoda
_:result phone 07139106461
_:result type Taxi