<http://a.example/S1> {
  <http://a.example/p1> NOT (NOT [<http://a.example/v1>])
}
