inform((_:search,name,'efes restaurant');(_:search,type,'Restaurant'))
user
I am looking for a particular restaurant . It 's Efes Restaurant .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'Turkish');(_:result,name,'Efes Restaurant');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
I was able to find Efes Restaurant for you .   This is a Turkish restaurant in the centre of town with a moderate price range .   Would you like a booking ?
inform((_:search,day,'wednesday');(_:search,duration,'18:15');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes I would , for 3 people Wednesday at 18:15 .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately , the restaurant is full at this time . Is there another time or day I can reserve for you ?
inform((_:search,day,'same day');(_:search,duration,'17:15');(_:search,type,'Restaurant'))
user
Can you check for 17:15 on the same day ?
reqmore() inform((_:booking,duration,'17:15');(_:booking,ref,'6LZYPIFZ');(_:booking,type,'Booking'))
system
Sure , you 're all set for 17:15 with reference number 6LZYPIFZ . The table will be reserved for 15 minutes . Would you like assistance with anything else ?
bye() thank()
user
No , that 's all I need today . I appreciate your help - goodbye !
system
Thank you for using this system !
_:search name efes restaurant
_:search type Restaurant
_:search name efes restaurant
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result food Turkish
_:result name Efes Restaurant
_:result pricerange moderate
_:result type Restaurant
_:search day wednesday
_:search duration 18:15
_:search people 3
_:search type Restaurant
_:search name efes restaurant
_:system offered _:booking
_:result area centre
_:result food Turkish
_:result name Efes Restaurant
_:result pricerange moderate
_:result type Restaurant
_:search people 3
_:system canthelp _:booking/7b6d4b0d
_:booking/7b6d4b0d type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day same day
_:search duration 17:15
_:search type Restaurant
_:search name efes restaurant
_:system offered _:booking
_:result area centre
_:result food Turkish
_:result name Efes Restaurant
_:result pricerange moderate
_:result type Restaurant
_:search people 3
_:system canthelp _:booking/7b6d4b0d
_:booking/7b6d4b0d type Booking
_:booking day ?
_:search day same day
_:search duration 17:15
_:search type Restaurant
_:system inquired _:user
_:booking duration 17:15
_:booking ref 6LZYPIFZ
_:booking type Booking
_:user dismissed _:system