emm.properties
The property of Effects which contain at least one -|: case, partitioning into a front and tail, where the tail is NonNested and the front is unconstrained.
The property of Effects which contain at least one -|: case, partitioning into a front and tail, where the tail is NonNested and the front is unconstrained.