Assertion list
chow (primary) → HasProperty
Results from Ascent++: 3
chow → HasProperty → good 0.48
chow → HasProperty → stubborn 0.43
chow → HasProperty → funny 0.16