IMPORT <3circRefS12>
<http://a.example/S3> {
   <http://a.example/p4> @<http://a.example/S1>
}