inform((_:search,area,'centre');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
Can you help find a theatre in the centre of town ?
inform((_:result,area,'centre');(_:result,name,'the ADC Theatre');(_:result,type,'Attraction')) thank()
system
I can help you with that .   How about the ADC Theatre ?   It is in the centre of town .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Great , how much is admission ?
inform((_:result,phone,'01 223 300 0085');(_:result,type,'Attraction')) reqmore()
system
Sorry , I do n't have that information , but here is the phone number : 01 223 300 0085 if you would like more specifics .
inform((_:search,category,'hotel');(_:search,stars,'4');(_:search,type,'Hotel'))
user
thank you . i also want a hotel to stay which should a have a   star of 4
request((_:search,area,?);(_:search,type,'Hotel'))
system
What area would you like to stay in ?
inform((_:search,area,'north');(_:search,type,'Hotel'))
user
I would like to stay in the north .
request((_:search,category,?);(_:search,pricerange,?);(_:search,type,'Hotel'))
system
Do you prefer a specific type of hotel or are you working on a budget ?
inform((_:search,pricerange,'cheap');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I 'd like a 4 star in the cheap price range please .
inform((_:result,count,'1');(_:result,type,'Hotel')) reqmore()
system
I have one fitting that . Would you like more info ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
Yes is it a guesthouse ?
inform((_:result,name,'worth house');(_:result,type,'Hotel'))
system
Yes it is , it 's called worth house .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
I need the phone number for the hotel please .
inform((_:result,phone,'01223316074');(_:result,type,'Hotel')) reqmore()
system
The phone number is 01223316074 . May I help with something else ?
inform((_:search,departure,'the hotel');(_:search,destination,'adc theatre');(_:search,leave_at,'20:15');(_:search,type,'Taxi'))
user
i also need a taxi from the worth house to the adc theatre . i want to leave the hotel by 20:15 .
inform((_:result,car,'blue audi');(_:result,leave_at,'20:15');(_:result,phone,'07263502417');(_:result,type,'Taxi')) reqmore()
system
Booking completed !   Your booked car type is blue audi and it will come at 20:15 .   The contact number is 07263502417 .   Anything else I can do for you today ?
thank()
user
Thank you that is all I needed .
system
Great ! Enjoy your show , and I hope you have a great stay !
_:search area centre
_:search category theatre
_:search type Attraction
_:search area centre
_:search category theatre
_:search type Attraction
_:result area centre
_:result name the ADC Theatre
_:result type Attraction
_:result entrance_fee ?
_:search area centre
_:result area centre
_:result name the ADC Theatre
_:result entrance_fee ?
_:result phone 01 223 300 0085
_:result type Attraction
_:system inquired _:user
_:search category hotel
_:search stars 4
_:search type Hotel
_:result area centre
_:result name the ADC Theatre
_:result entrance_fee ?
_:result phone 01 223 300 0085
_:result type Attraction
_:system inquired _:user
_:search category hotel
_:search stars 4
_:search area north
_:search type Hotel
_:result area centre
_:result name the ADC Theatre
_:result entrance_fee ?
_:result phone 01 223 300 0085
_:result type Attraction
_:system inquired _:user
_:search area north
_:search category ?
_:search pricerange cheap
_:search stars 4
_:search type Hotel
_:result area centre
_:result name the ADC Theatre
_:result entrance_fee ?
_:result phone 01 223 300 0085
_:search area north
_:search pricerange cheap
_:search stars 4
_:result count 1
_:result type Hotel
_:system inquired _:user
_:search category guesthouse
_:search type Hotel
_:result area centre
_:result entrance_fee ?
_:result phone 01 223 300 0085
_:search area north
_:search pricerange cheap
_:search stars 4
_:result count 1
_:system inquired _:user
_:search category guesthouse
_:search type Hotel
_:result name worth house
_:result type Hotel
_:result phone ?
_:result area centre
_:result entrance_fee ?
_:search area north
_:search pricerange cheap
_:search stars 4
_:result count 1
_:search category guesthouse
_:result name worth house
_:result phone 01223316074
_:result type Hotel
_:system inquired _:user
_:search departure the hotel
_:search destination adc theatre
_:search leave_at 20:15
_:search type Taxi
_:result area centre
_:result entrance_fee ?
_:search area north
_:search pricerange cheap
_:search stars 4
_:result count 1
_:search category guesthouse
_:result name worth house
_:search departure the hotel
_:search destination adc theatre
_:search leave_at 20:15
_:search type Taxi
_:result car blue audi
_:result leave_at 20:15
_:result phone 07263502417
_:result type Taxi
_:system inquired _:user