Container-based reasoning system for lists