Package “property_model_definitions”