. . "Used to annotate object properties to describe a logical meta-property or characteristic of the object property." . "logical macro assertion on an object property"@en .