Foundations of Reasoning About Social Dominance