Major Description
Since the "-" on an identifier also includes the identifier as positively defined, we need a way to define "Everything but some"
-A, !X would be resolved as "A and nothing else".
-A, *, !X would now be resolved as "A and everything else but X"
