Concrete and Abstract Terms and Relations in Testing a Rule