specification based on the inheritance of the ful