Assertion list
graduate degree (subgroup of degree ) → HasProperty
Results from Ascent++: 1
graduate degree → HasProperty → necessary 0.32