I'm trying to figure out how to express "More than one" in first order logic.
What I have so far is:
$$\exists S_1 \exists S_2 IsGreen(S_1) \wedge IsGreen(S_2)$$
But that definitely doesn't sound right.
It would be great if someone could point me in the right direction.
Thanks for reading!