Assertion list
hafnium (primary) → HasProperty
Results from Ascent++: 2
hafnium → HasProperty → resistant 0.30
hafnium → HasProperty → more effective 0.21