inform((_:search,area,'west');(_:search,food,'modern american');(_:search,type,'Restaurant'))
user
I 'd like to find a place to dine in the west that serves modern american food .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
I did not find any . Would you like to try a different cuisine ?
inform((_:search,food,'modern english');(_:search,type,'Restaurant'))
user
Sure , let 's try modern English food .
canthelp((_:search,food,'modern English cuisine');(_:search,type,'Restaurant')) reqmore()
system
I apologize , sir , but there are no restaurants serving modern English cuisine . What else shall we try ?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
Could you look for a restaurant that serves Thai food ?
inform((_:result,name,'Sala thong');(_:result,type,'Restaurant'))
system
Sala thong seems like a good match !
inform((_:search,people,'seven');(_:search,type,'Restaurant'))
user
ok.book for seven people at 1215hrs
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day are you wanting that booking for ?
inform((_:search,day,'thursday');(_:search,type,'Restaurant'))
user
Make the reservation for Thursday please .
canthelp((_:booking,day,'Thursday');(_:booking,type,'Booking'))
system
Thursday is not available .
inform((_:search,day,'thursday');(_:search,duration,'11:15');(_:search,type,'Restaurant'))
user
How about 11:15 on Thursday ?
inform((_:booking,duration,'11:15');(_:booking,ref,'SWZ8S95V');(_:booking,type,'Booking'))
system
Booking was successful for 11:15 . The table will be reserved for 15 minutes . Reference number is : SWZ8S95V .
thank()
user
Great , thanks for your help .
reqmore()
system
Is there anything else I can assist with ?
thank()
user
No , that 's all I need thanks !
system
Thank you , goodbye .
_:search area west
_:search food modern american
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:search food modern english
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:system inquired _:user
_:search food thai
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:system inquired _:user
_:search food thai
_:result name Sala thong
_:result type Restaurant
_:search people seven
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:system inquired _:user
_:search food thai
_:result name Sala thong
_:result type Restaurant
_:search people seven
_:booking day ?
_:booking type Booking
_:search day thursday
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:system inquired _:user
_:search food thai
_:result name Sala thong
_:result type Restaurant
_:search people seven
_:booking day ?
_:booking type Booking
_:system canthelp _:booking/c5420c86
_:booking/c5420c86 day Thursday
_:booking/c5420c86 type Booking
_:search day thursday
_:search duration 11:15
_:search type Restaurant
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:system inquired _:user
_:search food thai
_:result name Sala thong
_:result type Restaurant
_:search people seven
_:booking day ?
_:system canthelp _:booking/c5420c86
_:booking/c5420c86 day Thursday
_:booking/c5420c86 type Booking
_:search day thursday
_:search duration 11:15
_:search type Restaurant
_:booking duration 11:15
_:booking ref SWZ8S95V
_:booking type Booking
_:search area west
_:system canthelp _:search/43cce217
_:search/43cce217 type Restaurant
_:system canthelp _:search/0d45ee15
_:search/0d45ee15 food modern English cuisine
_:search/0d45ee15 type Restaurant
_:search food thai
_:result name Sala thong
_:result type Restaurant
_:search people seven
_:booking day ?
_:system canthelp _:booking/c5420c86
_:booking/c5420c86 day Thursday
_:booking/c5420c86 type Booking
_:search day thursday
_:search duration 11:15
_:search type Restaurant
_:booking duration 11:15
_:booking ref SWZ8S95V
_:booking type Booking
_:system inquired _:user