I have no particular stake in the specifics of AMP here, but X being a subset of Y does _not_ mean that X is necessarily no more complex than Y. Adding restrict

I have no particular stake in the specifics of AMP here, but X being a subset of Y does _not_ mean that X is necessarily no more complex than Y. Adding restrictions on something necessarily gives a subset of the original thing, but abiding by those restrictions may be complex. The example that comes to mind is that every formal language on {a, b} is a subset of the regular language given by /[ab]⁎/. It's incredibly easy to recognize the latter language, but there are literally undecidable languages that are a subset of it.