semiforbidding

not defined yet