Assertion list
marker interface (subgroup of interface ) → IsA
Results from Ascent++: 1
marker interface → IsA → interface 0.25