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