On Specifying and Reasoning with Special Relations