You can refine inherited attributes, events, problems, symptoms, operations or relationships when you create a new subclass. These class properties may be inherited from the parent class or any of the other classes up the inheritance tree to the base class. The syntax for refining an inherited attribute, event, problem, symptom, operation or relationship is:

interface <child_class> : <parent_class>
 refine <property declarations>

The refine syntax for each type of declaration such as an attribute, is the same as that described in the VMware Smart Assurance MODEL Reference Guide.