semiresoluteness

not defined yet