Our job is to translate the following sentence to first order logic:
"The public university in Melbourne was built on the land of the Torres Strait Islander peoples."
We can only use one variable: u which represents all universities.
We can only use the following two predicates: Public(u), and TorresLand(u) and u represents a university.
How do I go about translating this sentence? From what I understand, I can translate like this:
$∃u$ [Public($u$) $∧$ TorresLand($u$)]
But it look like that "The public university" implies only one public university is present at the given location. How do I translate the requirement of exactly/only one into First Order Logic?
EDIT:
Based on one of the answers provided below, I am providing another predicate Melbourne(u) to preserve info about the location of the public university. Based on this new info, is my answer below correct:
∃u [(Public(u) ∧ Melbourne(u) ∧ ∀v(Public(v) ∧ Melbourne(v) → v = u) ∧ TorresLand(u)]