Search: Rule domination