@prefix :      <http://a.example/> .
@prefix sh:    <http://www.w3.org/ns/shacl/core#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .

<T3>    sh:property  [ a             sh:PropertyConstraint ;
                       sh:maxCount   1 ;
                       sh:minCount   1 ;
                       sh:predicate  :c
                     ] ;
        sh:schema    _:b0 .

<T1>    sh:property  [ a             sh:PropertyConstraint ;
                       sh:maxCount   1 ;
                       sh:minCount   1 ;
                       sh:predicate  :b
                     ] ;
        sh:schema    _:b0 .

<S>     sh:property  [ a             sh:PropertyConstraint ;
                       sh:maxCount   1 ;
                       sh:minCount   1 ;
                       sh:nodeKind   sh:IRI ;
                       sh:predicate  :b
                     ] ;
        sh:property  [ a             sh:PropertyConstraint ;
                       sh:minCount   0 ;
                       sh:predicate  :a
                     ] ;
        sh:schema    _:b0 ;
        sh:someOf    [ sh:property  [ a             sh:PropertyConstraint ;
                                      sh:maxCount   1 ;
                                      sh:minCount   1 ;
                                      sh:predicate  :b ;
                                      sh:valueType  xsd:integer
                                    ] ;
                  sh:property  [ a             sh:PropertyConstraint ;
                                 sh:minCount   1 ;
                                 sh:predicate  :a
                               ] ] .

_:b0    a       sh:Schema .

<T4>    sh:property  [ a             sh:PropertyConstraint ;
                       sh:maxCount   1 ;
                       sh:minCount   1 ;
                       sh:predicate  :d
                     ] ;
        sh:schema    _:b0 .

<T2>    sh:property  [ a             sh:PropertyConstraint ;
                       sh:maxCount   1 ;
                       sh:minCount   1 ;
                       sh:predicate  :b
                     ] ;
        sh:schema    _:b0 .