Property specification