Assertion list
entire brain (subgroup of brain ) → IsA
Results from Ascent++: 1
entire brain → IsA → lost all function 0.16