lever Unavailable
Per lever, in declaration order: was its feasible set empty at the decision, so that it took its declared neutral rather than anything the rule chose (§4.4.6.3)? Null when every lever had something to choose from. This is what distinguishes the rule chose to do nothing from the rule had nothing to choose.