# Logical translation for 'at most' using FOL

Only using existential and universal quantifiers, I am trying to translate the following sentence:

"At most b and c are large cubes."

Please express the properties 'large' and 'cube' using the following atomic predicates Large(a) and Cube(a).

Any hints would be appreciated!

-
"If something is a large cube, then it is b or c." –  Andres Caicedo May 4 '11 at 6:23
I don't know if it helps but its equivalent to "If $x\neq y$ are large cubes, then $\{x,y\}=\{b,c\}$" so you would not have the nasty "at most" –  Listing May 4 '11 at 6:25
Hint: For all $x$, if large($x$) and cube($x$) then $x=b$ or $x=c$.