Lake Erie has a major settlement.
The Great Lakes are Lake Superior, Lake Michigan, Lake Huron, Lake Erie, and Lake Ontario. Some major settlements of Lake Erie are in NY, PA, OH, and MI. NY, PA, OH, MI are states in the US. ON is a state of Canada. There is a major settlement of Lake Huron in ON.  All states are in their country. The US is in North America. The Great Lakes began to form at the end of the Last Glacial Period.
∀x (GreatLake(x) → Superior(x) ∨ Michigan(x) ∨ Huron(x) ∨ Erie(x) ∨ Ontario(x)) ∃x ∀y (Erie(y) ∧ MajorSettlementOf(x, y) ∧ In(x, ny) ∨ In(x, pa) ∨ In(x, oh) ∨ In(x, mi)) State(ny, us) ∧ State(pa, us) ∧ State(oh, us) ∧ State(mi, us) State(on, canada) ∃x ∀y (Huron(y) ∧ MajorSettlementOf(x, y) ∧ In(x, on)) ∀x ∀y (State(x, y) → In(x, y)) In(us, northamerica) ∀x (GreatLake(x) → FormAtEndOf(x, lastglacialperiod))