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