Attribute-Value Logic and the Theory of Grammar