# Semantic search

2-hypernormalized satisfies intermediate subgroup condition, AEP does not satisfy intermediate subgroup condition, Central factor satisfies intermediate subgroup condition, Characteristicity does not satisfy intermediate subgroup condition, Cocentrality satisfies intermediate subgroup condition, Composition of subgroup property satisfying intermediate subgroup condition with normality equals property in normal closure, Conjugate-permutability satisfies intermediate subgroup condition, Direct factor satisfies intermediate subgroup condition, Endomorphism kernel does not satisfy intermediate subgroup condition, Full invariance does not satisfy intermediate subgroup condition, Hall satisfies intermediate subgroup condition, Homomorph-containment satisfies intermediate subgroup condition, Intermediate subgroup condition equals upper intersection-closed, Intermediate subgroup condition is right residual-preserved, Lattice-complemented does not satisfy intermediate subgroup condition, Left-extensibility-stable implies intermediate subgroup condition, Left-inner implies intermediate subgroup condition, Marginality does not satisfy intermediate subgroup condition, Modularity satisfies intermediate subgroup condition, Normality satisfies intermediate subgroup condition, Permutably complemented satisfies intermediate subgroup condition, Powering-invariance does not satisfy intermediate subgroup condition, Pronormality satisfies intermediate subgroup condition, Subhomomorph-containment satisfies intermediate subgroup condition, Subnormality of fixed depth satisfies intermediate subgroup condition, Sylow satisfies intermediate subgroup condition