added concept of definable Skolem relations