Assertion list
private adoption (subgroup of adoption ) → HasProperty
Results from Ascent++: 2
private adoption → HasProperty → open 0.79
private adoption → HasProperty → expensive 0.59