Semantics for Attribute-Value Theories