(1). It is possible for every red thing to be shiny

(1') There are a group of things which are all red, and which alone are red, and it is possible that they should all be shiny.

$(\exists r)(\forall x)(x\in r \leftrightarrow Rx)$

$\Diamond (\forall x)(x\in r \to Sx)$

$(\exists r)((\forall x)(x\in r \leftrightarrow Rx)\land \Diamond (\forall x)(x\in r \to Sx))$

Crossley & Humberstone (1977) The Logic of ‘Actually’. RML
Teichmann (1990) Actually. Analysis