Have they ever clarified the semantic ambiguities that arise when mixing demonic and angelic nondeterminism?
Yes, you get nasal demons.
It's WG21, so no.
Yes, you get nasal demons.