Relates a variant concept to the base concept it is an alternative of. It is safe to infer that the variant inherits all features of the base concept, unless defined locally. This property is not transitive.