Reasoning failing when models include mandatory constraints and subset of relationships

[iamcrowd]

there is the wrong derivation that Association 1 is equivalent to Association 2, while it does not derive that, e.g., Class 2 is equivalent to Class 4, Class 3 in inconsistent, Role B 1 in Association 1 has a mandatory constraint.

Check the attached model.

{
    "Entity type": {
        "Value property": {
            "Value type": []
        },
        "Data type": [],
        "Object type": [
            "http://crowd.fi.uncoma.edu.ar#class-1",
            "http://crowd.fi.uncoma.edu.ar#class-2",
            "http://crowd.fi.uncoma.edu.ar#class-3",
            "http://crowd.fi.uncoma.edu.ar#class-4"
        ]
    },
    "Role": [
        {
            "object type cardinality": [
                "card1"
            ],
            "rolename": "http://crowd.fi.uncoma.edu.ar#role-a-1",
            "entity type": "http://crowd.fi.uncoma.edu.ar#class-4",
            "relationship": "http://crowd.fi.uncoma.edu.ar#association-1"
        },
        {
            "object type cardinality": [
                "card2"
            ],
            "rolename": "http://crowd.fi.uncoma.edu.ar#role-b-1",
            "entity type": "http://crowd.fi.uncoma.edu.ar#class-3",
            "relationship": "http://crowd.fi.uncoma.edu.ar#association-1"
        },
        {
            "object type cardinality": [
                "card3"
            ],
            "rolename": "http://crowd.fi.uncoma.edu.ar#role-a-1",
            "entity type": "http://crowd.fi.uncoma.edu.ar#class-4",
            "relationship": "http://crowd.fi.uncoma.edu.ar#association-2",
            "mandatory": "mandatoryleDC"
        },
        {
            "object type cardinality": [
                "card5"
            ],
            "rolename": "http://crowd.fi.uncoma.edu.ar#role-b-1",
            "entity type": "http://crowd.fi.uncoma.edu.ar#class-1",
            "relationship": "http://crowd.fi.uncoma.edu.ar#association-2"
        }
    ],
    "Constraints": {
        "Cardinality constraints": {
            "Attibutive property cardinality": [],
            "Object type cardinality": [
                {
                    "name": "card1",
                    "maximum": "1",
                    "minimum": "0"
                },
                {
                    "name": "card2",
                    "maximum": "1",
                    "minimum": "0"
                },
                {
                    "name": "card3",
                    "maximum": "1",
                    "minimum": "1"
                },
                {
                    "name": "card5",
                    "maximum": "1",
                    "minimum": "0"
                }
            ]
        },
        "Disjointness constraints": {
            "Disjoint object type": [
                {
                    "entities": [
                        "http://crowd.fi.uncoma.edu.ar#class-3",
                        "http://crowd.fi.uncoma.edu.ar#class-2"
                    ],
                    "name": "dc6"
                }
            ],
            "Disjoint role": []
        },
        "Completeness constraints": [
            {
                "entities": [
                    "http://crowd.fi.uncoma.edu.ar#class-3",
                    "http://crowd.fi.uncoma.edu.ar#class-2"
                ],
                "name": "cc7"
            }
        ],
        "Mandatory constraints": {
            "Mandatory": [
                {
                    "declared on": "http://crowd.fi.uncoma.edu.ar#role-a-1",
                    "name": "mandatoryleDC"
                }
            ]
        }
    },
    "Relationship": {
        "Attributive property": {
            "Attributive property": [],
            "Attribute": {
                "Attribute": [],
                "Mapped to": []
            }
        },
        "Subsumption": [
            {
                "entity child": "http://crowd.fi.uncoma.edu.ar#association-2",
                "name": "http://crowd.fi.uncoma.edu.ar#generalization-4_hbNX_KaAm_J5Is_LE2W",
                "entity parent": "http://crowd.fi.uncoma.edu.ar#association-1"
            },
            {
                "entity child": "http://crowd.fi.uncoma.edu.ar#class-3",
                "disjointness constraints": "dc6",
                "completeness constraints": "cc7",
                "name": "c1009_TRSi",
                "entity parent": "http://crowd.fi.uncoma.edu.ar#class-1"
            },
            {
                "entity child": "http://crowd.fi.uncoma.edu.ar#class-2",
                "disjointness constraints": "dc6",
                "completeness constraints": "cc7",
                "name": "c1009_Ueed",
                "entity parent": "http://crowd.fi.uncoma.edu.ar#class-1"
            }
        ],
        "Relationship": [
            {
                "entities": [
                    "http://crowd.fi.uncoma.edu.ar#class-4",
                    "http://crowd.fi.uncoma.edu.ar#class-3"
                ],
                "name": "http://crowd.fi.uncoma.edu.ar#association-1"
            },
            {
                "entities": [
                    "http://crowd.fi.uncoma.edu.ar#class-4",
                    "http://crowd.fi.uncoma.edu.ar#class-1"
                ],
                "name": "http://crowd.fi.uncoma.edu.ar#association-2"
            }
        ]
    }
}