Assertion list
variable star (subgroup of star ) → CapableOf
Results from Ascent++: 2
variable star → CapableOf → vary in brightness 0.66
variable star → CapableOf → fluctuate in luminosity 0.25