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!