Assertion list
hardtack (primary) → HasProperty
Results from Ascent++: 1
hardtack → HasProperty → hard 0.34