Assertion list
large hail (subgroup of hail ) → HasProperty
Results from Ascent++: 1
large hail → HasProperty → possible 0.68