Template:Subgroup property conjunction see examples