Assertion list for term "attempt to execute switch key instruction".
Results from Ascent++: 1
program (aspect of master) → CapableOf → attempt to execute switch key instruction 0.25