バインドコネクタにおいて、接続される両端のプロパティの「多重度」が異なる場合、どうなるか。

バインドコネクタは数学的な等価を示すため、原則として多重度や型が一致している必要があります。