inform((_:search,name,'loch fyne');(_:search,type,'Restaurant'))
user
Can you help me find a restaurant by the name of Loch Fyne ?
offer((_:booking,type,'Booking')) inform((_:result,address,'37 Trumpington Street');(_:result,name,'Little Rose');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Yes ! The restaurant is at The Little Rose 37 Trumpington Street in the expensive price range . Would you like me to book tickets ?
inform((_:search,day,'friday');(_:search,duration,'18:15');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Please book a table for 8 people at 18:15 on friday .
canthelp((_:booking,type,'Booking')) reqmore()
system
I am sorry there are no reservations at that time , can I find you another restaurant that fits what you are looking for ?
inform((_:search,area,'same area');(_:search,pricerange,'same area and price range');(_:search,type,'Restaurant'))
user
Please try booking a different restaurant in the same area and price range .
system
I will found you a different restaurant .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Very well . I really need a reliable booking , make sure you give me a reference number , I do n't want any confusion when I get there .
select((_:result,name,'Cambridge Chop House');(_:result,type,'Restaurant')) inform((_:result,food,'british');(_:result,type,'Restaurant'))
system
How does The Cambridge Chop House sound ? It serves british food ?
user
That would be good . I would like to try that one if you recommend it .
reqmore() inform((_:booking,ref,'8JKPEA74');(_:booking,type,'Booking'))
system
I was able to successfully book that for you , the reference number is 8JKPEA74 .   Can I assist with anything else ?
thank()
user
No that will be all . Thanks !
system
You 're welcome Have a nice day .
_:search name loch fyne
_:search type Restaurant
_:search name loch fyne
_:system offered _:booking
_:booking type Booking
_:result address 37 Trumpington Street
_:result name Little Rose
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 18:15
_:search people 8
_:search type Restaurant
_:search name loch fyne
_:system offered _:booking
_:booking type Booking
_:result address 37 Trumpington Street
_:result name Little Rose
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 18:15
_:search people 8
_:system canthelp _:booking/7778339f
_:booking/7778339f type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:search name loch fyne
_:system offered _:booking
_:booking type Booking
_:result address 37 Trumpington Street
_:result name Little Rose
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 18:15
_:search people 8
_:system canthelp _:booking/7778339f
_:booking/7778339f type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:result ref ?
_:search name loch fyne
_:system offered _:booking
_:booking type Booking
_:result address 37 Trumpington Street
_:result pricerange expensive
_:search day friday
_:search duration 18:15
_:search people 8
_:system canthelp _:booking/7778339f
_:booking/7778339f type Booking
_:system inquired _:user
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:result ref ?
_:result name Cambridge Chop House
_:result food british
_:result type Restaurant
_:search name loch fyne
_:system offered _:booking
_:result address 37 Trumpington Street
_:result pricerange expensive
_:search day friday
_:search duration 18:15
_:search people 8
_:system canthelp _:booking/7778339f
_:booking/7778339f type Booking
_:search area same area
_:search pricerange same area and price range
_:search type Restaurant
_:result ref ?
_:result name Cambridge Chop House
_:result food british
_:result type Restaurant
_:system inquired _:user
_:booking ref 8JKPEA74
_:booking type Booking