inform((_:search,area,'west');(_:search,food,'german');(_:search,type,'Restaurant'))
user
I am looking for a German restaurant in the west .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'west');(_:search,food,'German');(_:search,type,'Restaurant'))
system
There are no German restaurants available in the west . Would you like to try a different area or different food type ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
How about one that serves british food instead ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'west');(_:result,count,'3');(_:result,food,'british');(_:result,type,'Restaurant'))
system
There are three british restaurants in the west . What price range are you considering ?
inform((_:search,day,'wednesday');(_:search,duration,'16:15');(_:search,people,'3');(_:search,type,'Restaurant'))
user
I 'm looking for meals under 30 $ a person . I need to book for 3 at 16:15 on Wednesday .
offer((_:booking,type,'Booking')) inform((_:result,name,'Saint Johns Chop House');(_:result,pricerange,'moderate pricing');(_:result,type,'Restaurant'))
system
The restaurant Saint Johns Chop House is the only restaurant to your specifications with a moderate pricing . Would you like me to make a reservation ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes please and I will need a reference number .
reqmore() inform((_:booking,ref,'CZT3LA0M');(_:booking,type,'Booking'))
system
Your booking is successful and your reference number is CZT3LA0M . Is there anything else I can help you with ?
thank()
user
No thank you . That is great .
thank()
system
Thanks !
bye()
user
Have a good day !
system
Enjoy your time !
_:search area west
_:search food german
_:search type Restaurant
_:search area ?
_:system canthelp _:search/183c4d10
_:search/183c4d10 area west
_:search/183c4d10 food German
_:search/183c4d10 type Restaurant
_:search food british
_:search type Restaurant
_:search area ?
_:system canthelp _:search/183c4d10
_:search/183c4d10 area west
_:search/183c4d10 food German
_:search/183c4d10 type Restaurant
_:search food british
_:search pricerange ?
_:result area west
_:result count 3
_:result food british
_:result type Restaurant
_:search day wednesday
_:search duration 16:15
_:search people 3
_:search type Restaurant
_:search area ?
_:system canthelp _:search/183c4d10
_:search/183c4d10 area west
_:search/183c4d10 food German
_:search/183c4d10 type Restaurant
_:search food british
_:search pricerange ?
_:result area west
_:result count 3
_:result food british
_:search day wednesday
_:search duration 16:15
_:search people 3
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Saint Johns Chop House
_:result pricerange moderate pricing
_:result type Restaurant
_:result ref ?
_:search area ?
_:system canthelp _:search/183c4d10
_:search/183c4d10 area west
_:search/183c4d10 food German
_:search/183c4d10 type Restaurant
_:search food british
_:search pricerange ?
_:result area west
_:result count 3
_:result food british
_:search day wednesday
_:search duration 16:15
_:search people 3
_:search type Restaurant
_:system offered _:booking
_:result name Saint Johns Chop House
_:result pricerange moderate pricing
_:result type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref CZT3LA0M
_:booking type Booking
_:search area ?
_:system canthelp _:search/183c4d10
_:search/183c4d10 area west
_:search/183c4d10 food German
_:search/183c4d10 type Restaurant
_:search food british
_:search pricerange ?
_:result area west
_:result count 3
_:result food british
_:search day wednesday
_:search duration 16:15
_:search people 3
_:search type Restaurant
_:system offered _:booking
_:result name Saint Johns Chop House
_:result pricerange moderate pricing
_:result type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref CZT3LA0M
_:booking type Booking
_:user dismissed _:system