Assertion list
state machine (subgroup of machine ) ā†’ CapableOf
Results from Ascent++: 1
state machine ā†’ CapableOf ā†’ move to one of seven selector sā€¦ 0.25