Assertion list
encryption algorithm (subgroup of algorithm ) → IsA
Results from Ascent++: 1
encryption algorithm → IsA → different encryption algorithms 0.25