Deciding Clause Classes by Semantic Clash Resolution