https://123dok.net/document/zwv9pjg0-extending-subproperties-approach-qualified-cardinality-restrictions-reflexive-properties.html