# Semantic search

2-subnormal not implies hypernormalized, Characteristicity is not finite-relative-intersection-closed, Finite solvable not implies p-normal, Lattice-complemented does not satisfy intermediate subgroup condition, P-solvable not implies Glauberman type for p, Pronormal not implies NE, Pronormal not implies join with any distinct conjugate is the whole group, Pronormality does not satisfy transfer condition, Pronormality is not centralizer-closed, Pronormality is not commutator-closed, Pronormality is not finite-intersection-closed, Pronormality is not finite-upper join-closed, Subgroups of all orders dividing the group order not implies Sylow tower, Subgroups of all orders dividing the group order not implies supersolvable, Sylow not implies CDIN, Sylow not implies local divisibility-closed