The query [[Weaker than::Normal subgroup]] [[Dissatisfies metaproperty::Intersection-closed subgroup property]] was answered by the SMWSQLStore3 in 0.0113 seconds.
[[Weaker than::Normal subgroup]] [[Dissatisfies metaproperty::Intersection-closed subgroup property]]
SMWSQLStore3
Permutable subgroup, Pronormal subgroup