The problem at hand suggests a simpler approach that will always prefer logically stronger inequalities over logically weaker ones, even when they do not remove more distractors.
5 (size(x) > m is preferred over size(x) > n iff m > n; conversely, size(x) < m is preferred over size(x) < n iff m < n.) This is reflected by the order in which the properties are listed above: Once a sizerelated property is selected, later size-related properties do not remove any distractors and will therefore not be included in the description.