tests of the ANY .. ARE .. expression