Previous snippet
8.3.1.1.11 Property-specific type
The notation for properties typed by a property-specific type shows the name of the most specific generalization of the property-specific type that is not a property-specific type (or nothing if there is no generalization) between parentheses after the name of the property-specific type (or after the colon if the property-specific type has no name).
The keyword for PropertySpecificType is «pst».