Assertion list
real enemy (subgroup of enemy ) → IsA
Results from Ascent++: 1
real enemy → IsA → satan 0.59