Assertion list for term "move to one of seven selector states".
Results from Ascent++: 1
state machine (subgroup of machine) → CapableOf → move to one of seven selector states 0.25