Describir: Theories of Social Welfare Functions: A Semantical Approach.