inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I want to find a moderate priced place to dine in the centre of town .
request((_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Sure thing . What type of food were you thinking about ?
inform((_:search,food,'german');(_:search,type,'Restaurant'))
user
I would like to try some German food please .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) reqmore()
system
I am not finding anything for german food . Something else perhaps ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Lets change it to chinese food , anything ?
inform((_:result,name,'Jinling noodle bar');(_:result,type,'Restaurant'))
system
How about the Jinling noodle bar ?
inform((_:search,day,'sunday');(_:search,duration,'13:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
That sounds good . Can you book it for Sunday at 13:30 for 6 people ?
select((_:result,name,'lan hong house');(_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant')) canthelp((_:booking,type,'Booking')) reqmore()
system
Unfortunately , there are no bookings available . Can I try one of the other Chinese restaurants in the area ? lan hong house or shanghai family restaurant ?
inform((_:search,name,'shanghai');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
As long as they are moderate priced . The shanghai sounds good .
reqmore() inform((_:booking,name,'shanghai');(_:booking,type,'Booking'))
system
The booking at the shanghai was successful . The table will be reserved for 15 minutes . Can I help you with anything else today ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes I need a reference number for the booking .
reqmore() inform((_:booking,ref,'TG8VOAVX');(_:booking,type,'Booking'))
system
The reference number is TG8VOAVX .   Do you need anything else ?
thank()
user
No thank you that will be all .
system
Okay . Glad I could help . Enjoy dining there .
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:search food german
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:system canthelp _:search/2449db7e
_:search/2449db7e type Restaurant
_:system inquired _:user
_:search food chinese
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:system canthelp _:search/2449db7e
_:search/2449db7e type Restaurant
_:system inquired _:user
_:search food chinese
_:result name Jinling noodle bar
_:result type Restaurant
_:search day sunday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:search area centre
_:system canthelp _:search/2449db7e
_:search/2449db7e type Restaurant
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 6
_:result name lan hong house
_:result name shanghai family restaurant
_:result type Restaurant
_:system canthelp _:booking/d42261dc
_:booking/d42261dc type Booking
_:system inquired _:user
_:search name shanghai
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:system canthelp _:search/2449db7e
_:search/2449db7e type Restaurant
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 6
_:result name lan hong house
_:result name shanghai family restaurant
_:result type Restaurant
_:system canthelp _:booking/d42261dc
_:booking/d42261dc type Booking
_:search name shanghai
_:search pricerange moderate
_:search type Restaurant
_:system inquired _:user
_:booking name shanghai
_:booking type Booking
_:result ref ?
_:search area centre
_:system canthelp _:search/2449db7e
_:search/2449db7e type Restaurant
_:search food chinese
_:search day sunday
_:search duration 13:30
_:search people 6
_:result name lan hong house
_:result name shanghai family restaurant
_:result type Restaurant
_:system canthelp _:booking/d42261dc
_:booking/d42261dc type Booking
_:search name shanghai
_:search pricerange moderate
_:search type Restaurant
_:booking name shanghai
_:result ref ?
_:system inquired _:user
_:booking ref TG8VOAVX
_:booking type Booking