inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like to find an expensive restaurant in the centre of town please .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'quite a few');(_:result,type,'Restaurant'))
system
There are quite a few choices for you .   What kind of cuisine do you enjoy ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
I do n't care . Choose a restaurant you recommend !
inform((_:result,food,'african');(_:result,name,'bedouin');(_:result,type,'Restaurant'))
system
How about bedouin , an african restaurant ?
inform((_:search,day,'wednesday');(_:search,duration,'15:30');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Sounds great . Could you book me a table for 8 on Wednesday at 15:30 ?
inform((_:booking,duration,'15:30');(_:booking,people,'8');(_:booking,type,'Booking');(_:result,name,'the bedouin');(_:result,type,'Restaurant')) thank()
system
I sure can . I have a table for 8 booked for you at the bedouin , for 15:30 . They will hold that for fifteen minutes .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
May I have the booking reference number ?
inform((_:booking,ref,'922YORFC');(_:booking,type,'Booking'))
system
Certainly , the reference number is 922YORFC .
thank()
user
Thank you very much for your help .
reqmore()
system
Is there anything else I can help you with today ?
thank()
user
No , that 's all I need today . Thank you !
system
You are welcome .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount quite a few
_:result type Restaurant
_:search food dontcare
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount quite a few
_:search food dontcare
_:result food african
_:result name bedouin
_:result type Restaurant
_:search day wednesday
_:search duration 15:30
_:search people 8
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount quite a few
_:search food dontcare
_:result food african
_:search day wednesday
_:search duration 15:30
_:search people 8
_:search type Restaurant
_:booking duration 15:30
_:booking people 8
_:booking type Booking
_:result name the bedouin
_:result type Restaurant
_:result ref ?
_:search area centre
_:search pricerange expensive
_:result amount quite a few
_:search food dontcare
_:result food african
_:search day wednesday
_:search duration 15:30
_:search people 8
_:search type Restaurant
_:booking duration 15:30
_:booking people 8
_:result name the bedouin
_:result type Restaurant
_:result ref ?
_:booking ref 922YORFC
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:result amount quite a few
_:search food dontcare
_:result food african
_:search day wednesday
_:search duration 15:30
_:search people 8
_:search type Restaurant
_:booking duration 15:30
_:booking people 8
_:result name the bedouin
_:result type Restaurant
_:result ref ?
_:booking ref 922YORFC
_:booking type Booking
_:system inquired _:user