http://semanticweb.org/id/Property-3AHas_normal_subgroup

used by 0: