Assertion list
scarlet beast (subgroup of beast ) → IsA
Results from Ascent++: 1
scarlet beast → IsA → eighth king 0.25