Template:Subgroup metaproperty satisfaction