Assertion list
base class (subgroup of class ) → HasProperty
Results from Ascent++: 2
base class → HasProperty → serializable 0.36
base class → HasProperty → abstract 0.25