@prefix ex: <http://example.org/>.
@prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix sh: <http://www.w3.org/ns/shacl#>.
@prefix shn: <https://schemas.link/shacl-next#>.
@prefix sht: <http://www.w3.org/ns/shacl-test#>.

<> a mf:Manifest;
  mf:entries (<deactivated-closed>).

<deactivated-closed> a sht:Validate;
  rdfs:label "Test of closed shape with deactivated property shape";
  mf:action [
      sht:dataGraph <>;
      sht:shapesGraph <>
    ];
  mf:result [ a sh:ValidationReport;
      sh:conforms true;
      sh:result [ a sh:ValidationResult;
          sh:focusNode ex:data;
          sh:resultSeverity shn:Debug;
          sh:sourceConstraintComponent sh:ClosedConstraintComponent;
          sh:sourceShape ex:RootShape
        ], [ a sh:ValidationResult;
          sh:focusNode ex:data;
          sh:resultPath ex:property1;
          sh:resultSeverity shn:Trace;
          sh:sourceConstraintComponent shn:TraversalConstraintComponent;
          sh:sourceShape ex:Property1Shape;
          sh:value 1
        ]
    ].

ex:data
  ex:property1 1.

ex:Property1Shape a sh:PropertyShape;
  sh:path ex:property1.

ex:Property2Shape a sh:PropertyShape;
  sh:deactivated true.

ex:RootShape a sh:NodeShape;
  sh:closed true;
  sh:property
    ex:Property1Shape,
    ex:Property2Shape;
  sh:targetNode ex:data.
