Original: Port St. Lucie is a city in St. Lucie County , Florida , United States .
Simplified: Port St. Lucie is a city of Florida in the United States .