If 'is G' applies relative to a sortal kind, then 'a is G' and 'b is not G' need not be contradictor...