Browsing by Keywords rational synthesis