Assertion list
close magic (subgroup of magic ) → HasProperty
Results from Ascent++: 1
close magic → HasProperty → great 0.59