A mid sized mixed gender choir sings while the director motions to keep beat.
The singers are loud.
Sentence 1 does not tell you about the loud volume of the choir.
(-x)
exists s1 x1.(n_singer(x1) & Theme(s1,x1) & a_loud(s1))