Assertion list
blitz (primary) → HasProperty
Results from Ascent++: 3
blitz → HasProperty → perfect 0.32
blitz → HasProperty → important 0.25
blitz → HasProperty → fun 0.16