alpha-resolutions

[Leonard Soicher]

Dear All,

We have a tag <alpha_resolvable>, consisting of one or more
<flag_entry>s.  There is a comment that <flag_entry> should be renamed.
How about <indexed_boolean> but allowing the possibility  of
value="unkown"?

I note that we have no external representation for 
an alpha-resolution with alpha>1. This would not be too difficult to
implement. We could have a tag <alpha_resolution_entries> containing 
one or more <alpha_resolutions alpha="whatever">s, each of these 
being like our current <resolutions>. But before going down this road
I need to ask: does anyone really care about alpha-resolutions with
alpha>1? If not, why even have the <alpha_resolvable> tag? Or do we have
it about right with the current rnc in that there might be some interest
in whether or not a design is, say, 2-resolvable, but no great interest
in finding a 2-resolution (or those so interested could use my design
package). We presumably do not want to bother with other partitions of 
the block multiset -- people can use my package for this. 

Regards,   Leonard