semiconfluent

not defined yet