{
Set<GdlSentence> results = prover.askAll(ProverQueryBuilder.getLegalQuery(role), ProverQueryBuilder.getContext(state));
if (results.size() == 0)
{
throw new MoveDefinitionException(state, role);
}
return new ProverResultParser().toMoves(results);
}