Assertion list
golden monkey (subgroup of monkey ) → IsA
Results from Ascent++: 1
golden monkey → IsA → local sub 0.25