Each attribute has a type (its name) and a single value for a given example.
attribute-value vectors have the same expressiveness as propositional formalisms, that is, they only allow the representation of atomic propositions and constants.