Typically, models of category learning are verified through behavioral experiments with stimuli consisting of putatively independent dimensions such as shape, size, and color. The assumption of independence is critical in both the design of behavioral experiments and the development of models and theories of learning. Using the standard classification learning paradigm and a common stimulus set, the present work demonstrates that the assumption of independence is unwarranted. Systematic relations span stimulus dimensions and govern learning performance. For example, shape is not independent of size and color, because humans quantify size and color over shape when shape is relevant to the categorization. This quantification is reflected in natural language use (e.g., "blue triangle" as opposed to "triangle and blue"). In this example, color and size are predicates and shape is the argument. Across four experiments, the difficulty of mastering a classification rule can be predicted by the number of predicates that must be unbound in order to free rule-relevant stimulus dimensions.