inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
I 'm looking for something to do tonight .   Maybe the theatre ?
inform((_:result,area,'centre');(_:result,area,'south');(_:result,category,'theatres');(_:result,count,'5');(_:result,entrance_fee,'no fees listed');(_:result,type,'Attraction'))
system
There are 5 theatres , 4 in the centre and 1 in the south .   There are no fees listed , would you like information on any of these ?
inform((_:search,area,'centre');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you give me any one in the centre , and give me phone number and postcode ?
inform((_:result,name,'adc theatre');(_:result,phone,'01223300085');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
you can try adc theatre , phone number is 01223300085 and postcode cb58as
inform((_:search,area,'same area');(_:search,category,'hotel');(_:search,stars,'0');(_:search,type,'Hotel'))
user
That is great can you also find me a hotel with a 0 star in the same area as the theatre
request((_:search,has_parking,?);(_:search,type,'Hotel')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
I have two choices for you .   Do you need parking ?
inform((_:search,has_internet,'yes');(_:search,has_parking,'no');(_:search,type,'Hotel'))
user
No , I do not need parking but need wifi while in the hotel .
select((_:result,has_internet,'none');(_:result,type,'Hotel')) inform((_:result,has_internet,'yes');(_:result,type,'Hotel'))
system
Let me look for a hotel with wifi .
inform((_:search,day,'thursday');(_:search,type,'Hotel'))
user
OK thank you , I would like the room for Thursday .
request((_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,count,'2');(_:result,has_internet,'none');(_:result,type,'Hotel'))
system
I have two options with internet do you have a price reference ?
user
I do n't have a preference , please just pick one .
inform((_:booking,name,'El Shaddai');(_:booking,type,'Booking')) request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
We can try El Shaddai . How many nights will you be staying , and with how many people ?
inform((_:search,day,'thursday');(_:search,people,'three');(_:search,stay,'three');(_:search,type,'Hotel'))
user
Three , nights and three people , from Thursday on .
inform((_:booking,day,'Thursday');(_:booking,people,'3');(_:booking,ref,'MHTJJN91');(_:booking,stay,'3');(_:booking,type,'Booking'))
system
I was able to book you a room for 3 for 3 nights starting Thursday . Your reference number is MHTJJN91 .
inform((_:search,type,'Taxi'))
user
Fantastic , I 'd also like a taxi to take me between the two locations , please .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Do you know what time you want to leave by ?
inform((_:search,departure,'the hotel');(_:search,leave_at,'23:30');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to leave the hotel by 23:30 . Can you please give me the contact number and car type for the taxi ?
inform((_:result,car,'white Tesla');(_:result,phone,'07150153206');(_:result,type,'Taxi')) reqmore()
system
Sure , I have found you a white Tesla . Their contact number is 07150153206 . Is there anything else I can help you with ?
thank()
user
No that is all thank you
system
It has been my pleasure ! Goodbye !
_:search category theatre
_:search type Attraction
_:search category theatre
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result entrance_fee no fees listed
_:result type Attraction
_:search area centre
_:search type Attraction
_:result phone ?
_:result postcode ?
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search area same area
_:search category hotel
_:search stars 0
_:search type Hotel
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:result count 2
_:result type Hotel
_:search has_internet yes
_:search has_parking no
_:search type Hotel
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:result count 2
_:search has_internet yes
_:search has_parking no
_:result has_internet yes
_:result type Hotel
_:search day thursday
_:search type Hotel
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:search has_internet yes
_:search has_parking no
_:search day thursday
_:search pricerange ?
_:search type Hotel
_:result count 2
_:result has_internet none
_:result type Hotel
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:search has_internet yes
_:search has_parking no
_:search pricerange ?
_:result count 2
_:result has_internet none
_:result type Hotel
_:booking name El Shaddai
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day thursday
_:search people three
_:search stay three
_:search type Hotel
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:search has_internet yes
_:search has_parking no
_:search pricerange ?
_:result count 2
_:result has_internet none
_:result type Hotel
_:booking name El Shaddai
_:search day thursday
_:search people three
_:search stay three
_:booking day Thursday
_:booking people 3
_:booking ref MHTJJN91
_:booking stay 3
_:booking type Booking
_:search type Taxi
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result phone 01223300085
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:search has_internet yes
_:search has_parking no
_:search pricerange ?
_:result count 2
_:result has_internet none
_:result type Hotel
_:booking name El Shaddai
_:search day thursday
_:search people three
_:search stay three
_:booking day Thursday
_:booking people 3
_:booking ref MHTJJN91
_:booking stay 3
_:booking type Booking
_:search departure the hotel
_:search leave_at 23:30
_:search type Taxi
_:result car ?
_:result type Taxi
_:result area centre
_:result area south
_:result category theatres
_:result entrance_fee no fees listed
_:result name adc theatre
_:result postcode cb58as
_:search area same area
_:search category hotel
_:search stars 0
_:search has_internet yes
_:search has_parking no
_:search pricerange ?
_:result count 2
_:result has_internet none
_:booking name El Shaddai
_:search day thursday
_:search people three
_:search stay three
_:booking day Thursday
_:booking people 3
_:booking ref MHTJJN91
_:booking stay 3
_:booking type Booking
_:search departure the hotel
_:search leave_at 23:30
_:search type Taxi
_:result car white Tesla
_:result phone 07150153206
_:result type Taxi
_:system inquired _:user