Assertion list
self discipline (subgroup of discipline ) → HasProperty
Results from Ascent++: 1
self discipline → HasProperty → necessary 0.68