Refinement of properties

Some properties can have values that require refinement to compute their value

Refinement occurs after inheritance

Examples of refinement: