Introduce the property_default built-in function