Property:Is declarative special property

Annotations to this property indicate if a special property is used to declare a certain behavior a property should meet. It is a property of type Has type::Boolean.