Assertion list
smack (primary) → HasProperty

Results from Ascent++: 2
smackHasProperty illegal 0.42
smackHasProperty hard 0.32