The Bernays Schoenfinkel Ramsey class for set theory: semidecidability