Also, we only consider the extinction to be "over" (the point at which we can declare who is and is not a survivor) when the only theropods left were birds, so this definition is circular. This is the problem with trying to derive necessary and sufficient conditions for things like "birdness", the concept was constructed by pattern matching, not analytically, so rarely will an analytic definition capture everything that the common sense understanding encompasses.