Assertion list
public college (subgroup of college ) → HasProperty
Results from Ascent++: 1
public college → HasProperty → less expensive 0.49