STR.ConnectionRelation <T L0.Relation
@L0.assert L0.SharedRange STR.ConnectionRelation
>-- STR.ConnectionRelation.connectionRequired --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
>-- STR.ConnectionRelation.equivalentConnectionPoint --> STR.ConnectionRelation <R L0.IsRelatedTo
L0.InverseOf STR.ConnectionRelation.equivalentConnectionPoint
STR.ConnectionRelation <T L0.Relation
@L0.assert L0.SharedRange STR.ConnectionRelation
>-- STR.ConnectionRelation.connectionRequired --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
>-- STR.ConnectionRelation.equivalentConnectionPoint --> STR.ConnectionRelation <R L0.IsRelatedTo
L0.InverseOf STR.ConnectionRelation.equivalentConnectionPoint