Assertion list
starter kit (subgroup of kit ) → IsA
Results from Ascent++: 1
starter kit → IsA → great way 0.35