The query [[Weaker than::Normal subgroup]] [[Satisfies metaproperty::Quotient-transitive subgroup property]] was answered by the SMWSQLStore3 in 0.0099 seconds.
[[Weaker than::Normal subgroup]] [[Satisfies metaproperty::Quotient-transitive subgroup property]]
SMWSQLStore3
Pronormal subgroup