If the two sortals are allowed to differ in temporal scope, the predications 'a is G' and 'b is not ...