Assertion list
smack (primary) → HasProperty
Results from Ascent++: 2
smack → HasProperty → illegal 0.42
smack → HasProperty → hard 0.32