Types   [ 12·2·2·4·ii ]   scheidbaar onscheidbaar