fix spec to use subsumption operator and split membership out