inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I need a cheap restaurant please .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Sure , I can help you with that . Do you prefer a specific area in town ? Or maybe you 'd like a certain kind of food ?
inform((_:search,food,'portuguese');(_:search,type,'Restaurant'))
user
Yes , portuguese food would be nice .
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Restaurant')) offer((_:booking,type,'Booking')) inform((_:result,name,'Nandos');(_:result,type,'Restaurant'))
system
Nandos has restaurants in the south and the centre of town .   Would you like to book either of those ?
inform((_:search,area,'south');(_:search,day,'monday');(_:search,duration,'15:30');(_:search,name,'nandos');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Yes I would like to book Nandos in the south for 1 person at 15:30 on Monday .
canthelp((_:booking,day,'Monday');(_:booking,duration,'15:30');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm sorry , there are no tables available for Monday at 15:30 . Would you like to try for a different day or time ?
inform((_:search,duration,'14:30');(_:search,type,'Restaurant'))
user
Can you see if they have an opening at 14:30 instead ?
reqmore() inform((_:booking,day,'Monday');(_:booking,duration,'14:30');(_:booking,name,"Nando 's south");(_:booking,ref,'HB047XSI');(_:booking,type,'Booking'))
system
I made you a reservation at Nando 's south , at 14:30 on Monday . The reference number is HB047XSI . They 'll hold the table for 15 minutes . Do you need anything else ?
thank()
user
No , that will be all . Thank you .
system
Thank you . Have a great day , goodbye .
_:search pricerange cheap
_:search type Restaurant
_:search pricerange cheap
_:search area ?
_:search food portuguese
_:search type Restaurant
_:search pricerange cheap
_:search food portuguese
_:result area centre
_:result area south
_:system offered _:booking
_:booking type Booking
_:result name Nandos
_:result type Restaurant
_:search area south
_:search day monday
_:search duration 15:30
_:search name nandos
_:search people 1
_:search type Restaurant
_:search pricerange cheap
_:search food portuguese
_:result area centre
_:result area south
_:system offered _:booking
_:result name Nandos
_:result type Restaurant
_:search area south
_:search day monday
_:search name nandos
_:search people 1
_:system canthelp _:booking/ffa37c0f
_:booking/ffa37c0f day Monday
_:booking/ffa37c0f duration 15:30
_:booking/ffa37c0f type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 14:30
_:search type Restaurant
_:search pricerange cheap
_:search food portuguese
_:result area centre
_:result area south
_:system offered _:booking
_:result name Nandos
_:result type Restaurant
_:search area south
_:search day monday
_:search name nandos
_:search people 1
_:system canthelp _:booking/ffa37c0f
_:booking/ffa37c0f day Monday
_:booking/ffa37c0f duration 15:30
_:booking/ffa37c0f type Booking
_:search duration 14:30
_:search type Restaurant
_:system inquired _:user
_:booking day Monday
_:booking duration 14:30
_:booking name Nando 's south
_:booking ref HB047XSI
_:booking type Booking