Specifying requirements for properties