Symmetry exploitation for inference in relational theories