Related content
Previous snippet
3_subports_are_proxyports
Ports owned by the type of a proxy port shall be proxy ports.
ProxyPort.allInstances().base_Port->includesAll(self.base_Port.class.ownedPort)