On Wed, Apr 4, 2018 at 5:52 PM Kenyon Prater <kprater3...@gmail.com> wrote:
> I create the following proposal and pend it with paper. > Create a new rule "Facility Categories", (Power=2.0): > A facility's Category is a switch whose possible values are > “Production”, “Processing”, “Monument”, and “Miscellaneous”. An “x > facility”, where x is a Category, refers to a facility that has > Category switch set to x. Not that this matters now, as it can always be done when we need it, but I figured out a succinct way of expressing what we were going for: a non-null subset. -Aris > >
