inform((_:search,name,'da vinci pizzeria');(_:search,type,'Restaurant'))
user
I want to find some information on da vinci pizzeria
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,name,'Da Vinci Pizzeria');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
I found Da Vinci Pizzeria is a cheap restaurant in the north . Would you like me to make a reservation ?
inform((_:search,day,'sunday');(_:search,duration,'12:30');(_:search,people,'one');(_:search,type,'Restaurant'))
user
Yes please .   For one person at 12:30 on Sunday .
inform((_:booking,day,'Sunday');(_:booking,duration,'12:30');(_:booking,people,'1');(_:booking,type,'Booking'))
system
I have you scheduled for a reservation for 1 on Sunday at 12:30 , would you like a confirmation receipt ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , please give me the reference number .
canthelp((_:booking,name,'da vinci pizzeria');(_:booking,type,'Booking')) reqmore()
system
I am so sorry but the da vinci pizzeria is fully booked and I was unsuccessful . Do you want me to try another restaurant ?
inform((_:search,area,'same area');(_:search,pricerange,'same area and price range');(_:search,type,'Restaurant'))
user
Yes how about one in the same area and price range please ?
inform((_:booking,name,'Royal Spice');(_:booking,ref,'K8N0LLBP');(_:booking,type,'Booking');(_:result,food,'Indian');(_:result,type,'Restaurant'))
system
Okay I was able to book you into The Royal Spice serving Indian food and your reference number is K8N0LLBP .
thank()
user
Awesome ! Thanks so much . That is all I need .
system
Thank you for using this service . Goodbye .
_:search name da vinci pizzeria
_:search type Restaurant
_:search name da vinci pizzeria
_:system offered _:booking
_:booking type Booking
_:result area north
_:result name Da Vinci Pizzeria
_:result pricerange cheap
_:result type Restaurant
_:search day sunday
_:search duration 12:30
_:search people one
_:search type Restaurant
_:search name da vinci pizzeria
_:system offered _:booking
_:result area north
_:result name Da Vinci Pizzeria
_:result pricerange cheap
_:result type Restaurant
_:search day sunday
_:search duration 12:30
_:search people one
_:search type Restaurant
_:booking day Sunday
_:booking duration 12:30
_:booking people 1
_:booking type Booking
_:result ref ?
_:search name da vinci pizzeria
_:system offered _:booking
_:result area north
_:result name Da Vinci Pizzeria
_:result pricerange cheap
_:result type Restaurant
_:search day sunday
_:search duration 12:30
_:search people one
_:booking day Sunday
_:booking duration 12:30
_:booking people 1
_:booking type Booking
_:result ref ?
_:system canthelp _:booking/d7d01c85
_:booking/d7d01c85 name da vinci pizzeria
_:booking/d7d01c85 type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:search name da vinci pizzeria
_:system offered _:booking
_:result area north
_:result name Da Vinci Pizzeria
_:result pricerange cheap
_:search day sunday
_:search duration 12:30
_:search people one
_:booking day Sunday
_:booking duration 12:30
_:booking people 1
_:result ref ?
_:system canthelp _:booking/d7d01c85
_:booking/d7d01c85 name da vinci pizzeria
_:booking/d7d01c85 type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:booking name Royal Spice
_:booking ref K8N0LLBP
_:booking type Booking
_:result food Indian
_:result type Restaurant