Assertion list
compulsory redundancy (subgroup of redundancy ) → HasProperty
Results from Ascent++: 1
compulsory redundancy → HasProperty → necessary 0.52