# Negated circular reference to :S via :T.
PREFIX :       <http://example.org/>

:S (    (NOT @:T)
    AND @:U )
:T {
  :a NOT @:S
} 
:U {
  :b @:S
}