Assertion list
black conservative (subgroup of conservative ) → IsA
Results from Ascent++: 1
black conservative → IsA → strange phenomenon 0.59