Browsing by Keywords hierarchical tree of logic inference