PREFIX sx: <http://www.w3.org/ns/shex#>

[] a sx:Schema ;
  sx:imports ( <3circRefS3> ) ;
  sx:shapes (<http://a.example/S2>) .
    <http://a.example/S2> a sx:Shape ; sx:expression [
        a sx:TripleConstraint ; sx:predicate <http://a.example/p3> ;
        sx:valueExpr <http://a.example/S3> ] .