inform((_:search,food,'italian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like to find an expensive place to dine that specifically serves italian food .
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Restaurant'))
system
Okay . Would you like to go to the centre or south part of town ?
inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
I would like the south part of town please .
offer((_:booking,type,'Booking')) inform((_:result,name,'Frankie and Bennys');(_:result,type,'Restaurant'))
system
Frankie and Bennys meets you criteria , would you like me to make a reservation for you ?
inform((_:search,day,'friday');(_:search,duration,'16:00');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes , please . There are 4 of us for this Friday at 16:00 .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Booking was unsuccessful . Perhaps another day or time ?
inform((_:search,duration,'15:00');(_:search,type,'Restaurant'))
user
how about 15:00 instead ?
inform((_:booking,type,'Booking'))
system
Okay , that worked , and I 've successfully booked your table . I can give you the reference number , if you 'd like .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , I will need the reference number .
reqmore() inform((_:booking,ref,'VRU8VSG0');(_:booking,type,'Booking'))
system
Your Reference number is : VRU8VSG0 .   Do you need any further assistance ?
thank()
user
No that was everything I needed . Thank you for your help !
system
You 're very welcome . Have a good meal !
_:search food italian
_:search pricerange expensive
_:search type Restaurant
_:search food italian
_:search pricerange expensive
_:result area centre
_:result area south
_:result type Restaurant
_:search area south
_:search type Restaurant
_:search food italian
_:search pricerange expensive
_:result area centre
_:result area south
_:search area south
_:system offered _:booking
_:booking type Booking
_:result name Frankie and Bennys
_:result type Restaurant
_:search day friday
_:search duration 16:00
_:search people 4
_:search type Restaurant
_:search food italian
_:search pricerange expensive
_:result area centre
_:result area south
_:search area south
_:system offered _:booking
_:result name Frankie and Bennys
_:result type Restaurant
_:search day friday
_:search people 4
_:system canthelp _:booking/c28be3dc
_:booking/c28be3dc type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 15:00
_:search type Restaurant
_:search food italian
_:search pricerange expensive
_:result area centre
_:result area south
_:search area south
_:system offered _:booking
_:result name Frankie and Bennys
_:result type Restaurant
_:search day friday
_:search people 4
_:system canthelp _:booking/c28be3dc
_:booking/c28be3dc type Booking
_:booking day ?
_:booking duration ?
_:search duration 15:00
_:search type Restaurant
_:booking type Booking
_:result ref ?
_:search food italian
_:search pricerange expensive
_:result area centre
_:result area south
_:search area south
_:system offered _:booking
_:result name Frankie and Bennys
_:result type Restaurant
_:search day friday
_:search people 4
_:system canthelp _:booking/c28be3dc
_:booking/c28be3dc type Booking
_:booking day ?
_:booking duration ?
_:search duration 15:00
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref VRU8VSG0
_:booking type Booking