 Relative Generics  “Ks are F” is true iff the probability that an arbitrary K that satisfies some predicate in Alt(F) satisfies “is F” is greater than the probability that an arbitrary member of Alt(K) that satisfies some predicate in Alt(F) satisfies “is F”.