Gracias a eso puede expresar, por ejemplo, que todo individuo o tiene una propiedad o no la tiene: