Assertion list
variable star (subgroup of star ) → IsA
Results from Ascent++: 1
variable star → IsA → star 0.64