Mastering the RuleExplorer