The query [[Weaker than::Normal subgroup]] [[Dissatisfies metaproperty::Intermediate subgroup condition]] was answered by the SMWSQLStore3 in 0.0111 seconds.
[[Weaker than::Normal subgroup]] [[Dissatisfies metaproperty::Intermediate subgroup condition]]
SMWSQLStore3
Finitarily hypernormalized subgroup, Subgroup with self-normalizing normalizer