which is the lightest theater producer?
(ARGMIN theater.theater_producer people.person.weight_kg)