- Use `->denotational' and/or `->subsumptive' to separate