Inference with Relational Theories over Infinite Domains