$\alpha$-resolvability

A resolution was defined above, but it can be described as a partition of the block multiset of the design into subdesigns, each of which is equireplicate with $r$ = 1. More generally, an $\alpha$-resolution is a partition of the design into subdesigns, each of which is equireplicate with $r = \alpha$.

The element alpha_resolvable is a list of index_flags, which record, for relevant positive values of $\alpha$, whether the property is true, false or unknown.

alpha_resolvable = element alpha_resolvable {
    index_flag +
}