Assertion list
starter kit (subgroup of kit ) → HasProperty
Results from Ascent++: 1
starter kit → HasProperty → perfect 0.16