SlicingCriteria: SingleSlicingCriterion[]