A Rational Model of Dimension-reduced Human Categorization