Assertion list
fixed star (subgroup of star ) → CapableOf

Results from Ascent++: 1
fixed starCapableOf remain unmoved 0.68