A redefined property must be inherited from a more general classifier containing the redefining property.

randomness