Assertion list
nacho (primary) → HasProperty
Results from Ascent++: 1
nacho → HasProperty → good 0.16