Template:Subgroup property conjunction