Inheritance Relationships for Disciplined Software Construction P