{next_metro(V) : city(V)} = 1. #maximize {N @ 1, V : next_metro(V), people(V, N)}. :- next_metro(V), metro(V). #show next_metro/1.
