inform((_:search,name,'restaurant one seven');(_:search,type,'Restaurant'))
user
Can you help me find Restaurant One Seven ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'Restaurant One Seven');(_:result,phone,'01223337766');(_:result,type,'Restaurant'))
system
I have Restaurant One Seven located in Centre , phone number is 01223337766 . Would you like for me to make a reservation for you ?
inform((_:search,day,'friday');(_:search,duration,'11:45');(_:search,people,'3');(_:search,type,'Restaurant'))
user
That would be great . Can you book a table for 3 at 11:45 on Friday ?
inform((_:booking,day,'Friday');(_:booking,duration,'11:45');(_:booking,people,'3');(_:booking,type,'Booking'))
system
All right , I 've got you booked for Friday at 11:45 for 3 people . Would you like the reference number ?
user
Yes please , can I have the number ?
inform((_:booking,ref,'EWOFBMJ3');(_:booking,type,'Booking'))
system
Certainly , your Reference number is : EWOFBMJ3 .
thank()
user
Thanks . That 's everything for today .
thank()
system
thank you for using our system .
thank()
user
Thank you . Goodbye .
system
You 're very welcome . Good day .
_:search name restaurant one seven
_:search type Restaurant
_:search name restaurant one seven
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result name Restaurant One Seven
_:result phone 01223337766
_:result type Restaurant
_:search day friday
_:search duration 11:45
_:search people 3
_:search type Restaurant
_:search name restaurant one seven
_:system offered _:booking
_:result area centre
_:result name Restaurant One Seven
_:result phone 01223337766
_:result type Restaurant
_:search day friday
_:search duration 11:45
_:search people 3
_:search type Restaurant
_:booking day Friday
_:booking duration 11:45
_:booking people 3
_:booking type Booking
_:search name restaurant one seven
_:system offered _:booking
_:result area centre
_:result name Restaurant One Seven
_:result phone 01223337766
_:result type Restaurant
_:search day friday
_:search duration 11:45
_:search people 3
_:search type Restaurant
_:booking day Friday
_:booking duration 11:45
_:booking people 3
_:booking ref EWOFBMJ3
_:booking type Booking
_:search name restaurant one seven
_:system offered _:booking
_:result area centre
_:result name Restaurant One Seven
_:result phone 01223337766
_:result type Restaurant
_:search day friday
_:search duration 11:45
_:search people 3
_:search type Restaurant
_:booking day Friday
_:booking duration 11:45
_:booking people 3
_:booking ref EWOFBMJ3
_:booking type Booking