Template:Subgroup metametaproperty satisfaction