city(brest; rennes; nantes; paris; lille). people(brest, 140). people(rennes, 200). people(nantes, 300). people(paris, 2300). people(lille, 230). metro(rennes; paris; lille).
