First stab at refining properties (specifically for lists).