inform((_:search,area,'centre');(_:search,food,'african');(_:search,type,'Restaurant'))
user
I want to eat some african food in the centre . What do you have for me ?
inform((_:result,area,'centre');(_:result,food,'african');(_:result,name,'Bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I have a place by the name of Bedouin , it serves african cuisine in the centre and is the expensive price range .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
Could I get the address please ?
inform((_:result,address,'100 Mill Road City Centre');(_:result,type,'Restaurant'))
system
Their address is 100 Mill Road City Centre
inform((_:search,name,'leverton house');(_:search,type,'Hotel'))
user
also looking for a particular hotel . Its name is called leverton house
inform((_:result,area,'East');(_:result,category,'guesthouse');(_:result,name,'Leverton House');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
The lovely Leverton House is a guesthouse located in the East .   Would you like me to help you book a room ?
inform((_:search,day,'saturday');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Yes I would . I need to book a room for Saturday for 4 nights .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
Okay , great . How many people would you like to book for ?
inform((_:search,stay,'4');(_:search,type,'Hotel')) request((_:result,ref,?);(_:result,type,'Hotel'))
user
4 people . I 'll need a reference number too .
reqmore() inform((_:booking,ref,'W9Z7QF9Y');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : W9Z7QF9Y . is there anything else i could help you with ?
thank()
user
No , that is all . Thank so much !
system
enjoy your stay in cambridge !
_:search area centre
_:search food african
_:search type Restaurant
_:search area centre
_:search food african
_:search type Restaurant
_:result area centre
_:result food african
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:search area centre
_:search food african
_:result area centre
_:result food african
_:result name Bedouin
_:result pricerange expensive
_:result address 100 Mill Road City Centre
_:result type Restaurant
_:search name leverton house
_:search type Hotel
_:search area centre
_:search food african
_:result food african
_:result pricerange expensive
_:result address 100 Mill Road City Centre
_:search name leverton house
_:result area East
_:result category guesthouse
_:result name Leverton House
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:search day saturday
_:search stay 4
_:search type Hotel
_:search area centre
_:search food african
_:result food african
_:result pricerange expensive
_:result address 100 Mill Road City Centre
_:search name leverton house
_:result area East
_:result category guesthouse
_:result name Leverton House
_:result type Hotel
_:system offered _:booking
_:search day saturday
_:booking people ?
_:booking type Booking
_:search stay 4
_:search type Hotel
_:result ref ?
_:search area centre
_:search food african
_:result food african
_:result pricerange expensive
_:result address 100 Mill Road City Centre
_:search name leverton house
_:result area East
_:result category guesthouse
_:result name Leverton House
_:result type Hotel
_:system offered _:booking
_:search day saturday
_:booking people ?
_:search stay 4
_:search type Hotel
_:result ref ?
_:system inquired _:user
_:booking ref W9Z7QF9Y
_:booking type Booking