inform((_:search,stars,'zero');(_:search,type,'Hotel'))
user
I want to find a zero star rated hotel .
request((_:search,area,?);(_:search,type,'Hotel')) select((_:result,area,'north');(_:result,type,'Hotel')) inform((_:result,count,'3');(_:result,type,'Hotel'))
system
Interestingly enough , I have 3 of those ! Do you have a certain area in mind ? I have places in the north and centre .
inform((_:search,area,'none');(_:search,pricerange,'cheap');(_:search,pricerange,'none');(_:search,type,'Hotel');(_:search,type,'Restaurant'))
user
It should be in the cheap price range
select((_:result,area,'centre');(_:result,area,'north');(_:result,type,'Hotel')) inform((_:result,category,'guesthouse');(_:result,type,'Hotel'))
system
There is a guesthouse located in the north and a guesthouse located in the centre , do you have a preference of area ?
inform((_:search,area,'centre');(_:search,type,'Hotel'))
user
I would prefer the centre please .
offer((_:booking,type,'Booking')) inform((_:result,category,'guesthouse');(_:result,name,'el shaddai');(_:result,type,'Hotel'))
system
I have the el shaddai guesthouse .   Should I go ahead and book that now ?
user
Yes can you please book that ?
request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
for how many people do i book and for how long ?
request((_:result,address,?);(_:result,has_parking,?);(_:result,phone,?);(_:result,type,'Hotel')) inform((_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
Sorry , I actually wo n't need it booked after all . I only want to know if they have free parking and also the phone number and address there please .
inform((_:result,address,'41 warkworth street');(_:result,has_parking,'none');(_:result,phone,'01223327978');(_:result,postcode,', cb11eg');(_:result,type,'Hotel'))
system
Their address is 41 warkworth street , cb11eg . Their phone number is 01223327978 . They do indeed have free parking .
thank()
user
Great , thank you so much ! Now I just need to find a place to eat .
request((_:search,area,?);(_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,type,'Restaurant'))
system
I have many different options for restaurants . Do you have a preference of the area , price range , or type of food ?
inform((_:search,area,'none');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Let 's look for a cheap place .
inform((_:result,amount,'quite a few');(_:result,area,'that area');(_:result,food,'Chinese');(_:result,name,'Golden House');(_:result,type,'Restaurant'))
system
There are quite a few Chinese restaurants in that area . How about Golden House ?
inform((_:search,day,'wednesday');(_:search,duration,'11:45');(_:search,people,'4');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Sounds fine .   Could you make a reservation for 4 at 11:45 on Wednesday ?   I will need the reference number too
reqmore() inform((_:booking,ref,'FZT238P9');(_:booking,type,'Booking'))
system
I have made the reservation . Your reference number is FZT238P9 . Is there anything else I can help you with ?
thank()
user
No thank you that will be all .
system
You are welcome , enjoy your stay in Cambridge .
_:search stars zero
_:search type Hotel
_:search stars zero
_:result area north
_:result count 3
_:result type Hotel
_:search area none
_:search pricerange cheap
_:search pricerange none
_:search type Hotel
_:search type Restaurant
_:search stars zero
_:result count 3
_:search pricerange cheap
_:search pricerange none
_:result area centre
_:result area north
_:result category guesthouse
_:result type Hotel
_:search area centre
_:search type Hotel
_:search stars zero
_:result count 3
_:search pricerange cheap
_:search pricerange none
_:result area centre
_:result area north
_:search area centre
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result category guesthouse
_:result name el shaddai
_:result type Hotel
_:search stars zero
_:result count 3
_:search pricerange cheap
_:search pricerange none
_:result area centre
_:result area north
_:search area centre
_:system offered _:booking
_:result category guesthouse
_:result name el shaddai
_:result type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result address ?
_:result has_parking ?
_:result phone ?
_:search has_parking yes
_:search type Hotel
_:search stars zero
_:result count 3
_:search pricerange cheap
_:search pricerange none
_:result area centre
_:result area north
_:search area centre
_:system offered _:booking
_:result category guesthouse
_:result name el shaddai
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search has_parking yes
_:search type Hotel
_:result address 41 warkworth street
_:result has_parking none
_:result phone 01223327978
_:result postcode , cb11eg
_:result type Hotel
_:search stars zero
_:result count 3
_:result area centre
_:result area north
_:system offered _:booking
_:result category guesthouse
_:result name el shaddai
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search has_parking yes
_:result address 41 warkworth street
_:result has_parking none
_:result phone 01223327978
_:result postcode , cb11eg
_:search food ?
_:result amount many
_:result type Restaurant
_:search area none
_:search pricerange cheap
_:search type Restaurant
_:search stars zero
_:result count 3
_:system offered _:booking
_:result category guesthouse
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search has_parking yes
_:result address 41 warkworth street
_:result has_parking none
_:result phone 01223327978
_:result postcode , cb11eg
_:search food ?
_:search area none
_:search pricerange cheap
_:result amount quite a few
_:result area that area
_:result food Chinese
_:result name Golden House
_:result type Restaurant
_:search day wednesday
_:search duration 11:45
_:search people 4
_:search type Restaurant
_:result ref ?
_:search stars zero
_:result count 3
_:system offered _:booking
_:result category guesthouse
_:booking people ?
_:booking stay ?
_:search has_parking yes
_:result address 41 warkworth street
_:result has_parking none
_:result phone 01223327978
_:result postcode , cb11eg
_:search food ?
_:search area none
_:search pricerange cheap
_:result amount quite a few
_:result area that area
_:result food Chinese
_:result name Golden House
_:result type Restaurant
_:search day wednesday
_:search duration 11:45
_:search people 4
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref FZT238P9
_:booking type Booking