Assertion list
algorithm (primary) → IsA
Results from Ascent++: 2
algorithm → IsA → rule 0.54
algorithm → IsA → information 0.46