Predicado group nao-deterministico