Assertion list
private club (subgroup of club ) → HasProperty
Results from Ascent++: 1
private club → HasProperty → exempt 0.25