Assertion list
aid kit (subgroup of kit ) → IsA
Results from Ascent++: 1
aid kit → IsA → must 0.68