do
<do-statement>
<do-statement> :==
(
<atom-object>
=
<atom-expression>
)
<atom-selection>