The query [[Particular example::Symmetric group:S5]] [[Category:Subgroup metaproperty dissatisfactions]] was answered by the SMWSQLStore3 in 0.0056 seconds.
[[Particular example::Symmetric group:S5]] [[Category:Subgroup metaproperty dissatisfactions]]
SMWSQLStore3
2-subnormality is not finite-upper join-closed, Subnormality is not finite-upper join-closed